[TYPES/announce] PhD Positions at IT University of Copenhagen

...@itu.dk) - Choreography and Session Types (Marco Carbone - m...@itu.dk) - Concurrency Theory and Applications (Thomas Hildebrandt - hi...@itu.dk ) - Denotational Semantics and Category Theory (Rasmus Møgelberg - mo...@itu.dk) - Logical Frameworks and Security (Carsten Schürmann - cars

[TYPES/announce] CFP: Third International Workshop on Behavioural Types (BEAT 2014)

-FM 2014. Enquiries can be sent to the PC chair. ** Important Dates ** Abstract (title & 200 words max): 11th June 2014 Paper Submission:15th June 2014 Notification: 13th July 2014 Final Versions:23th July 2014 ** Programme Committee ** Johannes Borgström (Uppsala U

[TYPES/announce] PhD opening in "Proof-Theory for Multiparty Round-Trip Global Programming" at IT University of Copenhagen (Deadline April 23rd)

ctId=168671&departmentId=3439&uiculture=en&MediaId=1282 - *Contact*: Marco Carbone (carbo...@itu.dk), IT University of Copenhagen - *Scholarship*: full scholarship, including full time salary and funding for travels. - *Research Environment: *Programming, Logic and Semantics ( www.itu

[TYPES/announce] CfP: YR-ICALP -- 1st Young Researcher Workshop on Automata, Languages and Programming

May 2014 Workshop Day: 7 July 2014 Program Committee: Troels Sørensen Marco Carbone Pierluigi Crescenzi

[TYPES/announce] CfP: Workshop on Behavioural Types (BEAT 2014) - Deadline: 15/06/14

-FM 2014. Enquiries can be sent to the PC chair. ** Important Dates ** Abstract (title & 200 words max): 11th June 2014 Paper Submission: 15th June 2014 Notification: 13th July 2014 Final Versions: 23th July 2014 ** Programme Committee ** Johannes Borgström (Uppsala U

[TYPES/announce] BEAT 2014 -- Deadline Extension (now 22/06/2014)

ds max): 18th June 2014 Paper Submission: 22th June 2014 Notification: 13th July 2014 Final Versions: 23th July 2014 ** Programme Committee ** Johannes Borgström (Uppsala University, Sweden) Marco Carbone (IT University of Copenhagen, Denmark) -- chair Ilaria Castellani (INRIA, France) A

[TYPES/announce] BEAT 2014 -- Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PARTICIPATION BEAT 2014 Third International Workshop on Behavioural Types *1 September 2014, Rome, Italy* http://be

[TYPES/announce] Paper on Structured Global Programming

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear All, we are pleased to announce the paper: "Structured Global Programming for Communication Behaviour" by M. Carbone, K. Honda and N. Yoshida This work is intended to o

[TYPES/announce] ICE 2011 - First Call for Papers (Deadline: 4th April 2011)

aly) Marzia Buscemi (IMT Lucca Institute for Advanced Studies, Italy) Luis Caires (University of Lisbon, Protugal) Marco Carbone (IT University of Copenhagen, Denmark) Erik de Vink (Technische Universiteit Eindhoven, Netherlands) Laurent Doyen (ENS Cachan, France) Davide Grohmann (Italy) Barbar

[TYPES/announce] ICE 2011 - Second Call for Papers (Deadline: 4th April 2011)

Bruni (University of Pisa, Italy) Marzia Buscemi (IMT Lucca Institute for Advanced Studies, Italy) Luis Caires (Universidade Nova de Lisboa, Portugal) Marco Carbone (IT University of Copenhagen, Denmark) Gabriel Ciobanu (IASI, Romania) Laurent Doyen (ENS Cachan, France) Davide Grohmann (Italy

[TYPES/announce] ICE 2011 - DEADLINE EXTENSION (now April 11, 2011)

ze (CEA LIST, France) (co-chair) Filippo Bonchi (CNRS, France) Roberto Bruni (University of Pisa, Italy) Marzia Buscemi (IMT Lucca Institute for Advanced Studies, Italy) Luis Caires (Universidade Nova de Lisboa, Portugal) Marco Carbone (IT University of Copenhagen, Denmark) Gabriel Ciobanu (IASI

[TYPES/announce] WS-FM 2011 - Second Call for Papers (Deadline: 12h June 2011)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, Please find below the WS-FM'11 Call for Papers. Yours, Marco Carbone and Jean-Marc Petit Co-chairs of WS-

[TYPES/announce] WS-FM 2011 - Final Call for Papers (Deadline: 12h June 2011)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, Please find below the WS-FM'11 Call for Papers. Yours, Marco Carbone and Jean-Marc Petit Co-chairs of WS-FM'11. --

[TYPES/announce] WS-FM 2011 - Deadline Extended to 19 June 2011

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, Please find below the WS-FM'11 Call for Papers. We have extended deadlines by one week. . Apologies for multiple copies. Yours, Marco Carbone and Jean-Marc Peti

[TYPES/announce] WS-FM'11 Call for Participation (last chance for early registration)

could have a significant impact on the on-going standardization efforts for SOC and cloud computing technologies. === Program Committee === Marco Carbone, IT University of Copenhagen, Denmark (co-chair) Jean-Marc Petit, University of Lyon/CNRS, France(co-chair) Karthikeyan Bhargavan

[TYPES/announce] Associate/Assistant Professorship(s) of Computer Science at the IT University of Copenhagen

ntId=3439&MediaId=1282 for the official annoucement. Best Regards, Marco Carbone carbo...@itu.dk