Past Special Workshop

13 June 2012
00:00
to
14 June 2012
00:00
Abstract
<p><span>Organisers: Hilary Priestley, Drew Moshier and Leo Cabrer.</span><br /><br /><span>This will be dedicated principally to extensions of duality theory beyond zero-dimensional structures and to its application in novel settings. Topics that are likely to feature include duality for bilattice-based structures and associated semantics; extensions to compact Hausdorff spaces, bitopological duality, and duality for continuous data; applications to coalgebraic logic. We shall be seeking two-way interaction between those focused on a particular application and those who are seeking to extend the theory. Keynote speakers will be Mike Mislove and Drew Moshier. Samson Abramsky will be away from Oxford from</span><span class="Object">June 12</span><span>, but we are grateful for his offer to give a talk on</span><span>&nbsp;</span><span class="Object">June 11</span><span>. We are also pleased to announce that, through the good offices of Georg Gottlob (Oxford Department of Computer Science), we are able to include within W1 a tutorial lecture on the applications of bilattice semantics to computer science; this will be given by Ofer Arieli.</span></p>
9 December 2010
10:00
to
19:00
Abstract

The idea of this one day meeting is to give participants the opportunity to air the 'problem you never solved'. This might be either a problem you have never had time to work on or one that has defeated you. There will be plenty of time for discussion and maybe a few problems will be solved during the day! (Alternatively, the meeting may provide John with a source of problems to work on during his retirement.)

The programme starts with coffee at 10.00 and finishes with a reception and dinner in St Anne's College. Further details at

http://www.maths.ox.ac.uk/groups/occam/forthcoming-events/open-mathemati...

Pages