[TYPES/announce] ICTCS'07 - final call for papers

), * Giuseppe F. Italiano (Roma Tor Vergata Univ., Italy, Co-Chair), * Irit Katriel (Brown Univ., USA), * Giovanni Manzini (Univ. Piemonte Orientale, Italy), * Alberto Marchetti-Spaccamela (Roma La Sapienza Univ., Italy), * Dimitrios Michail (MPI Saarbruecken, Germany), * Eugenio Moggi (Genova Univ., Italy

[TYPES/announce] ICTCS'07 - Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ICTCS'07 10th Italian Conference on Theoretical Computer Science October 3-5 2007, Rome,

[TYPES/announce] ICTCS 2010 preliminary CFP

(Marche Region), between the spectacular Appennini mountains and the pleasant Adriatic coast. SCIENTIFIC AND ORGANIZING COMMITTEE Marcella Anselmo (Univ. di Salerno) Tiziana Calamoneri (Sapienza Univ. di Roma) Flavio Corradini (Univ. di Camerino) Emanuela Merelli (Univ. di Camerino) Eugenio Moggi (Univ

[TYPES/announce] ICTCS 2010 last CFP

Camerino) Emanuela Merelli (Univ. di Camerino) Eugenio Moggi (Univ. di Genova)

[TYPES/announce] Correctness by Construction, Genoa, Italy, 24-27 March 2014

(University of Padua) Eugenio Moggi (University of Genoa) Mizuhito Ogawa (JAIST, Japan) Erik Palmgren (Stockholm University) John Stell (University of Leeds) Michael Rathjen (University of Leeds) Giuseppe Rosolini (University of Genoa) Giovanni Sambin

[TYPES/announce] Correctness by Construction, Genoa, Italy, 24-27 March 2014

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Participation---the preliminary programme is now available: http://corcon2014.net/programme/ Definite deadline for registration: 13 March 2014