Newsletter 97
February 21, 2005
*******************************************************************
* Past issues of the newsletter are available at
http://www.lfcs.informatics.ed.ac.uk/lics/newsletters/
* Instructions for submitting an announcement to the newsletter
can be found at
http://www.lfcs.informatics.ed.ac.uk/lics/newsletters/inst.html
*******************************************************************
TABLE OF CONTENTS
* CONFERENCES AND WORKSHOPS
ETAPS 2005 - Call for Participation
CMSB 2005 - Call for Participation
CSL '05 - Call for Papers
CONCUR 2005 - Call for Papers
Algebraic and Topological Methods in Non-classical Logics II - Call
for Papers
IMLA'05 - Call for Papers
LCC '05 - Call for Papers
SEFM 2005 - Call for Papers
TABLEAUX 2005 - Call for Papers and Tutorials
FCS'05 - Call for Papers
MTCoord 2005 - Call for Papers
CoOrg 2005 - Call for Papers
ESORICS 2005 - Call for Papers
LOPSTR'05 - Call for Papers
ARSPA'05 - Call for Papers
ASIS 2005 - Call for Papers
* POSTGRADUATE
Funded Visitorships for Logic PhD Students
17th International School for Computer Science, Lipari
Summer School on Logic-based Knowledge Representation, Dresden
* PRIZES
ACKERMANN AWARD - Second call for Submissions
* VACANCIES
Postdoctoral Position in Coordination Languages and Web Services,
University of Namur, Belgium
EUROPEAN JOINT CONFERENCES ON THEORY AND PRACTICE OF SOFTWARE (ETAPS 2005)
Call for Participation
Edinburgh, 2nd - 10th April 2005.
http://www.etaps05.inf.ed.ac.uk
* 5 Conferences, 16 Satellite Workshops, 4 Tutorials, Tool Demonstrations
* Main conferences are: Foundations of Software Science and
Computation Structures (FOSSACS), Fundamental Approaches to Software
Engineering (FASE), European Symposium on Programming (ESOP),
International Conference on Compiler Construction (CC), and Tools
and Algorithms for the Construction and Analysis of Systems (TACAS).
* Invited speakers: Gerard Berry, Marcelo Fiore, Thomas Henzinger,
Ken McMillan, Ugo Montanari, Andrew Myers, Andreas Zeller.
* Online registration and accommodation details at
http://www.etaps05.inf.ed.ac.uk
Ordinary registration until 7th March, late registration fee after then.
* Organising chair: Don Sannella. Contact: etaps05@inf.ed.ac.uk
COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY 2005 (CMSB 2005)
3-5 April, Edinburgh, UK
Call for Participation
http://homepages.inf.ed.ac.uk/v1bklin/cmsb05/
* Invited Speakers:
Hamid Bolouri, Institute for Systems Biology, Seattle (US)
Drew Endy, MIT Biological Engineering (US)
Stephen Muggleton, Imperial College (UK)
Vincent Schachter, Genoscope, Evry (FR)
Christophe Soule, Centre National de la Recherche Scientifique,
Institut des Hautes etudes Scientifiques (FR)
* For full programme see webpage
COMPUTER SCIENCE LOGIC (CSL'05)
22-25 August 2005
Oxford, UK
http://web.comlab.ox.ac.uk/oucl/conferences/CSL05/
Call for Papers
* Computer Science Logic (CSL) is the annual conference of the European
Association for Computer Science Logic (EACSL). The conference is
intended for computer scientists whose research activities involve logic,
as well as for logicians working on issues significant for computer science.
* Suggested topics of interest include: automated deduction and
interactive theorem proving, constructive mathematics and type theory,
equational logic and term rewriting, modal and temporal logic,
model checking, logical aspects of computational complexity, finite
model theory, computational proof theory, logic programming and
constraints, lambda calculus and combinatory logic, categorical logic
and topological semantics, domain theory, database theory, specification,
extraction and transformation of programs, logical foundations of
programming paradigms, linear logic, higher-order logic.
* Invited speakers: Matthias Baaz (U. of Technology, Vienna), Ulrich Berger
(U. of Wales, Swansea), Maarten Marx (U. of Amsterdam), Anatol Slissenko
(Universite Paris 12)
* Submissions: the proceedings will be published in the Springer Lecture
Notes in Computer Science.
Deadline for abstracts 25 March, 2005
Deadline for papers 1 April, 2005
* The EACSL Board has decided to launch the Ackermann Award: The EACSL
Outstanding Dissertation Award for Logic in Computer Science. The first
awards will be presented to the recipients at CSL'05. Further details of
the Award can be found at http://www.dimi.uniud.it/~eacsl/award.html
* Programme Committee: Albert Atserias (Barcelona), David Basin (Zurich),
Martin Escardo (Birmingham), Martin Grohe (Berlin), Ryu Hasegawa (Tokyo),
Martin Hofmann (Munich), Ulrich Kohlenbach (Darmstadt), Orna Kupferman
(Jerusalem), Paul-Andre Mellies (Paris), Aart Middeldorp (Innsbruck),
Dale Miller (Palaiseau), Damian Niwinski (Warsaw), Peter O'Hearn (London),
Luke Ong (Oxford, Chair), Alexander Rabinovich (Tel Aviv), Thomas Schwentick
(Marburg), Alex Simpson (Edinburgh), Nicolai Vorobjov (Bath), Andrei Voronkov
(Manchester).
16TH INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY (CONCUR 2005)
San Francisco, CA, USA,
August 23-26, 2005
Call for Papers
http://www.soe.ucsc.edu/concur05/
* CONCUR 2005, the 16th International Conference on Concurrency Theory,
will take place in San Francisco, California, on August 23-26, 2005.
Eleven workshops will be held in affiliation with CONCUR 2005.
* Short Abstract Submission: March 28, 2005
Extended Abstract Submission: April 1, 2005
* For more information see webpage
ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS II
Barcelona, 15-18 June 2005
Call for Papers
http://www.mat.ub.es/~logica/meeting2005/
* In recent years the interest in non-classical logics has been
growing. We aim to bring together researchers from various fields of
non-classical logics and applications, as well as from lattice theory,
universal algebra, category theory and general topology, in order to
foster collaboration and further research. The featured areas include,
but are not limited to, the following: Algebraic logic, Coalgebraic
semantics, Categorical semantics in general, Dynamic logic and dynamic
algebras, Fuzzy and many-valued logics, Lattices with operators, Modal
logics, Ordered topological spaces, Ordered algebraic structures,
Residuated structures, Substructural logics and Topological semantics
of modal logic.
* Deadlines:
Submission of contributed papers: 30 March 2005
Acceptation of contributed papers: 30 April 2005
Travel grant applications: 30 March 2005
* Programme committe:
Leo Esakia, Georgian Academy of Sciences
Mai Gehrke, New Mexico State University
Petr Hajek, Czech Academy of Sciences
Ramon Jansana, Universitat de Barcelona
Hiroakira Ono, Japan Advanced Institute for Science
and Technology (chair)
Constantine Tsinakis, Vanderbilt University
Yde Venema, Universiteit van Amsterdam
Michael Zacharyaschev, King's College London
* For more details see webpage
THIRD INTERNATIONAL WORKSHOP ON INTUITIONISTIC MODAL LOGIC AND
APPLICATIONS (IMLA'05)
Chicago, Illinois, June 30, 2005
A LICS'05 affiliated workshop
http://www.cs.cmu.edu/~fp/imla05/
Call for Papers
* Constructive modal logics and type theories are of increasing
foundational and practical relevance in computer science. Sample
applications are in type disciplines for programming languages, and
meta-logics for reasoning about a variety of computational phenomena.
* This workshop will bring together designers, implementers,
and users to discuss all aspects of intuitionistic modal logics
and type theories.
* Submission: April 17, 2005
* For details see webpage
WORKSHOP ON LOGIC AND COMPUTATIONAL COMPLEXITY (LCC'05)
(affiliated with LICS 2005)
Call for Papers
Chicago, USA, June 24 - 25, 2005
http://www.cis.syr.edu/~royer/lcc/LCC05/
* Topics of interest include:
complexity analysis for functional languages,
complexity in database theory,
complexity in formal methods,
computational complexity in higher types,
formal methods for complexity analysis of programs,
foundations of implicit computational complexity,
logical & machine-independent characterizations of complexity classes,
logics closely related to complexity classes,
semantic approaches to complexity,
software that applies LCC ideas,
type systems for controlling complexity
* All submissions must be done electronically.
See the workshop webpage for details.
* Submission Deadline : April 17, 2005
* Program committee:
Samson Abramsky (University of Oxford), co-chair.
Rajeev Alur (University of Pennsylvania).
Albert Atserias (UPC, Barcelona).
Andrei Bulatov (Simon Fraser University).
Kousha Etessami (University of Edinburgh).
Daniel Leivant (Indiana University).
Leonid Libkin (University of Toronto), co-chair.
Igor Walukiewicz (University of Bordeaux).
3rd IEEE Conf. on SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2005)
Call for Papers
Koblenz, Germany, 7-9 September 2005
http://sefm2005.uni-koblenz.de
* Submission Deadline: March 18, 2005 (abstract), April 1, 2005 (paper)
* Theme. The aim of the conference is to bring together practitioners
and researchers from academia, industry and government to advance the
state of the art in formal methods, to scale up their application in
software industry and to encourage their integration with practical
engineering methods.
* Topics (not exhaustive): requirement analysis and specification;
software architectures and their description languages; software
specification, validation and verification; software design and
refinement; models of programs and systems; 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;
aspect-oriented development; formal aspects of security and
mobility; model checking and theorem proving; program analysis;
fault-tolerant, real-time and hybrid systems; analysis of
safety-critical systems; formal aspects of software evolution and
maintenance; formal methods for testing, re-engineering and reuse;
light-weight formal methods; prototyping and visualisation; CASE
tools and tool integration; application to industrial cases; formal
methods for industrial standardisation; socio-economic implications
of the use of formal methods
* For more details see webpage
INTERNATIONAL CONFERENCE ON AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND
RELATED METHODS (TABLEAUX 2005)
Call for Papers and Call for Tutorials
Koblenz, Germany, September 14-17, 2005
http://tableaux2005.uni-koblenz.de
* Theme. The conference brings together researchers interested in all aspects
- theoretical foundations, implementation techniques, systems development
and applications - of the mechanization of reasoning with tableaux and
related methods.
* Topics (not exhaustive): analytic tableaux for various logics (theory and
applications), related techniques and concepts, e.g., model checking and
BDDs, related methods (model elimination, sequent calculi, connection
method, ...), new calculi and methods for theorem proving in classical
and non-classical logics (modal, description, intuitionistic, linear,
temporal, ...), systems, tools, implementations and applications
* All submissions must be done electronically. Please use our conference
management software at tableaux2005.confmaster.net
* Tutorial Proposal Submission Deadline : March 31, 2005
* Paper Submission Deadline : April 30, 2005
* Program committee. Bernhard Beckert (U. of Koblenz), Peter Baumgartner (MPI
Saarbruecken), Marta Cialdea Mayer (U. Roma Tre), Roy Dyckhoff (U. of
St. Andrews), Christian Fermueller (Technical U. of Vienna), Ulrich Furbach
(U. of Koblenz), Didier Galmiche (LORIA (U. Henri Poincare), Martin Giese
(Chalmers U.), Rajeev P. Gore (Australian National U.), Jean Goubault-Larrecq
(Ecole Normale Superieure de Cachan), Reiner Haehnle (Chalmers
U. (Gothenburg), Ian Horrocks (U. of Manchester), Ullrich Hustadt (U. of
Liverpool), Christoph Kreitz (U. of Potsdam), Reinhold Letz (TU Muenchen),
Carsten Lutz (Dresden U. of Technology), Maarten Marx (U. of Amsterdam), Ugo
Moscato (U. of Milano-Bicocca), Neil V. Murray (U. at Albany), Ilkka Niemela
(Helsinki U. of Technology), Nicola Olivetti (U. of Torino), Lawrence Paulson
(U. of Cambridge), David A. Plaisted (U. of North Carolina), Peter H. Schmitt
(U. of Karlsruhe), Viorica Sofronie-Stokkermans (MPI Saarbruecken), Arild
Waaler (U. of Oslo), Calogero G. Zarba (LORIA and INRIA-Lorraine)
FOUNDATIONS OF COMPUTER SECURITY (FCS'05)
Chicago, IL, June 30 - July 1, 2005
Affiliated with LICS'05
http://www.cs.chalmers.se/~andrei/FCS05/
Call for papers
* Computer security is an established field of Computer Science of both
theoretical and practical significance. In recent years, there has
been increasing interest in foundations for various methods in
computer security, including the formal specification, analysis and
design of cryptographic protocols and their applications, the formal
definition of various aspects of security such as access control
mechanisms, mobile code security and denial-of-service attacks, trust
management, and the modeling of information flow and its application
to confidentiality policies, system composition, and covert channel
analysis.
* The aim of this workshop is to provide a forum for continued activity
in this area, to bring computer security researchers in contact with
the LICS'05 community, and to give LICS attendees an opportunity to
talk to experts in computer security.
* Submission deadline: March 18, 2005
* For more details see webpage
1ST INTERNATIONAL WORKSHOP ON METHODS AND TOOLS FOR COORDINATING CONCURRENT,
DISTRIBUTED AND MOBILE SYSTEMS (MTCoord 2005)
April 23, 2005, Namur, Belgium
Affiliated to Coordination '2005
http://www.info.fundp.ac.be/MTCoord/MTCoord05
Call for papers
* Various classes of computational models, languages, and formalisms
have emerged in the aim of providing high-level descriptions of
concurrent, distributed, and mobile systems. Typical examples
include so-called coordination languages and models (e.g. Gamma,
Linda, Manifold, Reo, Klaim, Lime, ...), concurrent constraint
languages (e.g. cc languages, Mozart, ...) and process algebras
(e.g. CSP, CCS, pi-calculus, ...).
* These models are based on generative communication via a shared
data space or on data communication through channels. In both
cases, software components are typically conceived in isolation
assuming that the required data will eventually be available.
However, making a whole system out of these components and, in
particular, ensuring that interactions occur properly is far from
being obvious. The aim of the workshop is precisely to bring
together researchers, working in different communities
(coordination, constraints, process algebras), on methods and tools
for the construction of concurrent, distributed and mobile systems.
* March 1, 2005: Abstract submission deadline.
March 8, 2005: Paper Submission deadline.
* For more details see webpage
1ST INTERNATIONAL WORKSHOP ON COORDINATION AND ORGANISATION (CoOrg 2005)
Namur, Belgium, April 2005
Affiliated to Coordination '2005
Call for Papers
http://boid.info/CoOrg05
* CoOrg 2005 is a one day workshop affiliated with COORDINATION 2005, Namur,
Belgium, April 20-23, 2005.
* March 1, 2005: Submissions deadline
* For more details see webpage
10TH EUROPEAN SYMPOSIUM ON RESEARCH IN COMPUTER SECURITY (ESORICS 2005)
Milan, Italy, September 14-16, 2005
Call for Papers
http://esorics05.dti.unimi.it/
* Papers offering novel research contributions in any aspect of computer
security are solicited for submission to the Tenth European Symposium
on Research in Computer Security (ESORICS 2005).
* Paper Submission due: March 25, 2005
* For more details see webpage
INTERNATIONAL SYMPOSIUM ON LOGIC-BASED PROGRAM SYNTHESIS AND
TRANSFORMATION (LOPSTR'05)
September 7-9, 2005, London, UK.
Call for Papers
http://www.comp.leeds.ac.uk/lopstr05/
* The aim of the LOPSTR series is to stimulate and promote international
research and collaboration on logic-based program development; the
workshop is open to contributions in logic-based program development
in any language paradigm.
* LOPSTR'05 will be held at Imperial College in London co-located
with SAS 2005: The International Static Analysis Symposium
(http://www.doc.ic.ac.uk/~clh/sas05.htm).
* Authors can either submit extended abstracts describing work in
progress or they can choose to submit full papers.
* Submission of full papers: May 20, 2005
Submission of extended abstracts: June 3, 2005
* For more details see webpage
SECOND WORKSHOP ON AUTOMATED REASONING FOR SECURITY PROTOCOL
ANALYSIS (ARSPA'05)
Lisboa, Portugal
July 16, 2005
co-located with ICALP'05
Call for Papers
http://www.avispa-project.org/arspa
* The ARSPA workshop aims to bring together researchers and
practitioners from both the security and the formal methods communities,
from academia and industry, who are working on developing and applying
automated reasoning techniques and tools for the formal specification
and analysis of security protocols.
* Submission deadline: April 15, 2005
* For more details see webpage
ARGENTINE SYMPOSIUM ON INFORMATION SYSTEMS (ASIS 2005)
Rosario, Argentina, August 29
Call for Papers
http://www.sel.unsl.edu.ar/asis2005/
* ASIS 2005 seeks original works in the wide spectrum of information
systems, not only from academic research but also from industrial
and business applications, with significant impact and lessons
learned from application development.
* Paper submission deadline: May 2, 2005
* For details see webpage
FUNDED VISITORSHIPS FOR LOGIC PHD STUDENTS
http://www.maths.man.ac.uk/logic/mathlogaps
* There is a Marie Curie Early Stage Training scheme in Mathematical Logic
and Applications (MATHLOGAPS), linking Leeds, Manchester, Munich,
Lyon 1, and Lyon Ecole Normale Superieure. Funding is available at
all of these places for Logic PhD students from elsewhere to pay
short-term visits (for at least 3 months). There is also funding
available for several 36 month Logic PhD studentships. A student
requiring 36 months of funding must start by 1 September
2005. There are Marie Curie eligibility restrictions based on
mobility, nationality, and experience.
* For more information, see webpage or contact Dugald
Macpherson (h.d.macpherson@leeds.ac.uk)
17TH INTERNATIONAL SCHOOL FOR COMPUTER SCIENCE RESEARCHERS AND GRADUATE
STUDENTS ON "FORMAL METHODS: THEORY AND PRACTICE"
Lipari Island, Italy,
July 10-23, 2005
* SPEAKERS:
RAJEEV ALUR (UPenn)
"Modeling and analysis of Hybrid and Embedded Systems"
ED CLARKE (CMU)
"Abstraction in Model Checking"
TOM HENZINGER (EPFL)
"Games in System Design and Verification"
DANIEL JACKSON (MIT)
"Relational Logic for Software Design"
ZOHAR MANNA (Stanford)
"Practical Static Analysis of Software Systems"
SRIRAM RAJAMANI (Microsoft Research)
"Software Model Checking"
MOSHE VARDI (Rice)
"The Automata-Theoretic Approach to Verification"
* DIRECTORS:
ALFREDO FERRO (Catania)
ZOHAR MANNA (Stanford)
* For more information and registration, see web site:
http://lipari.cs.unict.it/lipari/index.htm
* If you have any questions, contact Alfredo Ferro
ICCL SUMMER SCHOOL 2005: LOGIC-BASED KNOWLEDGE REPRESENTATION
Technische Universitat Dresden
2nd-17th July 2005
Call for Participation
http://www.computational-logic.org/iccl-ss-2005
* The advantage of logic-based approaches for symbolic
knowledge representation is that they provide the
representation formalism with a formally well-founded
semantics, which makes both the represented knowledge
and the behavior of knowledge representation systems
deducing implicit knowledge from the explicitly represented
one comprehensible. The disadvantage is that the inference
problems may become intractable or even undecidable if
the expressive power of the formalism is large enough.
For this reason, early systems employing the logic-based
approach were either too inexpressive or too slow.
* This situation has changed drastically in the last 10-15 years.
This is partially due to increased computing power. More
importantly, however, were the recent theoretical and practical
advances in the field of logic-based knowledge representation.
The summer school will focus on several of the most successful
subfields of this active research area:
- reasoning about action and change,
- nonmonotonic reasoning,
- description logics and ontologies, and
- action planning.
* Preferred registration by April 9, 2005.
* For details see webpage
ACKERMANN AWARD - THE EACSL OUTSTANDING DISSERTATION AWARD
FOR LOGIC IN COMPUTER SCIENCE
Second Call for Submissions
* The EACSL Board has decided to launch the ACKERMANN Award,
the EACSL Outstanding Dissertation Award for Logic in Computer Science.
* The ACKERMANN Award will be presented to the recipients
at the annual conference of the EACSL (CSL'xx).
The jury is entitled to give more than one award per year.
The first ACKERMANN Award will be presented at CSL'05.
* Eligible for the 2005 ACKERMANN Award are PhD dissertations
in topics specified by the EACSL and LICS conferences,
which were formally accepted as PhD theses at a university or
equivalent institution between 1.1. 2003 and 31.12. 2004.
* The deadline for submission is 31.3.2005
Submission details follow below.
* The award consists of
- a diploma,
- an invitation to present the thesis at the CSL conference,
- the publication of the abstract of the thesis and the
laudatio in the CSL proceedings,
- travel support to attend the conference.
* The jury consists of seven members,
three of them ex officio, namely the president (J. Makowsky, Haifa)
and the vice-president (D. Niwinski, Warsaw) of EACSL, and one
member of the LICS organizing committee (S. Abramsky, Oxford).
The other members of the jury are currently
- B. Courcelle (Bordeaux)
- E. Graedel (Aachen)
- M. Hyland (Cambridge)
- A. Razborov (Moscow and Princeton)
* The candidate or his/her supervisor has to submit
a) the thesis (ps or pdf file);
b) a detailed description (not longer than 20 pages)
of the thesis in ENGLISH (ps or pdf file);
c) a supporting letter by the PhD advisor and
two supporting letters by other senior faculty or researchers
in equivalent positions (in English);
d) a copy of the document asserting that the thesis was accepted
as a PhD thesis at a recognized University (or equivalent institution)
and that the candidate has received his/her PhD within
the specified period;
e) a short CV of the candidate.
* For more details see: http://www.dimi.uniud.it/~eacsl/award
and http://www.cs.technion.ac.il/eacsl
POSTDOCTORAL POSITION ON COORDINATION LANGUAGES AND WEB SERVICES
University of Namur, Belgium
* In the framework of the "Namur Institutional Programme of postdoctoral
grants", a one-year postdoctoral position is available on the subject
of coordination languages and web services at the University of Namur,
Belgium.
* Application deadline: 1st March 2005
* For more details see:
http://www.fundp.ac.be/recherche/Postdoc_FUNDP_CERUNA_2005.pdf
* For scientific questions about the project, please contact
Prof. Jean-Marie Jacquet (email: jmj@info.fundp.ac.be,
web: http://www.info.fundp.ac.be/~jmj).
* For general questions regarding the application, please
contact Prof. Paul Thiry (email: paul.thiry@fundp.ac.be).
Back to the LICS web page.