[TYPES/announce] Two post-doc/PhD positions in Lisbon

Caires, Ant´onia Lopes, Francisco Martins, Ant´onio Ravara, Jo˜ao Seco, and Vasco T. Vasconcelos. We seek candidates with a strong background in some of the following areas: service-oriented computing, software architectures, foundations and analysis of concurrent and distributed system. Monthly

[TYPES/announce] PLACES'08 - 2nd Call For Papers

Mycroft _ University of Cambridge _ Vijay A. Saraswat _ IBM Research _ Vasco T. Vasconcelos (chair) _ University of Lisbon _ Nobuko Yoshida (chair) _ Imperial College London

[TYPES/announce] Postdoc position in Lisbon

Researchers •Luís Caires •Carla Ferreira •Luís Cruz-Filipe •Antónia Lopes •Francisco Martins •António Ravara •João Seco •Vasco T. Vasconcelos Flyer at http://gloss.di.fc.ul.pt/positions/call-sensoria-2009.pdf

[TYPES/announce] AITO Dahl-Nygaard Awards for 2010

-Nygaard Prizes 2010 will be presented in July during ECOOP 2010, in Maribor, Slovenia. More information about the Dahl-Nygaard prizes can be found at http://www.aito.org/Dahl-Nygaard/ and about the 2010 awards at http://www.aito.org/Dahl-Nygaard/2010.html Vasco T. Vasconcelos AITO Vice-President

[TYPES/announce] PLACES'11 _ Deadline extended to Jan 16th

, University of Cambridge Jens Palsberg, University of California, Los Angeles Vijay A. Saraswat, IBM Research Vivek Sarkar, Rice University (co-chair) Vasco T. Vasconcelos, University of Lisbon (co chair) Jan Vitek, Purdue University Nobuko Yoshida, Imperial College London

[TYPES/announce] POSTDOC Position in Lisbon (Carnegie Mellon | Portugal Research Project)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We welcome applications for a post-doctoral scholarship. *** DEADLINE 30 FEBRUARY 2011 The position is funded by the research project Certified Interfaces for Integrity

[TYPES/announce] PLACES 2011 Call For Participation

Alastair Donaldson, Oxford University Tim Harris, Microsoft Research Cambridge Alan Mycroft, University of Cambridge Jens Palsberg, University of California, Los Angeles Vijay A. Saraswat, IBM Research Vivek Sarkar, Rice University (co-chair) Vasco T. Vasconcelos, University of Lisbon (co chair) Jan

[TYPES/announce] Post-doc position on Advanced Type Systems for Multicore Programming

and implementation, programming logics and types, verification, and concurrency. The successful candidates will in work closely with Prof Vasco T. Vasconcelos, in the {Lasige} Group of Software Systems, http://gloss.di.fc.ul.pt and the Department of Computer Science, Faculty of Sciences, University

[TYPES/announce] Postdoc position at the University of Lisbon

, programming logics and types, verification, and concurrency. The successful candidates will in work closely with Prof Vasco T. Vasconcelos, in the {Lasige} Group of Software Systems, http://gloss.di.fc.ul.pt and the Department of Computer Science, Faculty of Sciences, University of Lisbon. Applicants

[TYPES/announce] Second call for papers: PLACES'14 - Programming Language Approaches to Concurrency and communication-cEntric Software

College London, UK Hans-Wolfgang Loidl, Heriot-Watt University, UK Etienne Lozes, ENS Cachan University of Kassel, FR DE Francisco Martins, University of Lisbon, PT Alan Mycroft, University of Cambridge, UK Luca Padovani, Università di Torino, IT Shaz Qadeer, MSR Redmond, USA Vasco T. Vasconcelos

[TYPES/announce] PLACES 2014: deadline extended until 3rd January 2014

Martins, University of Lisbon, PT Alan Mycroft, University of Cambridge, UK Luca Padovani, Università di Torino, IT Shaz Qadeer, MSR Redmond, USA Vasco T. Vasconcelos, University of Lisbon, PT (co-chair) Organizing Committee Alastair Beresford, University of Cambridge, UK Simon Gay, University

[TYPES/announce] PLACES 2014 _ Call for Participation

, PT Alan Mycroft, University of Cambridge, UK Luca Padovani, Università di Torino, IT Shaz Qadeer, MSR Redmond, USA Vasco T. Vasconcelos, University of Lisbon, PT (co-chair) ** Organizing Committee ** Alastair Beresford, University of Cambridge, UK Simon Gay, University of Glasgow, UK Alan

[TYPES/announce] JLAMP special issue on Programming Language Approaches to Concurrency and Communication-cEntric Software

are handled by the Elsevier Editorial System and can be uploaded from the JLAMP web page. _ GUEST EDITORS Alastair Donaldson, Imperial College London, UK, alastair.donald...@imperial.ac.uk Vasco T. Vasconcelos, University of Lisbon, PT, v...@di.fc.ul.pt

[TYPES/announce] Final call for papers: JLAMP special issue on Programming Language Approaches to Concurrency and Communication-cEntric Software

-methods-in-programming/2352-2208/guide-for-authors. Submissions are handled by the Elsevier Editorial System and can be uploaded from the JLAMP web page. _ GUEST EDITORS Alastair Donaldson, Imperial College London, UK,alastair.donald...@imperial.ac.uk Vasco T. Vasconcelos, University

[TYPES/announce] Postdoc position at the University of Lisbon

ulty of Sciences (including Vasco T. Vasconcelos and Antónia Lopes) and another at Técnico (Paulo Mateus and Pedro Adão). The objective of the project is the development of tools and technology for describing, testing, statically verifying, and inferring communication contracts for the effective constructi

[TYPES/announce] CFP: PLACES 2017

7 March 2017 PLACES workshop:29 April 2017 Submission deadlines are "anywhere on Earth". COMMITTEES Programme chairs: Philipp Haller and Vasco T. Vasconcelos Programme committee: * Sebastian Burckhardt, Microsoft Research * Ilaria Castelani, INRIA Sophia Antipolis * Marco Carbo

[TYPES/announce] CFP (extension): Special Issue on Programming Language Approaches to Concurrency and Communication-cE…

ecting the article type name during submission process. Guest Editors Philipp Haller, KTH Royal Institute of Technology, SE, phal...@kth.se Vasco T. Vasconcelos, University of Lisbon, PT, v...@di.fc.ul.pt

[TYPES/announce] Postdoc position at the University of Lisbon

racts for Distributed Systems Development", http://gloss.di.fc.ul.pt/content/confident <http://gloss.di.fc.ul.pt/content/confident>, a three year collaborative project between a team at the Faculty of Sciences (including Vasco T. Vasconcelos and Antónia Lopes) and another at Técnico (Paulo