Newsletter 100 August 22, 2005 ******************************************************************* * Past issues of the newsletter are available at http://www.informatik.hu-berlin.de/lics/newsletters/ * Instructions for submitting an announcement to the newsletter can be found at http://www.informatik.hu-berlin.de/lics/newsletters/inst.html ******************************************************************* TABLE OF CONTENTS * NEW LICS WEBSITE * CONFERENCES AND WORKSHOPS EXPRESS 2005 - Call for Participation WS-FM 2005 ESORICS 2005 - Call for Participation FSEN 2005 - Call for Participation LPAR-12 - Deadline Reminder FMCO 2005 - Call for Tutorial Papers PODS 2006 - Call For Papers FASE 2006 - Call for Papers * BOOK ANNOUNCEMENT Advanced Topics in Types and Programming Languages edited by Benjamin C. Pierce * VACANCIES Assistant Positions in Program Verification, ETH Zurich, Switzerland PhD position in Monadic Computational Logics, University of Bremen Positions in Trustworthy Computing project, CWI, Amsterdam NEW LICS WEBSITE * The location of the LICS website has changed. The new URL is http://www.informatik.hu-berlin.de/lics. * The archive of the newsletter can now be found at http://www.informatik.hu-berlin.de/lics/newsletters/ * The email address of the LICS newsletter has changed as well. Please send announcements and subscription requests to firstname.lastname@example.org. * The LICS website has now a list of logic related conferences and associations. If you are an organizer of a logic related conference and have some information you would like to add to this list, please send an email to email@example.com. 12TH INTERNATIONAL WORKSHOP ON EXPRESSIVENESS IN CONCURRENCY (EXPRESS'05) Affiliated with CONCUR 2005, San Francisco, California, 27 August 2005 http://www.win.tue.nl/Express05 * Call for Participation Supported by: Eindhoven University of Technology, The Netherlands * The early registration deadline is *July 20th*. http://www.soe.ucsc.edu/concur05 * The EXPRESS workshops aim at bringing together researchers interested in the relations between various formal systems, particularly in the field of Concurrency. More specifically, they focus on the comparison between programming concepts (such as concurrent, functional, imperative, logic and object-oriented programming) and between mathematical models of computation (such as process algebras, Petri nets, event structures, modal logics, rewrite systems etc.) on the basis of their relative expressive power. * INVITED SPEAKERS: Thomas Henzinger (EPFL, CH) Glynn Winskel (Univ. of Cambridge, UK) * PRELIMINARY PROGRAMME: 9.00 - 10.00: Invited talk: Glynn Winskel - Event Structures - Maps, Monads and Spans 10.00 - 10.30: COFFEE BREAK 10.30 - 12.30: Morning Session - Sibylle Fröschle, Slawomir Lasota Causality Versus True-Concurrency - Maribel Fernández, Ian Mackie, François-Régis Sinot Interaction Nets vs. the Rho-calculus: Introducing Bigraphical Nets - Roberto Amadio, Frédéric Dabrowski Feasible Reactivity for Synchronous Cooperative Threads - Johannes Borgström Static Equivalence is Harder than Knowledge 12.30 - 14.00: LUNCH 14.00 - 15.00: Invited talk: Tom Henzinger - Title to be announced 15.00 - 15.30: Afternoon Session - Nathalie Bertrand, Phillippe Schnoebelen A Short Visit to the STS Hierarchy 15.30 - 16.00: COFFEE BREAK 16.00 - 18.00: Afternoon Session - Petr Jancar, Martin Kot, Zdenek Sawa Notes on Complexity of Bisimilarity between BPA and BPP - Raymond Devillers, Hanna Klaudel, Maciej Koutny A Petri Net Semantics of a Simple Process Algebra for Mobility - Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi Separation of Synchronous and Asynchronous Communication via Testing - Sébastien Briais, Uwe Nestmann Open Bisimulation, Revisited * PROGRAM CO-CHAIRS: Jos Baeten (Eindhoven Univ. of Technology, NL) Iain Phillips (Imperial College London, UK) * PROGRAM COMMITTEE: Roberto Amadio (Univ. de Provence, CMI Marseille, FR) Jos Baeten (Eindhoven Univ. of Technology, NL) Julian Bradfield (Univ. of Edinburgh, UK) Michele Bugliesi (Univ. Ca' Foscari, IT) Mariangiola Dezani-Ciancaglini (Univ. di Torino, IT) Wan Fokkink (Vrije Univ. Amsterdam, NL) Thomas Hildebrandt (IT Univ. of Copenhagen, DK) Kohei Honda (Queen Mary Univ. of London, UK) Richard Mayr (North Carolina State Univ. US) Catuscia Palamidessi (INRIA Futurs, LIX École Polytechnique, FR) Iain Phillips (Imperial College London, UK) Julian Rathke (Univ. of Sussex, UK) Eugene Stark (SUNY Stony Brook, US) * CONTACT: Jos Baeten - firstname.lastname@example.org Iain Phillips - email@example.com TOOLS SESSION IN 2ND INTERNATIONAL WORKSHOP ON WEB SERVICES AND FORMAL METHODS (WS-FM 2005) Versailles, 2-3 September 2005, France http://www.cs.unibo.it/WS-FM05 * Web services technology is a widespread accepted instantiation of Service Oriented Computing which facilitates integration of newly built and legacy applications both within and across organizational boundaries avoiding difficulties due to different platform, heterogeneous programming languages, security firewall, etc... The idea behind the WS approach is allowing independently developed applications to be exposed as services and interconnected exploiting the already set up Web infrastructure with relative standards (HTTP, XML, SOAP and WSDL). The technologies related to developing basic services and interconnecting them on a point-to point basis can be considered well established but B2B processing requires managing more complex interactions involving a large number of participants and none of the above standards are able to meet this need. For this reason the so-called Web services Composition Languages like XLANG, WSFL, BPML, WS-BPEL and WS-CDL are taking place. These languages are claimed to be based on formal models (pi-calculus variants, Petri Nets) to allow rigorous mathematical reasoning. However, despite all this hype, no interesting relations with formal methods have been so far emphasized and no conceptual instruments for analysis and reasoning or software verification techniques and tools have been so far presented by the respective companies. Any mathematical rigor becomes pointless without the ability to show these kind of results. In this sense contracts conformance verification between different services and static analysis of behavioral properties becomes one of the most promising research directions. * The aim of the tools session is presenting working prototypes designed exploiting the experience derived from concurrency theory (and formal methods in general) in order to strengthen the collaboration with industry and resulting in a strong impact on the standardization phase of composition languages and of web services technologies in general. * LIST OF TOPICS The topics of interest include, but are not limited to: - Orchestration engines for Web services - Frameworks for recovery mechanisms in Web services composition - Static analyzers and verificators of behavioral properties - Contracts conformance checkers - Frameworks for securing Web services * SUBMISSION MODALITIES To submit please send the information below to: firstname.lastname@example.org Submissions must include: - Name of the tool - Name(s) of the author(s) - Name(s) of the person(s) presenting the demo at the workshop - A short abstract presenting the tool and the underpinning theory. It should describe the way in which the theory benefits the implementation. - A link to a web site presenting the project. Submissions deadline: 3 August 2005 * DEMO MODALITIES The demos presentation will be held as a special session of WS-FM 2005. Each presentation will take about 25 minutes plus 10 for the discussion. CONTACTS - Mario Bravetti (email@example.com) - Roberto Lucchi (firstname.lastname@example.org) - Manuel Mazzara (email@example.com) - Gianluigi Zavattaro (firstname.lastname@example.org) 10TH EUROPEAN SYMPOSIUM ON RESEARCH IN COMPUTER SECURITY (ESORICS 2005) Milan, Italy - September 12-14, 2005 http://esorics05.dti.unimi.it/ * Call for Participation * Aims and Scope Organized in a series of European countries, ESORICS is confirmed as the European research event in computer security. The symposium started in 1990 and has been held on alternate years in different European countries and attracts an international audience from both the academic and industrial communities. From 2002 it has been held yearly. The Symposium has established itself as one of the premiere, international gatherings on information assurance. * Registration Online registration is available on the conference web page: http://esorics05.dti.unimi.it/registration.php * Additional Information On the web pages (http://esorics05.dti.unimi.it), you will find information about the program, the conference hotel and venue, and some travel and tourist information. We look forward to seeing you in Milan at ESORICS 2005. IPM INTERNATIONAL WORKSHOP ON FOUNDATIONS OF SOFTWARE ENGINEERING (FSEN 2005) 1-3 October 2005, Tehran, Iran. http://cs.ipm.ac.ir/FSEN05 * In Cooperation with ACM/SigSoft (FSEN05 is different from the ACM Symposium on Foundations of Software Engineering) * Registration deadline: August 26, 2005 (in the case a visa application by IPM is required) September 15, 2005 (in other cases) (For more information check the workshop homepage.) * FSEN 2005 is an international workshop organized by the Institute for Studies in Theoretical Physics and Mathematics (IPM) in Iran (http://www.ipm.ac.ir). Accepted papers are available at workshop homepage. * Keynote Speakers - Gul Agha - University of Illinois at Urbana - Champaign, USA - Joost Kok - Leiden University, Netherlands - Carolyn Talcott - SRI International, USA * Tutorials - "Connector Circuits for Coordinated Component Composition" Farhad Arbab CWI, Amsterdam and Leiden University, Netherlands - "Algebra and Coalgebra of Streams, Automata and Circuits" Jan Rutten CWI and VUA, Amsterdam, Netherlands - "A Calculus for Component-Oriented Programming" Marcello Bonsangue CWI, Amsterdam and Leiden University, Netherlands * Workshop goals The aim of the workshop is to bring together researchers and practitioners working on different aspects of formal methods in software engineering. The specific goal is to facilitate transfer of experience, adaptation of methods, and where possible, collaboration between different groups. The topics may cover any aspect in formal methods, especially those related to advancing the application of formal methods in software industry and promoting their integration with practical engineering techniques. * Topics of interest The topics of this workshop include, but are not restricted to, the following: - Models of programs and systems - Software specification, validation and verification - Software architectures and their description languages - Object and multi-agent systems - Coordination and feature interaction - Integration of formal and informal methods - Integration of different formal methods - Component-based development - Service-oriented development - Model checking and theorem proving - Software and hardware verification - CASE tools and tool integration - Application to industrial cases * Workshop Chair Ali Movaghar Sharif University of Technology, Iran IPM, Iran * PC Chairs - Farhad Arbab CWI, Netherlands Leiden University, Netherlands University of Waterloo, Canada - Marjan Sirjani Tehran University, Iran IPM, Iran * Local Organization Chair Marjan Sirjani Tehran University, Iran IPM, Iran * Program committee - Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands; University of Waterloo, Canada - Mohammad Ardeshir - Sharif University of Technology, Iran - Christel Baier - University of Bonn, Germany - Frank de Boer - CWI, Netherlands; Leiden University, Netherlands - Marcello Bonsangue - Leiden University, Netherlands - Franck van Breugel - York University, Canada - James C. Browne - University of Texas at Austin, USA - Michael Butler - University of Southampton, UK - Marsha Chechik - University of Toronto, Canada - Dennis Dams - Bell Labs, USA - Nancy Day - University of Waterloo, Canada - Maurizio Gabbrielli - University of Bologna, Italy - Yuri Gurevich - Microsoft Research, USA - Joost Kok - Leiden University, Netherlands - Marta Kwiatkawska, University of Birmingham, UK - Mohammad Reza Meybodi - AmirKabir University of Technology, Iran - Seyyed Hassan Mirian - Sharif University of Technology, Iran - Ugo Montanari - University of Pisa, Italy - Ali Movaghar - Sharif University of Technology, Iran; IPM, Iran - Andrea Omicini - University of Bologna, Italy - George Papadopoulos - University of Cyprus, Cyprus - Willem-Paul de Roever - University of Kiel, Germany - Jan Rutten - CWI, Netherlands; Vrije University Amsterdam, Netherlands - Sandeep Shukla- Virginia Tech, USA - Marjan Sirjani - Tehran University, Iran; IPM, Iran - Alan Wassyng - McMaster University, Canada 12TH INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING ARTIFICIAL INTELLIGENCE AND REASONING (LPAR-12) Montego Bay, Jamaica 2nd-6th December 2005 http://www.lpar.net/2005 * The 12th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-12) will be held 2nd-6th December 2005, at the Wexford Hotel, Montego Bay, Jamaica. Submission of papers for presentation at the conference is now invited. Dates and Deadlines: - Submission of full paper abstracts: 11th July - Submission of full papers: 18th July - Submission of short papers: 26th September * Details are available on the WWW site http://www.lpar.net/2005 4TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS FOR OBJECTS AND COMPONENTS (FMCO 2005) 1 - 4 November 2005, CWI, Amsterdam, The Netherlands http://fmco.liacs.nl/fmco05.html * Call for Tutorial Papers * The FMCO symposium is an annual international event on the application and development of formal methods in software engineering, with a special focus on component-based and object-oriented software systems. We invite submissions of tutorial papers on topics that fit under that rubric. Suggested, but not exclusive, topics of interest for submissions include: models and logics for object-oriented and component-based systems; formal aspects of analysis of large systems; prediction, analysis and monitoring of extra-functional system properties; applications of modal logics, temporal logics, and model checking for the specification and verification of object-oriented languages; type systems and type theory for objects and components; probabilistic systems, process calculi, and semantics of object and component oriented languages; reasoning about security, trustworthiness and dependability of component-based systems. * Important Dates Authors are invited to submit a title and a short abstract of one or two pages providing a tutorial perspective on research results or experiences related to the topics above. Accepted abstracts will be presented at the symposium and an extended tutorial paper of about 20 pages in LNCS style will be refereed and eventually published together with the contributions of the keynote speakers after the symposium, in a proceeding of Lecture Notes in Computer Science by Springer-Verlag. Selected papers will be published in revised and extended version in the Elsevier journal Theoretical Computer Science. - Title and short abstract due: 5 Sep 2005, Tutorial paper due: 28 Feb 2006 - Author notification: 1 Oct 2005, Author notification: 15 Apr 2006 - Symposium: 1-4 Nov 2005, Camera-ready paper due: 15 May 2006 * The short abstracts must be in English and provide sufficient details to allow the organizing committee and the advisory board to assess the merits of the related tutorial papers. One author of each accepted abstract will be expected to present the tutorial at the symposium. The tutorial papers must be unpublished and not submitted for publication, but may contain previously published material. Short abstracts and tutorial papers must be submitted electronically to F.S. de Boer (email@example.com) or M.M. Bonsangue (firstname.lastname@example.org). * Format The symposium is a four days event organised to provide an atmosphere that fosters collaborative work, discussions and interactions. Lectures are given by the keynote speakers listed below and by authors of accepted abstract. * Keynote speakers and advisory board Michael Barnett (Microsoft, USA) Luis Caires (New University of Lisbon, PT) Patrick Cousot (ENS, FR) Dennis Dams (Bell Labs, USA) Wan Fokkink (Free University, NL) Orna Grumberg (Technion, ISR) Joost-Pieter Katoen (RWTH Aachen, DE) Kung-Kiu Lau (University of Manchester, UK) Peter O' Hearn (Queen Mary University of London, UK) Arnd Poetzsch-Heffter (University of Kaiserslautern, DE) John Reynolds (Carnegie Mellon University, USA) Davide Sangiorgi (University of Bologna, IT) * Organizing committee F.S. de Boer (CWI and LIACS-Leiden University) M.M. Bonsangue (LIACS-Leiden University) S. Graf (Verimag) W.-P. de Roever (Christian-Albrechts University of Kiel) * Sponsorship The symposium is sponsored by NWO, KNAW, CWI, and LIACS. * For more information about the symposium see the FMCO site above or consult either F.S. de Boer (email@example.com) or M.M. Bonsangue (firstname.lastname@example.org). ACM SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS (PODS 2006) Call For Papers Chicago, USA, 26 - 28 June 2006 http://tangra.si.umich.edu/clair/sigmod-pods06/pods-org.html * The PODS symposium series, held in conjunction with the SIGMOD conference series, provides a premier annual forum for the communication of new advances in the theoretical foundation of database systems. For the 25th edition, original research papers providing new insights in the specification, design, or implementation of data management tools are called for. * Topics that fit the interests of the symposium include the following (as they pertain to databases): algorithms; complexity; computational model theory; concurrency; constraints; data integration; data mining; data modeling; data on the Web; data streams; data warehouses; distributed databases; information retrieval; knowledge bases; logic; multimedia; physical design; privacy; quantitative approaches; query languages; query optimization; real-time data; recovery; scientific data; security; semantic Web; semi-structured data; spatial data; temporal data; transactions; updates; views; Web services; workflows; XML. * All submissions must be done electronically. See webpage for details. * Important dates: Short abstracts by 4 December 2005 Paper submissions by 11 December 2005 Notification by 28 February 2006 Camera-ready copy by 31 March 2006 * Best Paper Award: An award will be given to the best submission, as judged by the program committee. * Best Newcomer Award: There will also be an award for the best submission, as judged by the program committee, written solely by authors who have never published in earlier PODS proceedings. * Program Committee: Pankaj K. Agarwal, Duke U Marcelo Arenas, PUC Chile Mike Atallah, Purdue U Leo Bertossi, Carleton U Gautam Das, U Texas Arlington Alin Deutsch, UC San Diego Alan Fekete, U Sydney Samir Khuller, U Maryland Michael Kifer, SUNY Stony Brook Nicola Leone, U Calabria Mark Levene, Birkbeck U London Maarten Marx, U Amsterdam Gerome Miklau, UMass Amherst Chung Keung Poon, City U Hong Kong Yehoshua Sagiv, Hebrew U Jerusalem Michael Schwartzbach, U Aarhus Nicole Schweikardt, Humboldt U Berlin Wang-Chiew Tan, UC Santa Cruz David Toman, U Waterloo Jan Van den Bussche (chair), Hasselt U Dirk Van Gucht, Indiana U Limsoon Wong, Institute for Infocomm Research Carlo Zaniolo, UC Los Angeles FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING (FASE 2006) Vienna (Austria), March 27-29, 2006 http://www.elet.polimi.it/conferences/fase06/ * The information society is increasingly reliant on software at all levels. Hence, the ability to produce software of high quality at low cost is crucial to technological and social progresses. An intrinsic characteristic of software addressing real-world applications is the need to evolve in order to adjust to new or changing requirements. Maintaining quality while embracing change is one of the main challenges of software engineering. * Software engineers have at their disposal theories, languages, methods, and tools that derive from both systematic research of the academic community and the experience of practitioners. It is one of the roles of software engineering as a scientific discipline to create a feedback cycle between academia and industry by proposing new solutions and identifying those that "work" in practical contexts. * Submissions may address either academic research or industrial experiences, but they must clearly identify the problem and the envisaged solution. Particularly, contributions are encouraged that aim at a combination of conceptual and methodological aspects with their formal foundation and tool support. * A non-exclusive list of topics of interest is: - Requirements engineering: capture, consistency, and change management of requirements towards software - Software architectures: description and analysis of the architecture of individual systems or classes of applications - Implementation concepts and technologies: distributed, mobile, and embedded applications, service-oriented architectures and Web Services - Software processes: support for iterative, agile, and open source development - Model-driven development: design and semantics of semi-formal visual languages, consistency and transformation of models - Software evolution: refactoring, reverse and re-engineering, configuration management and architectural change, or aspect-orientation - Software quality: validation and verification of software using theorem proving, testing, analysis, metrics or visualization techniques - Application of formal methods to software development * Important dates - Friday 7 October 2005: Submission deadline for abstracts - Friday 14 October 2005: Submission deadline for full papers (strict) - Friday 9 December 2005: Notification of acceptance/rejection - Friday 6 January 2006: Camera-ready version due - Saturday 25 March to Sunday 2 April 2006: ETAPS 2006 * Submission information See http://www.elet.polimi.it/conferences/fase06/ * Invited speaker Francisco Curbera (IBM TJ Watson, USA) * Program committee - Jan Øyvind Aagedal (SINTEF, Oslo, Norway), - Luciano Baresi (Politecnico di Milano), co-chair, - Jean Bezivin (University of Nantes, France), - Victor Braberman (University of Buenos Aires, Argentina), - Maura Cerioli (University of Genova, Italy), - Matt Dwyer (University of Nebraska, USA), - Anthony Finkelstein (University College London, UK), - Harald Gall (University of Zurich, Switzerland), - Alan Hartman (IBM, Israel), - Reiko Heckel (University of Leicester, UK), co-chair, - Mehdi Jazayeri (University of Vienna, Austria), - Antonia Lopes (University of Lisbon, Portugal), - Sandro Morasca (Universita' dell'Insubria, Italy), - András Pataricza (Budapest University of Technology and Economics, Hungary), - Mauro Pezzè (University of Milano-Bicocca, Italy), - Arend Rensink (University of Twente, The Netherlands), - Leila Ribeiro (Federal University of Rio Grande do Sul, Porto Alegre, Brazil), - Andy Schürr (University of Darmstadt, Germany), - Gabi Taentzer (University of Berlin, Germany), - Tetsuo Tamai (University of Tokio, Japan), - Sebastian Uchitel (Imperial College, UK), - Heike Werheim (University of Oldenburg, Germany), - Michel Wermelinger (Open University, UK), - Alex Wolf (University of Colorado, USA), - Michal Young (University of Oregon, USA) BOOK ANNOUNCEMENT Advanced Topics in Types and Programming Languages Benjamin C. Pierce, editor * The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. This book offers accessible introductions to key ideas in the field, with contributions by experts on each topic. * The topics covered include precise type analyses, which extend simple type systems to give them a better grip on the run time behavior of systems; type systems for low-level languages; applications of types to reasoning about computer programs; type theory as a framework for the design of sophisticated module systems; and advanced techniques in ML-style type inference. * Advanced Topics in Types and Programming Languages can be used in the classroom and as a resource for professionals. Most chapters include exercises, ranging in difficulty from quick comprehension checks to challenging extensions, many with solutions. Additional material can be found at http://www.cis.upenn.edu/~bcpierce/attapl. * Benjamin C. Pierce is Professor of Computer and Information Science at the University of Pennsylvania. * Contributors - David Aspinall - Karl Crary - Robert Harper - Fritz Henglein - Martin Hofmann - Henning Makholm - Greg Morrisett - George Necula - Henning Niss - Benjamin C. Pierce - Andrew Pitts - François Pottier - Didier Rémy - Christopher A. Stone - David Walker * 608 pp., 125 illus., ISBN 0-262-16228-8 * For more information please visit http://mitpress.mit.edu/0262162288 ASSISTANT POSITIONS IN PROGRAM VERIFICATION, DEPARTMENT OF COMPUTER SCIENCE - ETH ZURICH, SWITZERLAND * The Software Component Technology group is recruiting one or two assistants (PhD students) to work on the European research project "Mobility, Ubiquity and Security: MOBIUS", aiming at developing the technology for establishing trust and security for the next generation of global computers, using the Proof Carrying Code paradigm. The project will start September 1, 2005. * Within the Mobius project, the research of the Software Component Technology group focuses on the following research areas: - Correctness of Java and Java bytecode programs: We study the combination of classical verification techniques and enhanced type systems. By combining these two approaches, we aim at developing powerful reasoning techniques that enable a high degree of automation. We also investigate how proofs for source programs can be converted into Proof Carrying Code certificates for bytecode. - Type systems to support program verification: Many interesting program properties can be expressed and checked syntactically by sophisticated type systems. For instance, ownership type systems can describe and check properties of pointer structures. Our goal is to develop type systems that facilitate reasoning about the correctness and security of object-oriented programs. We also study inference and bytecode verification for these type systems. * Assistants are expected to participate in teaching, especially in the areas object-oriented programming, software engineering, formal methods, semantics of programming languages, and project management. Among others, teaching activities include supporting courses and seminars as well as advising students doing project and Master's work. * Applicants must have a very good degree in Computing Science or in a related subject with a strong Computing Science component. They must also have documented practical experience in object-oriented programming and expertise in formal methods. Since assistants are expected to work towards a PhD, a strong interest in doing research as well as a good knowledge of English is required. * The following qualifications are not mandatory, but increase the chances of a success: - Experience with Java, Java bytecode, and JML - Knowledge of Proof-Carrying Code - Experience with theorem provers such as Isabelle or PVS - Knowledge of German * We favor diversity; it doesn't matter where you come from as long as you have the ability and enthusiasm to help advance the frontiers of software technology. ETH administrative requirements specify that you should have a Master's degree (US, UK, Australia ...) or a degree considered equivalent such as a German-style Diplom or a French-style DEA. If you are not sure about equivalences feel free to ask. * An assistant position is a regular job with social benefits. Assistants at ETH receive an attractive salary and have access to excellent facilities in one of the world's top computer science departments. Zurich has just been voted #1 again in the world for quality of life (www.location.zh.ch/internet/vd/awa/standort/en/wirtschaft/leben.html). The prospective assistants enjoy the benefits of a young team and the close cooperation with their advisor as well as the opportunities of collaborating with all members of the Chair of Software Engineering (Prof. Bertrand Meyer and Prof. Jean-Raymond Abrial). * For the web site of the Software Component Technology Group consult http://sct.inf.ethz.ch. Questions on the positions and applications should be sent to Prof. Peter Müller (email@example.com) or to the postal address below. Applications should include a curriculum vitae, a brief description of research interests, and, if possible, letters of recommendation from teachers or employers. * Postal Address: ETH Zurich Chair of Software Engineering Prof. Peter Müller ETH Zentrum, RZ J9 CH-8092 Zurich Switzerland PHD POSITION IN MONADIC COMPUTATIONAL LOGICS, UNIVERSITY OF BREMEN, GERMANY * A 3-year PhD-Position is available in the project "Monadic Computational Logics in HOL" at the University of Bremen. The project is concerned with the implementation and further development of monadic computational logics, including monadic Hoare logic and monadic dynamic logic as well as extensions covering exception handling, as introduced by Till Mossakowski and Lutz Schroeder. * More detailed information can be found at http://www.informatik.uni-bremen.de/~lschrode/research/projects/HOL-MDL_e.htm * Applications or further enquiries may be e-mailed to Lutz Schroeder Phone +49-421-218-4683 Dept. of Computer Science Fax +49-421-218-3054 University of Bremen firstname.lastname@example.org P.O.Box 330440, D-28334 Bremen http://www.informatik.uni-bremen.de/~lschrode TWO OPEN POSITIONS IN THE TRUST4ALL PROJECT CWI, AMSTERDAM, THE NETHERLANDS * Position Description: The Coordination and Component Based Software group in SEN3 at CWI has two open positions for: (1) a postdoc for a period of two years, and (2) a researcher for two years. * Both positions are within the European (ITEA) research project Trust4All. Industrial and academic partners in Trust4All collaborate in order to realize a software technology that enables the component-based development of trustworthy systems. In particular, the project investigates the relation between dependability and security properties. The project builds on the result of earlier ITEA projects Robocop and Space4U.The industrial partners include Nokia & VTT (Finland), Fagor, Ikerland and Visual Tools (Spain), Philips, Océ (Netherlands). Participating research institutes include: Technische Universiteit Eindhoven, Telematica Institute, CWI, Leiden Institute of Advanced Computer Science (Netherlands) and CSEM (Switzerland). There will be regular project meetings that rotate among the participating countries. More details & updates about the project can be found at http://www.win.tue.nl/trust4all/ * The activities under Trust4All involve both system oriented and theoretical work, supervised by Prof. Dr. F. Arbab (www.cwi.nl/~farhad) and Dr. F.S. de Boer (www.cwi.nl/~frb). On the theoretical side, we develop a compositional model of trust and the formal basis to allow reasoning based on that model. On the systems side, we develop tools to support validation, testing, and reasoning about trustworthiness of component based systems. * The candidate for the postdoc position is expected to have a PhD in computer science, with a strong background in Component-based software engineering, software architectures, as well as maturity in formal methods and their practical applications. Project management skills, teamwork and leadership, as well as the ability to work effectively with academic colleagues and PhD students, are all important qualifications for this position. * The candidate for the researcher position should have at least a master degree in computer science, affinity and experience with component-based software engineering, system development, and distributed systems programming. With proven performance and available funding, the researcher may be offered 2 more years to complete a Ph.D. * The Theme SEN3 (http://www.cwi.nl/sen3) at CWI is a dynamic group of internationally recognized researchers who work on Coordination Models and Languages and Component-Based Software Composition. The activity in SEN3 is a productive, healthy mix of theoretical, foundational, and experimental work in Computer Science, ranging in a spectrum covering mathematical foundations of models of computation, formal methods and semantics, implementation of advanced research software systems, as well as their real-life applications. * General information: CWI is an internationally renowned research institute in mathematics and computer science, located in Amsterdam, The Netherlands. The focus is on fundamental research problems, derived from societal needs. Research is carried out in 15 research themes. More information about these themes can be found on the website www.cwi.nl where you can also take a look at our Annual Report. A substantial part of this research is carried out in the framework of national or international programs. CWI maintains excellent relations with industry and the academic world, at home as well as abroad. After their research careers at CWI, an increasing number of young staff members find employment in these sectors, for example in spin-off companies that are based on research results from CWI. Of course, library and computing facilities are first-rate. CWI's non-scientific services to its personnel include career planning, training & courses, assistance in finding housing, and tailor-made solutions to problems that may occasionally arise. * Terms of employment: The salary is in accordance with the "CAO-onderzoekinstellingen" and is commensurate with experience. For instance, the postdoc base salary for a fresh PhD with no additional experience in scale 10 is around 2800 Euros/month, and for an experienced PhD in scale 12 it is around 4500 Euros/month. The current starting salary for a first year PhD student is around 1800 Euros/month with an incremental raise for each subsequent year. Besides the salary, CWI offers very attractive and flexible terms of employment, like a collective health insurance, pension-fund, etc. * Application: To apply, please send a statement of your interest, together with curriculum vitae, letters of references, and lists of publications to: F. Arbab, telephone +31-20-592-4056, e-mail Farhad.Arbab@cwi.nl F.S. de Boer, telephone +31-20-592-4189, e-mail F.S.de.Boer@cwi.nl
Back to the LICS web page.