[TYPES/announce] QAPL 2011 Call For Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for multiple copies] *** CALL FOR PARTICIPATION Ninth Workshop on Quantitative Aspects of Programming Languages (QAPL2011) Affiliated with ETAPS 2011 April 1-3, 2011, Saarbruecken, Germany http://www.dcs.gla.ac.uk/qapl11/ *** PROGRAMME: The programme for the workshop is available from: http://www.dcs.gla.ac.uk/qapl11/qapl11_programme.html REGISTRATION Registration is through the ETAPS registration page: http://www.etaps.org/registration Details on the venue, local information and accommodation are also available through the ETAPS site: http://www.etaps.org INVITED SPEAKERS: * Prakash Panangaden, McGill University, Canada Equivalences for Partially Observable Markov Decision Processes * Erik de Vink, Technische Universiteit Eindhoven, the Netherlands Decorating and Model Checking Stochastic Reo Connectors SCOPE: Quantitative aspects of computation are important and sometimes essential in characterising the behavior and determining the properties of systems. They are related to the use of physical quantities (storage space, time, bandwidth, etc.) as well as mathematical quantities (e.g. probability and measures for reliability, security and trust). Such quantities play a central role in defining both the model of systems (architecture, language design, semantics) and the methodologies and tools for the analysis and verification of system properties. The aim of this workshop is to discuss the explicit use of quantitative information such as time and probabilities either directly in the model or as a tool for the analysis of systems. In particular, the workshop focuses on: * the design of probabilistic, real-time, quantum languages and the definition of semantical models for such languages * the discussion of methodologies for the analysis of probabilistic and timing properties (e.g. security, safety, schedulability) and of other quantifiable properties such as reliability (for hardware components), trustworthiness (in information security) and resource usage (e.g., worst-case memory/stack/cache requirements) * the probabilistic analysis of systems which do not explicitly incorporate quantitative aspects (e.g. performance, reliability and risk analysis) * applications to safety-critical systems, communication protocols, control systems, asynchronous hardware, and to any other domain involving quantitative issues ORGANIZATION: PC Chairs: * Mieke Massink, CNR-ISTI, Pisa, Italy * Gethin Norman, University of Glasgow, UK Program Committee: * Alessandro Aldini, University of Urbino, Italy * Christel Baier, University of Dresden, Germany * Marco Bernardo, University of Urbino, Italy * Nathalie Bertrand, IRISA/INRIA Rennes, France * Patricia Bouyer, Oxford University, UK * Jeremy Bradley, Imperial College London, UK * Tomas Brazdil, Masaryk University, Czech Republic * Frank van Breugel, York University, Canada * Antonio Cerone, UNU-IIST, Macao * Kostas Chatzikokolakis, University of Eindohoven, NL * Josee Desharnais, University of Laval, Canada * Alessandra Di Pierro, University of Verona, Italy * Mieke Massink, CNR-ISTI, Pisa, Italy * Paulo Mateus, Technical University of Lisbon, Portugal * Annabelle McIver, Maquarie University, Australia * Gethin Norman, University of Glasgow, UK * David Parker, University of Oxford, UK * Anne Remke, University of Twente, the Netherlands * Jeremy Sproston, University of Torino, Italy * Herbert Wiklicky, Imperial College London, UK * Verena Wolf, Saarland University, Germany The University of Glasgow, charity number SC004401
[TYPES/announce] PLACES 2011 Call For Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PARTICIPATION PLACES'11 Programming Language Approaches to Concurrency and communication-cEntric Software 2nd April 2011, Saarbrücken, Germany Affiliated with ETAPS 2011 http://places11.di.fc.ul.pt/ PROGRAMME The programme for the workshop is available from: http://places11.di.fc.ul.pt/programme REGISTRATION Registration is through the ETAPS registration page: http://www.etaps.org/registration Details on the venue, local information and accommodation are also available through the ETAPS site: http://www.etaps.org INVITED SPEAKER Charting the course to a many core future: HW, SW and the parallel programming problem. Timothy G Mattson, Intel Corporation THEME AND GOALS Applications on the web today are built using numerous interacting services; soon off-the-shelf CPUs will host hundreds of cores; and sensor networks will be composed from a large number of processing units. Much normal software, including applications and system-level services, will soon need to make effective use of thousands of computing nodes. At some level of granularity, computation in such systems will be inherently concurrent and communication-centred. To exploit and harness the richness of this computing environment, designers and programmers will utilise a rich variety of programming paradigms, depending on the shape of the data and control flow. Plausible candidates for such paradigms include structured imperative concurrent programming, stream-based programming, concurrent functions with asynchronous message passing, higher-order types for events, and the use of types for communications and data structures (such as session types and linear types), to name but a few. Combinations of these abstractions will be used even in a single application, and the runtime environment needs to ensure seamless execution without relying on differences in available resources such as the number of cores. The development of effective programming methodologies for the coming computing paradigm demands exploration and understanding of a wide variety of ideas and techniques. This workshop aims to offer a forum where researchers from different fields exchange new ideas on one of fithe central challenges for programming in the near future, the development of programming methodologies and infrastructures where concurrency and distribution are the norm rather than a marginal concern. Topics of Interest Submissions are invited in the general area of foundations of programming languages for concurrency, communication and distribution. Specific topics include: language design and implementations for communications and/or concurrency, program analysis, session types, multicore programming, use of message passing in systems software, interface languages for communication and distribution, concurrent data types, concurrent objects and actors, web services, novel programming methodologies for sensor networks, integration of sequential and concurrent programming, high-level programming abstractions for security concerns in concurrent, distributed programming, and runtime architectures for concurrency, scalability and/or resource allocations. Papers are welcome which present novel and valuable ideas as well as experiences. PROGRAM COMMITTEE Marco Carbone, IT University of Copenhagen Swarat Chaudhuri, Pennsylvania State University 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 Vitek, Purdue University Nobuko Yoshida, Imperial College London
[TYPES/announce] Job Opportunities at Kestrel Institute
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Researcher in Applied Software Synthesis Are you interested in developing tools and techniques for the automated synthesis of provably correct software from formal specifications? Kestrel Institute has openings for researchers with strong implementation skills, driven to advance the state of the art and practice of software synthesis and to apply it to real-world problems. Research topics include: high-level modeling, rigorous specification, program refinement, program transformation, theorem proving, verification, security guarantees. Candidates must be willing and able to learn new application domains and to apply program synthesis technology to them. Past and current application domains include: smart cards, security and communication protocols, scheduling, memory management, Java analysis, synthetic diversity, embedded controllers, and sensor networks. Candidates must have a strong mathematics and computer science background, at the Master’s or PhD level or equivalent experience. U.S. citizenship is a plus. Kestrel Institute is a non-profit research center. Our website, www.kestrel.edu, describes our research. We offer competitive salaries and excellent benefits. Resumes may be submitted by email, fax or mail to: Careers Reference: Computer Scientist Position Kestrel Institute 3260 Hillview Ave. Palo Alto, CA 94304 Fax: 650-424-1807 Email: care...@kestrel.edu Please no phone calls.