MFPS XXIX - Call for Papers http://www.cs.cornell.edu/Conferences/MFPS29/ Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics Co-located with LICS and CSF June 23 - 25, 2013 Tulane University New Orleans, Louisiana, USA The Twenty-Ninth Conference on the Mathematical Foundations of Programming Semantics will take place on the campus of Tulane University, New Orleans, Louisiana, USA from June 23 to June 25, 2013. The conference will be co-located with the 2013 Logic in Computer Science Symposium and the 2013 Computer Security Foundations Symposium. MFPS will have a number of invited speakers and special sessions, one of which will be a shared session with LICS celebrating Dana Scott's 80th birthday year. MFPS conferences are devoted to those areas of mathematics, logic, and computer science that are related to models of computation, in general, and to the semantics of programming languages, in particular. The series has particularly stressed providing a forum where researchers in mathematics and computer science can meet and exchange ideas about problems of common interest. As the series also strives to maintain breadth in its scope, the conference strongly encourages participation by researchers in neighbouring areas. TOPICS include, but are not limited to, the following: biocomputation; concurrent qualitative and quantitative distributed systems; process calculi; probabilistic systems; constructive mathematics; domain theory and categorical models; formal languages; formal methods; game semantics; lambda calculus; programming-language theory; quantum computation; topological models; logic; type systems; type theory. We also welcome contributions that address applications of semantics to novel areas such as complex systems, markets, networks, and security, for example. The Program Committee Chair for MFPS XXIX is Dexter Kozen (Cornell). The local arrangements chair is Michael Mislove (Tulane). The Organizing Committee for MFPS includes Andrej Bauer (Slovenia), Stephen Brookes (CMU), Achim Jung (Birmingham), Catherine Meadows (NRL), Michael Mislove (Tulane), Joel Ouaknine (Oxford) and Prakash Panangaden (McGill). IMPORTANT DATES: Deadline for titles and short abstracts: Monday. March 25, 2013 Deadline for full submissions: Tuesday, April 2, 2013 Notification of accepted papers: Monday, April 28, 2013 PROGRAM COMMITTEE: Andrej Bauer, University of Ljubljana Nick Bezhanishvili, Imperial College London Lars Birkedal, IT University of Copenhagen Marcello Bonsangue, Leiden University Stephen Brookes, Carnegie Mellon University Venanzio Capretta, University of Nottingham Luca Cardelli, Microsoft Research Volker Diekert, University Stuttgart Dan Ghica, University of Birmingham Jane Hillston, University of Edinburgh Radha Jagadeesan, DePaul University Patricia Johann, University of Strathclyde Achim Jung, University of Birmingham Dexter Kozen, Cornell University (chair) Daniel Leivant, Indiana University, Bloomington Catherine Meadows, Naval Research Laboratory Paul-Andr?? Melli??s, CNRS Universit?? Paris Diderot Michael Mislove, Tulane University Carroll Morgan, University of New South Wales Paulo Oliva, Queen Mary University of London Luke Ong, Oxford University Joel Ouaknine, Oxford University Prakash Panangaden, McGill University Andrea Schalk, University of Manchester Phil Scott, University of Ottawa Ana Sokolova, University of Salzburg James Worrell, Oxford University SUBMISSIONS should be prepared using ENTCS Macros, available from http://www.entcs.org. Submissions should be in the form of a PDF file not exceeding 15 pages in length. Submissions are open on the EasyChair website: https://www.easychair.org/conferences/?conf=mfps29 PROCEEDINGS: There will be a preliminary proceedings of the conference papers that will be distributed at the meeting, with a final proceedings published in ENTCS after the meeting. ######################################################################## To unsubscribe from the MFPS-L list, click the following link: https://listserv.tulane.edu/cgi-bin/wa?SUBED1=MFPS-L&A=1 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]