[TYPES/announce] 2nd CfP: ICTAC'09

Malaysia and Jeff Sanders,United Nation University, Institute of Software Technology, Macao. The PC is chaired by Martin Leucker (TU Munich) and Carroll Morgan (UNSW). Visit http://www.ictac.net/ictac09 for a preliminary web page. About ICTAC 2009 ICTAC 2009

[TYPES/announce] Final CfP: ICTAC'09 - Last Chance

Technology, Macao. The PC is chaired by Martin Leucker (TU Munich) and Carroll Morgan (UNSW). Visit http://www.ictac.net/ictac09 for a preliminary web page. About ICTAC 2009 ICTAC 2009 is the 6th International Colloquium on Theoretical Aspects of Computing, the latest in a series

[TYPES/announce] CfPart: ICTAC'09

, Universiti Kebangsaan Malaysia and Jeff Sanders,United Nation University, Institute of Software Technology, Macao. The PC is chaired by Martin Leucker (TU Munich) and Carroll Morgan (UNSW). About ICTAC 2009 ICTAC 2009 is the 6th International Colloquium

[TYPES/announce] CfP: Time'11

OFFICERS General Chair: Carlo Combi, University of Verona, Italy Program Committee Chairs: Martin Leucker, University of Luebeck, Germany Frank Wolter, University of Liverpool, United Kingdom Organization Chair: Martin Leucker, Universitaet Luebeck, Germany * PROGRAM

[TYPES/announce] CfPart: TIME'11

Combi, University of Verona, Italy Program Committee Chairs: Martin Leucker, University of Luebeck, Germany Frank Wolter, University of Liverpool, United Kingdom Organization Chair: Martin Leucker, Universitaet Luebeck, Germany * PROGRAM COMMITTEE Alessandro Artale (Free