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
lics@informatik.hu-berlin.de.
* 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
lics@informatik.hu-berlin.de.
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 - josb@win.tue.nl
Iain Phillips - iccp@doc.ic.ac.uk
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:
ws-fmtools@cs.unibo.it
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 (bravetti@cs.unibo.it)
- Roberto Lucchi (lucchi@cs.unibo.it)
- Manuel Mazzara (mazzara@cs.unibo.it)
- Gianluigi Zavattaro (zavattar@cs.unibo.it)
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 (frb@cwi.nl) or M.M. Bonsangue (marcello@liacs.nl).
* 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 (frb@cwi.nl) or M.M. Bonsangue (marcello@liacs.nl).
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 (peter.mueller@inf.ethz.ch) 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 lschrode@informatik.uni-bremen.de
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.