[TYPES/announce] FOSSACS final Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] FINAL CALL FOR PAPERS FOR FoSSaCS 2008 -- Eleventh International Conference on FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES A member conference of the European Joint Conferences on Theory and Practice of Software (ETAPS 2008) (March 29 - April 6, 2008, Budapest, Hungary) DATES FOR SUBMISSION VIA http://fossacs08.pps.jussieu.fr/ # Friday 5 October, 2007, Strict deadline for submission of abstracts. # Friday 12 October, 2007, Strict deadline for submission of full versions. TOPICS The specific topics covered by the conference include, but are not limited to, the following: * Algebraic models, * Automata and language theory, * Behavioural equivalences, * Categorical models, * Computation processes over discrete and continuous data, * Infinite state systems, * Computation structures, * Logics of programs, * Modal, spatial, and temporal logics, * Models of concurrent, reactive, distributed, and mobile systems, * Process algebras and calculi, * Semantics of programming languages, * Software specification and refinement, * Type systems and type theory. * Fundamentals of security * Semi-structured data * Program correctness and verification PROGRAMME COMMITTEE Luca Aceto, Reijkjavik Roberto Amadio (chair), Paris Lars Birkedal, Copenhagen Roberto Bruni, Pisa Hubert Comon, Cachan Thierry Coquand, Göteborg Zoltan Esik, Szeged Dan Ghica, Birmingham Juergen Giesl, Aachen Martin Hofmann, Munich Radha Jagadeesan, Chicago Petr Jancar, Ostrava Leonid Libkin, Edinburgh Dale Miller, Palaiseau Eugenio Moggi, Genova Anca Muscholl, Bordeaux Vincent van Oostrom, Utrecht Prakash Panangaden, Montreal Jean-Francois Raskin, Bruxelles David Sands, Göteborg Colin Stirling, Edinburgh Pawel Urzyczyn, Warszawa Nobuko Yoshida, London Thomas Wilke, Kiel ---
[TYPES/announce] Certified Complexity at PPS (Paris): Post-Doc + PhD
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CerCo positions at PPS A PhD and a one year post-doc positions are available to work in Paris, in the PPS laboratory, on the EU-FP7 Certified Complexity project (CerCo). The CerCo project aims at the construction of a formally verified complexity preserving compiler from a large subset of the C programming language to some typical micro-controller assembly language, of the kind traditionally used in embedded systems. The work comprises the definition of cost models for the input and target languages, and the machine-checked proof of preservation of complexity (concrete, not asymptotic) along compilation. The compiler will also return tight and certified cost annotations for the source program, providing a reliable infrastructure to draw temporal assertions on the executable code, while reasoning on the source. The compiler will be open source, and all proofs will be public domain. A short and preliminary scientific description of the project is available here http://www.pps.jussieu.fr/%7Eamadio/cerco-desc.pdf The permanent researchers involved in the CerCo project are Andrea Asperti and Claudio Sacerdoti-Coen in Bologna, Randy Pollack in Edinburgh, and Roberto Amadio and Yann Régis-Gianas in Paris. The Paris site will focus in particular on the construction of a prototype of the cost annotating compiler and on the construction of a semi-automatic tool to draw complexity assertions on the execution time of C programs. A strong background in functional programming, compiler construction, and machine-assisted proof methods is expected. For more information, potential candidates may contact Roberto Amadio http://www.pps.jussieu.fr/%7Eamadio/ or Yann Régis-Gianas http://www.pps.jussieu.fr/%7Eyrg/. These positions are expected to be filled around February 2010. The gross salary is expected to be 45KEuros/year for the post-doc and 30 KEuros/year for the doctoral student. Interested applicants should send a .tar file to Roberto Amadio including: (1) their letter of interest, (2) their curriculum vitae, and (3) contact information of 2-3 professional references. Up-to-date information on these positions will be made available at this address http://www.pps.jussieu.fr/%7Eamadio/cerco-positions.html.