Workshop (past)

Wed, 15/08/2012
00:00
Analytic Topology in Mathematics and Computer Science Add to calendar
Workshop Add to calendar

Organisers: Hilary Priestley, Drew Moshier and Leo Cabrer.

This will be devoted to the applications of dualities to logic and algebra, focusing on general techniques. Thus it will seek to complement the specialised coverage in meetings devoted to, for example, modal logic, residuated structures and many-valued logics, or coalgebras. The featured topics for the Workshop will be drawn from completions of ordered structures, and applications; admissible rules, unification theory, interpolation and amalgamation; aspects of many-valued and substructural logics and ordered algebraic structures. Keynote speakers will be Leo Cabrer and Mai Gehrke.

Mon, 09/07/2012
00:00
Analytic Topology in Mathematics and Computer Science Add to calendar
Workshop Add to calendar

Chief Organiser: Shari Levine.  Main speakers: Alexander Arhangel'skii, Alan Dow, Aisling McCluskey, Jan van Mill, Frank Tall, Vladimir Tkachuk

Contact for further information: shari [dot] levine [-at-] seh [dot] oc [dot] ac [dot] uk

Wed, 13/06/2012
00:00
Analytic Topology in Mathematics and Computer Science Add to calendar
Workshop Add to calendar
Organisers: Hilary Priestley, Drew Moshier and Leo Cabrer.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 fromJune 12, but we are grateful for his offer to give a talk on June 11. 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.
Thu, 09/12/2010
10:00
Workshop Add to calendar

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-mathematical-problems-industry-and-elsewhere

Fri, 13/10/2006
10:00
Xanthippi Markenscoff (University of California, San Diego) Workshop Add to calendar DH 3rd floor SR
Fri, 31/03/2006
10:00
Chris Breward (Oxford) Workshop Add to calendar DH 1st floor SR
Thu, 30/03/2006
10:00
Chris Breward (Oxford) Workshop Add to calendar DH 1st floor SR
Fri, 30/07/2004
10:00
Marta Perez (Earth Sciences) Workshop Add to calendar DH 3rd floor SR
Mon, 22/03/2004
16:30
Philip Bond Workshop Add to calendar L3
Syndicate content