[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

[TYPES/announce] CfP: TIME'11 - EXTENDED DEADLINE

: 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 COMMITTEE includes

[TYPES/announce] TIME'11: CFP

/conferences/?conf=time11 * CONFERENCE 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

[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] PhD and Postdoc Positions available in "ICT for Electrical Mobility" at TU Munich, Germany

) and one Postdoc position (initially one year) at the Institute for Informatics at Technische Universität München in Garching, Germany. The positions are immediately available within the electrical mobility project "E-Tour Allgäu" and will be co-supervised by Martin Leucker and Martin Sa

[TYPES/announce] CfPart: ICTAC'09

Mohd Zin, 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 Col

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

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 is the 6th International Colloquium on Theoretical Aspects of Computing, the latest in

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

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). Visit http://www.ictac.net/ictac09 for a preliminary web page. About ICTAC 2009 ICTAC 2