[TYPES/announce] PhD Position in High-level Programming Languages for Manycore Architectures

://www.it.uu.se/ or contact Prof. Dave Clarke, and Prof. Tobias Wrigstad through u...@upscale-project.eu. Candidates should preferably be able to start no later than September 1, 2014. Submit your application no later than July 1, 2014, via the following page: http://www.uu.se/en/jobs/jobs-detail

[TYPES/announce] CFP: 4th Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2013)

Dave Clarke KU Leuven, Belgium (Chair) Natsuko NodaNEC, Japan Alice MillerUniversity of Glasgow, Scotland Kathi FislerWorcester Polytechnic

[TYPES/announce] CFP: 4th Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2013)

Dave Clarke KU Leuven, Belgium (Chair) Natsuko NodaNEC, Japan Alice MillerUniversity of Glasgow, Scotland Kathi FislerWorcester Polytechnic

[TYPES/announce] Call for Papers: COORDINATION 2010

Committee Chairs * Dave Clarke Katholieke Universiteit Leuven, Belgium Gul Agha University of Illinois at Urbana-Champaign, USA * Important Dates * February 08, 2010 Abstract Submission February 12, 2010 Paper Submission March 19, 2010 Notification of Acceptance April 02, 2010

[TYPES/announce] PhD Position in Type Systems

of the town's population. * Further Information and Application Procedure Requests for further information and other informal enquiries can be sent to: Prof. Dr. Dave Clarke Dave.Clarke at cs.kuleuven.be Those interested in the position are asked to send e-mail to the address given above

[TYPES/announce] ECOOP 2009 Call for Participation

.disi.unige.it/summer-school.html --- Dave Clarke, ECOOP 2009 Publicity Chair

[TYPES/announce] ECOOP 2009 Call for Participation

://ecoop09.disi.unige.it/workshops.html --- Dave Clarke, ECOOP 2009 Publicity Chair

[TYPES/announce] ECOOP 2009 Call for Student Volunteers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ECOOP'2009 23rd European Conference on Object Oriented Programming July 6th - 10th 2009, Genova, Italy http://2009.ecoop.org CALL FOR STUDENT

[TYPES/announce] ECOOP 2009 Last Call for Workshops and Tutorials

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ECOOP'2009 23rd European Conference on Object Oriented Programming July 6th - 10th 2009, Genova, Italy http://2009.ecoop.org LAST CALL FOR

[TYPES/announce] Two PhD Positions (Secure Software) at K.U Leuven

years. The start date is negotiable, 1 October 2008 at the earliest. -- Dave Clarke: www.cwi.nl/~dave

[TYPES/announce] ECOOP 2008 Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Our apologies if you receive multiple copies of this e-mail.] ECOOP'2008 European Conference on Object Oriented Programming July 7 -