Events I was involved with as member of the steering, programme, or organising committee

CALCO 2013. 5th Conference on Algebra and Coalgebra in Computer Science. Warsaw, Poland, 3-6 September 2013.

TACL 2013. Vanderbilt University, July 28 - August 1, 2013

MGS 2013. Leicester, 8 April - 12 April 2013.

RP 2012. 6th International Workshop on Reachability Problems, 17 - 19 September 2012, Bordeaux, France.

AiML 2012. August 2012, Copenhagen, Denmark.

CMCS 2012. March 2012, Tallinn, Estonia.

Fourth Leicester-London Coalgebra Meeting. Leicester, 24 June 2011.

11th Wessex Theory Seminar. Leicester, 24 June 2011.

RP2011. 28-30 September 2011, Genova, Italy.

CALCO 2011. Winchester, UK. 29 Aug - 2 Sept 2011.

FCT 2011. Oslo, August 22-25.

TACL 2011. Marseille, 25-30 July 2011.

ALCOP 2011.Bern, 27-29 April 2011.

MGS 2011. Nottingham, 11-15 April 2011.

MGS Christmas seminar 2010. Leicester, 15 December 2010.

Workshop on Modal Logic and Stone Duality, University of Amsterdam, 13 December 2010.

91st Peripatetic Seminar on Sheaves and Logic, Nov 27-28, 2010 - ILLC, Amsterdam.

AiML 2010. Moscow, 24-27 August 2010.

British Logic Colloquium 2010, 2-4 September 2010, Birmingham, UK.

CatLog 28-29 August 2010, Brno, Czech Republic, co-located with MFCS and CSL 2010.

4th International Workshop on Reachability Problems (RP 2010) 27-29 August 2010, Brno, Czech Republic, co-located with MFCS and CSL 2010.

Third London-Leicester Coalgebra Meeting. Imperial College London, 12 July 2010.

International Category Theory Conference CT2010, DIMA-DISI, University of Genova, Italy 20 - 26 June 2010.

International Workshop on Topological Methods in Logic II. Tbilisi, Georgia, June 8—10, 2010

Seminar on Logic and its Applications celebrating the 50th birthday of Marek Zawadowski. University of Warsaw, May 8th-9th, 2010.

CMCS 2010. Cyprus, 26-29 March 2010.

Midlands Graduate School (MGS 2010). University of Sheffield, March 28 - April 1 2010.

Coalgebraic Logics. Schloss Dagstuhl, Germany, December 6-9, 2009.

CALCO 2009. Udine, 7-10 September 2009.

TACL 2009. Amsterdam, 7-11 July 2009.

Midlands Graduate School (MGS 2009). Leicester, 30 March - 3 April 2009.

Midlands Graduate School (MGS 2008), Birmingham, 14-18 April 2008.

CMCS 2008. Budapest, April 4-6, 2008.

Coalgebraic Logic. Workshop affiliated with TANCL'07, Oxford, 10-11 August 2007.

Midlands Graduate School (MGS 2007), Nottingham, 16-20 April 2007.

AiML 2006. Queensland, Australia, 25-28 September 2006.

Workshop on Modal Logic, Stone Duality and Coalgebras. Leicester, June 12-13, 2006.

Midlands Graduate School (MGS 2006), Leicester, 8th-12th April 2006.

CMCS 2006. Vienna, March 25-27, 2006.

MGS Christmas Seminar, Nottingham, 19th December 2005.

CALCO 2005. September 3 - 6, 2005, University of Wales Swansea, UK.

Midlands Graduate School, Birmingham, April 11 - 15, 2005.

MGS Christmas Seminar, Monday 13th December 2004.

Midlands Graduate School, Nottingham, 29th March - 2nd April 2004.

Second Workshop on Categorical Methods for Concurrency, Interaction, and Mobility. Affiliated to CONCUR 2003 and to be held jointly with GETCO'03, Marseille, France, 6th September 2003.

Fifth workshop on Geometric and Topological Methods in Concurrency (GETCO 2003). Affiliated to CONCUR 2003 and to be held jointly with CMCIM'03, Marseille, France, 6th September 2003.

Midlands Graduate School , Leicester, 31st March - 4th April 2003. (The coalgebra course).

Other events

ALCOP 2013. Utrecht University, April 18-20, 2013.

ALCOP 2012. Algebra and Coalgebra Meet Proof Theory, Prague, Czech Republic, 16-18 April 2012.

Eighth Tbilisi Symposium on Language, Logic and Computation. Bakuriani, Georgia, September 21-25, 2009.

MFPS XXV. Oxford, 3-7 April 2009.

Domains IX. 22-24 September 2008, Brighton, UK.

AiML 2008. 9-12 September 2008, Nancy, France.

CALCO 2007. Bergen, August 20-24, 2007.

Algebraic and Topological Methods in Non-Classical Logics III (TANCL 2007). Oxford, 5--9 August, 2007.

LICS 2007. Wroclaw, Poland, 10-14 July.

Workshop on Logics for Coalgebras. Amsterdam, 10-11 May 2007.

MFPS XXIII. New Orleans, 10--14 April 2007.

OPERADS 2006. Strasbourg, 10--11 November 2006.

ESSLLI 2006. 18th European Summer School in Logic, Language and Information. Malaga, Spain, 31 July-11 August, 2006.

MFPS 2006. Mathematical Foundations of Programming Semantics, University of Genoa, Genoa IT, May 24 - May 27, 2006

BCTCS 2006. 4-7 April 2006, University of Wales Swansea, UK.

Fossacs 2006. Vienna, March 25-31, 2006.

Geometry of Computation 2006 (Geocal06). Marseille - Luminy, Monday January 30 - Friday March 3, 2006.

FMCO 2005. November 1 - 4, 2005, CWI, Amsterdam.

Algebraic and Topological Methods in Non-Classical Logics II. Barcelona, 15-18 June 2005.

MFPS XXI. University of Birmingham, UK, May 18 - May 21, 2005.

FOSSACS 2005. ETAPS 2005, Edinburgh, Scotland, April 2 - 10, 2005.

BCTCS 2005. 22-24 March 2005, University of Nottingham, UK.

CTCS 2004, CMCIM 2004, Summerschool, 9th August - 14th August 2004.

Seventh Workshop on Coalgebraic Methods in Computer Science (CMCS 2004). It will be held jointly with ETAPS 2004, in Barcelona, Spain, 27-29 March 2004.

Sixth Workshop on Coalgebraic Methods in Computer Science (CMCS 2003). Warsaw, Poland, 5 - 13 April 2003.

British Colloquium on Theoretical Computer Science BCTCS 19, Leicester, 7-9 April 2003.


Last modified: Wed Nov 12 01:05:23 CET 2014