[TYPES/announce] [Calco'09] 1st cfp: calco'09 (3rd Conference on Algebra and Coalgebra in Computer Science), Udine, Italy

Worrell, University of Oxford, UK Steering Committee -- Jiri Adamek, Michel Bidoit, Corina Cirstea, Jose Fiadeiro (co-chair, http://www.cs.le.ac.uk/people/jfiadeiro/), H.Peter Gumm, Magne Haveraaen, Bart Jacobs, Hans-Joerg Kreowski, Alexander Kurz, Marina Lenisa, Ugo Montanari, Larry

[TYPES/announce] [Calco'09] 2nd cfp: calco'09 (3rd Conference on Algebra and Coalgebra in Computer Science), Udine, Italy

Worrell, University of Oxford, UK Steering Committee -- Jiri Adamek, Michel Bidoit, Corina Cirstea, Jose Fiadeiro (co-chair, http://www.cs.le.ac.uk/people/jfiadeiro/), H.Peter Gumm, Magne Haveraaen, Bart Jacobs, Hans-Joerg Kreowski, Alexander Kurz, Marina Lenisa, Ugo Montanari, Larry

[TYPES/announce] cfp: calco'09 (3rd Conference on Algebra and Coalgebra in Computer Science), Udine, Italy

, http://www.cs.le.ac.uk/people/jfiadeiro/), H.Peter Gumm, Magne Haveraaen, Bart Jacobs, Hans-Joerg Kreowski, Alexander Kurz, Marina Lenisa, Ugo Montanari, Larry Moss, Till Mossakowski, Peter Mosses, Fernando Orejas, Francesco Parisi-Presicce, John Power, Horst Reichel, Markus Roggenbach, Jan Rutten

[TYPES/announce] GaLoP 2017

) Jim Laird Marina Lenisa (Co-Chair) Pierre Lescanne Luke Ong Jouko Väänänen __

[TYPES/announce] GaLoP 2017

// Submission: 30 January 2017 Notification: 20 February 2017 Workshop: 22-23 April 2017 // Tutorial // Lauri Hella // Invited talks // Andreas Blass Dan Ghica Erich Grädel Martin Hyland (TBC) // Programme Committee // Dietmar Berwanger Esfandiar Haghverdi Juha Kontinen (Co-Chair) Jim Laird Marina

[TYPES/announce] Call for papers: GaLoP 2017

// Submission: 30 January 2017 Notification: 20 February 2017 Workshop: 22-23 April 2017 // Tutorial // Lauri Hella // Invited talks // Andreas Blass Dan Ghica Erich Grädel Martin Hyland (TBC) // Programme Committee // Dietmar Berwanger Esfandiar Haghverdi Juha Kontinen (Co-Chair) Jim Laird Marina Lenisa