[TYPES/announce] YR-CONCUR 2010 (Call for Papers)

abstracts: July 2, 2010 Notification of acceptance: July 19, 2010 Workshop: September 4, 2010. SUBMISSION: see instructions on the workshop's webpage. PROGRAM COMMITTEE Benedikt Bollig (ENS Cachan, France) Michele Boreale (Universita' di Firenze, Italy) Bas Luttik (TU Eindhoven and VU

[TYPES/announce] PhD position in probabilistic processes and modal logic

context of probabilistic processes. More information on the project can be found at http://www.cs.vu.nl/~tcs/problog.pdf To apply, send a CV, letter of motivation, and names of at least two references to Wan Fokkink (w.j.fokk...@vu.nl) and Bas Luttik (s.p.lut...@tue.nl). Deadline for

[TYPES/announce] EXPRESS 2011: Call for Papers

with SOS 2011 Björn Victor (Uppsala University, SE) IMPORTANT DATES: Abstract submission: May 27, 2011 Paper submission: June 3, 2011 Notification date: July 11, 2011 Camera ready version: July 29, 2011 WORKSHOP CO-CHAIRS: Bas Luttik (Eindhoven University of Technology, NL) Frank Valenci

[TYPES/announce] PhD position in probabilistic processes and modal logic at VU University Amsterdam

probabilistic processes. More information on the project can be found at http://www.cs.vu.nl/~tcs/problog.pdf To apply, send a CV, letter of motivation, and names of at least two references to Wan Fokkink (w.j.fokk...@vu.nl) and Bas Luttik (s.p.lut...@tue.nl). Deadline for application is

[TYPES/announce] EXPRESS 2011: Call for Papers

with SOS 2011 Björn Victor (Uppsala University, SE) IMPORTANT DATES: Abstract submission: May 27, 2011 Paper submission: June 3, 2011 Notification date: July 11, 2011 Camera ready version: July 29, 2011 WORKSHOP CO-CHAIRS: Bas Luttik (Eindhoven University of Technology, NL) Frank Valenci