Newsletter 102
December 23, 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
* To unsubscribe, send an email with "unsubscribe" in the
subject line to lics@informatik.hu-berlin.de
*******************************************************************
TABLE OF CONTENTS
* CONFERENCES AND WORKSHOPS
CMCS 2006 - Second Call for Papers
EAAI'06 - Call for Papers
MFPS 2006 - First Announcement and Call for Papers
COORDINATION 2006 - Second Call for Papers
LICS 2006 - Call for Papers
Verification And Debugging - Call for Papers
Perspectives of System Informatics - Second Call for Papers
CSFW - Call for Papers
SIROCCO 2006 - Call for Papers
HyLo 2006 - Call for Papers
RTA 2006 - Call for Papers
ICLP'06 - Second Call for Papers
TCS 2006 - Call for Papers
STRUCTURAL OPERATIONAL SEMANTICS 2006 - Call for Papers
MFCS 2006 - Call for Papers
Logic and Combinatorics - First Announcement
AiML 2006 - Call for Papers
* VACANCIES
Two Open Positions in the CooPer Project, CWI, Amsterdam, The Netherlands
Postdoctoral Research Fellowship, University of Birmingham
Full-time academic position, Computing Science, UCLouvain. Belgium
WORKSHOP ON COALGEBRAIC METHODS IN COMPUTER SCIENCE (CMCS 2006)
March 25-27, 2006
Vienna, Austria
2nd Call for Papers
* 8th International Workshop on Coalgebraic Methods in Computer Science
http://conferences.inf.ed.ac.uk/cmcs06/cmcs06.html
* The workshop will be held in conjunction with the 9th European Joint
Conferences on Theory and Practice of Software ETAPS 2006
March 25 - April 2, 2006
* Aims and Scope
During the last few years, it has become increasingly clear that a
great variety of state-based dynamical systems, like transition
systems, automata, process calculi and class-based systems, can be
captured uniformly as coalgebras. Coalgebra is developing into a
field of its own interest presenting a deep mathematical foundation, a
growing field of applications and interactions with various other
fields such as reactive and interactive system theory, object oriented
and concurrent programming, formal system specification, modal logic,
dynamical systems, control systems, category theory, algebra,
analysis, etc. The aim of the workshop is to bring together
researchers with a common interest in the theory of coalgebras and its
applications.
* The topics of the workshop include, but are not limited to:
- the theory of coalgebras (including set theoretic and
categorical approaches);
- coalgebras as computational and semantical models (for
programming languages, dynamical systems, etc.);
- coalgebras in (functional, object-oriented, concurrent) programming;
- coalgebras and data types;
- (coinductive) definition and proof principles for coalgebras
(with bisimulations or invariants);
- coalgebras and algebras;
- coalgebraic specification and verification;
- coalgebras and (modal) logic;
- coalgebra and control theory (notably of discrete event and
hybrid systems).
* Programme Committee
- John Power (chair,Edinburgh),
- Luis Barbosa (Minho),
- Neil Ghani (Nottingham),
- H. Peter Gumm (Marburg),
- Marina Lenisa (Udine),
- Stefan Milius (Braunschweig),
- Larry Moss (Bloomington),
- Jan Rutten (Amsterdam),
- Hendrik Tews (Dresden),
- Tarmo Uustalu (Tallinn),
- Hiroshi Watanabe (Osaka).
* Keynote Speaker:
Peter O'Hearn (Queen Mary, University of London)
* Invited Speakers:
Corina Cirstea (University of Southampton)
Alexander Kurz (University of Leicester)
* Submissions
Two sorts of submissions will be possible this year:
- Papers to be evaluated by the programme committee for inclusion
in the ENTCS proceedings:
These papers must be written using ENTCS style files and be of
length no greater than 20 pages. They must contain original
contributions, be clearly written, and include appropriate
reference to and comparison with related work. If a submission
describes software, software tools, or their use, it should include
all source code that is needed to reproduce the results but is
not publicly available. If the additional material exceeds 5 MB,
URL's of publicly available sites should be provided in the paper.
- Short contributions:
These will not be published but will be compiled into a technical
report of the University of Nottingham. They should be no more than
two pages and may describe work in progress, summarise work submitted
to a conference or workshop elsewhere, or in some other way appeal to
the CMCS audience.
- Both sorts of submission should be submitted in postscript or pdf form
as attachments to an email to cmcs06@cs.nott.ac.uk. The email
should include the title, corresponding author, and, for the first
kind of submission, a text-only one-page abstract.
- After the workshop, we expect to produce a journal proceedings of
extended versions of selected papers to appear in Theoretical Computer
Science.
* Important Dates
- Deadline for submission of regular papers: January 8, 2006.
- Notification of acceptance of regular papers: February 6, 2006.
- Final version for the preliminary proceedings: February 13, 2006.
- Deadline for submission of short contributions: February 28,2006.
- Notification of acceptance of short contributions: March 6, 2006.
* For more information, please write to cmcs06@cs.nott.ac.uk.
EMERGING APPLICATIONS OF ABSTRACT INTERPRETATION (EAAI'06)
March 26th 2006,
Vienna, Austria
http://www.math.unipd.it/EAAI06
* First International Workshop on Emerging Applications of Abstract
Interpretation (EAAI'06)
A Satellite Event of ETAPS 2006
* Aims and Scope
Abstract interpretation is almost 30 years old. These 30 years
witnessed a great success of this methodology, in particular in
analysis and verification of programming languages and systems: static
program analysis, program compilers, program verification, program
transformation, program semantics. This workshop focusses on emerging
applications of abstract interpretation in nontraditional or even
innovative areas, like security, model checking, embedded and
real-time systems, systems biology, software watermarking and
obfuscation, hardware verification, etc. The workshop aim is to
spread the methods of abstract interpretation towards nontraditional
areas and to share common experiences in using abstract interpretation
as an approximation technique.
* Topics of interest include all the applications of abstract
interpretation in nontraditional fields, like:
- hardware/software security
- safety-critical hardware/software systems
- hardware/software model checking
- hardware/software verification
- very large software systems
- embedded, real-time and reactive systems
- software watermarking and obfuscation
- process algebra
- artificial intelligence
- automated deduction
- systems biology
- quantum computing
- global computing
- grid computing
* Important Dates
Paper submission: 8 January 2006
Notification: 27 January 2006
Camera-ready: 9 February 2006
* Program Committee
- Anindya Banerjee (US)
- Bruno Blanchet (FR)
- Radhia Cousot (FR)
- Saumya Debray (US)
- Roberto Giacobazzi (IT, co-chair)
- David Monniaux (FR)
- Alan Mycroft (UK)
- Francesco Ranzato (IT, co-chair)
- Hanne Riis Nielson (DK)
- Helmut Veith (DE)
* Submission
Authors are invited to submit papers up to 15 pages. Contributions
should report about ongoing research in the emerging applications of
abstract interpretation according to the scope and objectives of the
workshop. Position papers are also encouraged. Electronic submissions
in pdf or postscript format should be sent via email to:
. Workshop proceedings will be distributed by
the organizers of ETAPS'06. Depending on the number and quality
of submissions, we will pursue the publication of post-proceedings of
selected papers as a journal special issue.
* Invited Speaker
Germán Puebla (Universidad Politécnica de Madrid, ES)
* Organizers
- Roberto Giacobazzi
University of Verona
email: roberto.giacobazzi[AT]univr.it
- Francesco Ranzato
University of Padova
email: franz[AT]math.unipd.it
MATHEMATICAL FOUNDATIONS OF PROGRAMMING SEMANTICS (MFPS 2006)
May 24 - May 27, 2006
Genova, Italy
First Announcement and Call for Papers
* Twenty-second Conference on the Mathematical Foundations of
Programming Semantics
University of Genoa
Genova Italy
* The Twenty-second Conference on the Mathematical Foundations of
Programming Semantics will take place at the University of Genoa,
Italy from Wednesday, May 24 through Saturday, May 27, 2006.
* Invited Speakers
- Marcelo Fiore, Cambridge
- Eugenio Moggi, Genova
- Prakash Panangaden, McGill
- Davide Sangiorgi, Bologna
- Peter Selinger, Dalhousie
- Steve Zdancewic, Penn
* In addition to the invited addresses, there will be a Special Session
on Security organized by Catherine Meadows. Other special sessions
also are planned, and details will be announced as they are available.
There also will be a Tutorial Day on May 23 devoted to Separation
Logic. Details about this event also will be forthcoming later.
* The remainder of the program will be composed of papers selected by
the Program Committee from submissions received in response to this
Call for Papers. The Program Committee is being chaired by Stephen
Brookes (CMU) and Michael Mislove (Tulane). It also includes:
- Mariangiola Dezani-Ciancaglini (Torino)
- Martin Escard (Birmingham)
- Joshua Guttman (Mitre)
- Cedric Fournet (Microsoft)
- Radha Jagadeesan (DePaul)
- Achim Jung (Birmingham)
- Peeter Laud (Tartu)
- Catherine Meadows (NRL)
- Catuscia Palamidessi (INRIA)
- Prakash Panangaden McGill)
- Robert Segala (Vernoa)
- Phil Scott (Ottawa)
- Simona Ronchi della Rocha (Torino)
- Alex Simpson (Edinburgh)
* Submissions should consist of original work that has not been
published elsewhere. Submissions should be no longer than 12 pages,
and they should be in the form of either PostScript or pdf files that
can be printed on a standard printer. They can be made using the link
that will be available on the MFPS 22 Home Page
http://www.math.tulane.edu/~mfps/mfps22.htm - submissions will open in
early January.
* Submissions must be received by midnight, Pacific Standard Time on
Friday, February 15, 2005. Authors will be notified of acceptance by
March 25, 2005.
* The MFPS conferences are devoted to those areas of mathematics, logic
and computer science which are related to the semantics of programming
languages. The series particularly has stressed providing a forum
where both mathematicians and computer scientists can meet and
exchange ideas about problems of common interest. We also encourage
participation by researchers in neighboring areas, since we strive to
maintain breadth in the scope of the series.
* The Organizing Committee for MFPS consists of Stephen Brookes (CMU),
Achim Jung (Birmingham), Catherine Meadows (NRL), Michael Mislove
(Tulane) and Prakash Panangaden (McGill). The local arrangements for
MFPS XXI are being overseen by Giuseppe Rosolini (Genova).
* Information about MFPS XXII can be found at the URL
http://www.math.tulane.edu/~mfps/mfps22.htm
If you have problems accessing the link above, then send email to
mfps@math.tulane.edu.
COORDINATION 2006
14-16 June 2006
Bologna, Italy
Second Call for Papers
* 8th International Conference on Coordination Models and Languages
http://www.cs.unibo.it/discotec06/Coordination06
as part of
DisCoTec'06 - Distributed Computing Techniques
co-located with DAIS'06 & FMOODS'06
http://www.cs.unibo.it/discotec06
* Important Dates
- Submission of abstract: 10 January 2006
- Submission of papers: 17 January 2006
- Notification of acceptance: 7 March 2006
- Final version: 28 March 2006
- Conference: 14-16 June 2006
* Conference Goals
Modern information systems rely increasingly on combining concurrent,
distributed, mobile, reconfigurable and heterogenous components. New
models, architectures, languages, verification techniques are
necessary to cope with the complexity induced by the demands of
today's software development. Coordination languages have emerged as a
successful approach, in that they provide abstractions that cleanly
separate behavior from communication, therefore increasing modularity,
simplifying reasoning, and ultimately enhancing software development.
* Previous Editions
The previous editions of COORDINATION took place in Cesena (Italy),
Berlin (Germany), Amsterdam (Netherlands), Limassol (Cyprus), York
(UK), Pisa (Italy) and Namur (Belgium). More details are available at
http://www.coordination2005.org.
* Topics of Interest
They include but are not limited to:
- Theoretical models and foundations for coordination: component
composition, concurrency, mobility, dynamic aspects of coordination,
emergent behavior.
- Specification, refinement, and analysis of software architectures:
patterns and styles, verification of functional and non-functional
properties.
- Coordination, architectural, and interface definition languages:
implementation, interoperability, heterogeneity.
- Multiagent systems and coordination: models, languages,
infrastructures.
- Dynamic software architectures: mobile code and agents,
configuration, reconfiguration, self-organization.
- Coordination and modern distributed computing: Web services,
peer-to-peer networks, grid computing, context-awareness, ubiquitous
computing.
- Programming languages, middleware, tools, and environments for the
development of coordinated applications
- Industrial relevance of coordination and software architectures:
programming in the large, domain-specific software architectures and
coordination models, case studies.
- Interdisciplinary aspects of coordination
* Proceedings
Proceedings of previous editions of this conference were published by
Springer in the Lecture Notes in Computer Science (LNCS) series.
The intention is to continue this series.
* Submission Instructions
- Authors are invited to submit full papers electronically in PostScript
or PDF using a two-phase online submission process. Registration of
the paper information and abstract (max. 250 words) must be completed
before 10 January 2006. Submission of the full paper is due no later
than 17 January 2006. Further instructions on the submission procedure
will be published at http://www.cs.unibo.it/discotec06/Coordination06.
- Submissions must be formatted according to the LNCS guidelines (see
http://www.springer.de/comp/lncs/authors.html) and must not exceed 15
pages in length. Papers that are not in the requested format or
significantly exceed the mandated length may be rejected without going
through the review phase.
- Submissions should explicitly state their contribution and their
relevance to the theme of the conference. Other criteria for selection
will be originality, significance, correctness, and clarity.
- Simultaneous or similar submissions to other conferences or journals
are not allowed.
* Conference Location
The conference will be hosted by the Department of Computer Science
of the University of Bologna.
* Program Committee
Co-Chairs
- Paolo Ciancarini, University of Bologna, Italy
- Herbert Wiklicky, Imperial College London, UK
Members
- Farhad Arbab CWI Amsterdam, The Netherlands
- Antonio Brogi University of Pisa, Italy
- Wolfgang Emmerich University College London, UK
- Frank de Boer CWI & Utrecht University, The Netherlands
- Jean-Marie Jacquet University of Namur, Belgium
- Josst Kok Leiden University, The Netherlands
- Toby Lehman IBM Almaden, US
- D.C. Marinescu University of Central Florida, US
- Ronaldo Menezes Florida Institute of Technology, US
- Andrea Omicini University of Bologna, Italy
- Paolo Petta OeFAI, Austria
- Gian Pietro Picco Politecnico di Milano, Italy
- Ernesto Pimentel University of Malaga, Spain
- Rosario Pugliese University of Florence, Italy
- Gruia Catalin Roman Washington University, USA
- Robert Tolksdorf FU Berlin, Germany
- Emilio Tuosto University of Leicester, UK
- Carlos Varela Rensselaer Polytechnic Institute, US
- Alan Wood University of York, UK
LOGIC IN COMPUTER SCIENCE (LICS 2006)
August 12th - 15th, 2006,
Seattle, Washington
Call for Papers
http://www.informatik.hu-berlin.de/lics/lics06/
* Twenty-First Annual IEEE Symposium on Logic in Computer Science (LICS 2006)
The LICS Symposium is an annual international forum on theoretical and
practical topics in computer science that relate to logic broadly construed.
LICS 2006 will be organized as part of the Fourth Federated Logic Conference
(FLoC 2006) to be held in Seattle from August 10 to August 22, 2006.
Visit http://research.microsoft.com/floc06/ for information regarding
FLoC 2006 and the participating meetings.
* Suggested, but not exclusive, topics of interest for LICS 2006 include:
automata theory, automated deduction, categorical models and logics,
concurrency and distributed computation, constraint programming,
constructive mathematics, database theory, domain theory, finite model
theory, formal aspects of program analysis, formal methods, hybrid systems,
lambda and combinatory calculi, linear logic, logical aspects of
computational complexity, logics in artificial intelligence, logics of
programs, logic programming, modal and temporal logics, model checking,
probabilistic systems, process calculi, programming language semantics,
reasoning about security, rewriting, specifications, type systems and type
theory, and verification. We welcome submissions in emergent areas, such as
bioinformatics and quantum computation, if they have a substantial
connection with logic.
* Important Dates
Authors are required to submit a paper title and a short abstract of about
100 words before submitting the extended abstract of the paper. All submissions
will be electronic.
* Important Dates
- Paper Registration Deadline (with titles & short abstracts): February 3, 2006
- Paper Submission Deadline: February 10, 2006
- Author notification: April 14, 2006
- Final versions for the proceedings: May 5, 2006.
All deadlines are firm; late submissions will not be considered.
Detailed information about electronic paper submission will
be posted at the LICS 2006 web site.
* Submission instructions:
Extended abstracts may be no longer than 10 pages including references, and
must be formatted in the IEEE Proceedings two-column camera-ready style
(IEEE style files will be accessible from the LICS 2006 web site).
If necessary, detailed proofs of technical results can be included in a
clearly-labeled appendix in the same two-column format following the
10-page extended abstract or there can be a pointer to a manuscript on a
web site. This material may be read at the discretion of the program committee.
Extended abstracts not conforming to the above requirements
concerning format and length may be rejected without further
consideration.
* Short Presentations
LICS 2006 will have a session of short (5-10 minutes) presentations.
This session is intended for descriptions of work in progress, student
projects, and relevant research being published elsewhere; other brief
communications may be acceptable. Submissions for these presentations,
in the form of short abstracts (1 or 2 pages long), should be entered
at the LICS 2006 submission site between 15th April and 21st April 2006.
Authors will be notified of acceptance or rejection by 28th April 2006.
* Kleene Award for Best Student Paper:
An award in honor of the late S.C. Kleene will be given for the best
student paper, as judged by the program committee. Details concerning
eligibility criteria and procedure for consideration for this award will be
posted at the LICS web site. The program committee may decline to make the
award or may split it among several papers.
* Invited Speakers
The following distinguished speakers have agreed to give invited talks at
LICS 2006:
- Andreas Blass (Univ. of Michigan, Ann Arbor, USA),
- Andy Gordon (Microsoft Research, Cambridge, UK),
- Orna Kupferman (Hebrew Univ., Israel);
- the LICS/RTA/SAT joint plenary invited speaker is
Randy Bryant (Carnegie Mellon Univ., USA);
- the invited speakers at the FLoC session celebrating the
birth centennial of Kurt Goedel are
John Dawson (Pennsylvania State Univ., York, USA) and
Dana Scott (Carnegie Mellon Univ., USA).
* Colocated Events
The following conferences are colocated with LICS at FLoC 2006:
CAV, ICLP, IJCAR, RTA, SAT; visit the FLoC 2006 homepage at
http://research.microsoft.com/floc06/ for details.
There will also be a number of workshops sponsored by the FLoC conferences.
Details on workshops affiliated with LICS, in particular, can be found at the
LICS 2006 web site.
* Sponsorship
The symposium is sponsored by the IEEE Technical Committee on Mathematical
Foundations of Computing.
* Program Chair
Rajeev Alur, Univ. of Pennsylvania
* Program Committee:
- Luca Aceto, Reykjavik Univ., Iceland and Aalborg Univ., Denmark
- Rajeev Alur, Univ. of Pennsylvania, USA
- Christel Baier, Univ. of Bonn, Germany
- Maria Luisa Bonet, Polytechnic Univ. of Catalunya, Spain
- Flavio Corradini, Univ. of Camarino, Italy
- Victor Dalmau, Univ. Pompeu Fabra, Spain
- Thomas Eiter, TU Vienna, Austria
- Kousha Etessami, Univ. of Edinburgh, UK
- Amy Felty, Univ. of Ottawa, Canada
- Cedric Fournet, Microsoft Research, UK
- Patrice Godefroid, Bell Labs, USA
- Jason Hickey, California Institute of Technology, USA
- Radha Jagadeesan, DePaul Univ., USA
- Leonid Libkin, Univ. of Toronto, Canada
- Patrick Lincoln, SRI, USA
- Yoram Moses, Technion, Israel
- George Necula, Univ. of California at Berkeley, USA
- Joel Ouaknine, Oxford Univ., UK
- Davide Sangiorgi, Univ. of Bologna, Italy
- Mahesh Viswanathan, Univ. of Illinois at Urbana-Champaign, USA
- Thomas Wilke, Univ. of Kiel, Germany
* Conference Chair
Magus Veanes, Microsoft Research, Redmond, USA
* Workshop Chair
Philip J. Scott, Univ. of Ottawa, Canada
* Publicity co-chairs:
- Stephan Kreutzer, Humboldt-University Berlin, Germany
- Nicole Schweikardt, Humboldt-University Berlin, Germany
* General chair:
Phokion G. Kolaitis, IBM Almaden Research Center and
Univ. of California, Santa Cruz, USA
* Organizing committee
- Samson Abramsky,
- Rajeev Alur,
- Franz Baader,
- Andrei Broder,
- Samuel Buss,
- Edmund Clarke,
- Amy Felty,
- Hal Gabow,
- Lauri Hella,
- Radhakrishnan Jagadeesan,
- Alan Jeffrey,
- Phokion Kolaitis (chair),
- Stephan Kreutzer,
- Johann Makowsky,
- John Mitchell,
- Mogens Nielsen,
- Prakash Panangaden,
- Femke van Raamsdonk,
- Philip Scott,
- Nicole Schweikardt,
- Magus Veanes,
- Andrei Voronkov
* Advisory board
- Robert Constable,
- Yuri Gurevich,
- Claude Kirchner,
- Dexter Kozen,
- Ursula Martin,
- Albert Meyer,
- Leszek Pacholski,
- Vaughan Pratt,
- Andre Scedrov,
- Dana S. Scott,
- Moshe Y. Vardi,
- Glynn Winskel
VERIFICATION AND DEBUGGING
Associated with CAV 2006
16-21 August
Seattle, USA
Call For Papers
* 1st Workshop on Verification And Debugging
* The workshop addresses the technologies and methodologies that need to
be employed after verification has detected the presence of a bug. It
aims to combine the efforts of the computer-aided verification and
software engineering communities, attracting work in the areas of
algorithms, tools, and methodologies for failure analysis. We welcome
submissions addressing debugging of software, circuit designs, or
combinations of the two.
* Topics of interest include
- explanation and simplification of error traces,
- fault localization,
- rectification of the design, the specification, or the
environment description,
- test case generation for debugging,
- debugging techniques,
- methodologies that facilitate debugging,
- overviews that provide a novel view of the state of the art and
stimulate discussion and further research, and
- empirical studies on debugging.
* Papers should contain original research, and sufficient detail to
assess the merits and relevance of the contribution. For papers
reporting experimental results, authors are strongly encouraged to
make their data available with their submission. Simultaneous
submission to other conferences with proceedings or submission of
material that has already been published elsewhere is not allowed.
* Important Dates
- Paper submission deadline: 24 April 2006
- Notice of acceptance/rejection: 22 May 2006
- Final version due: 19 June 2006
- CAV conference: 16-21 August
* The 2006 conference on Computer-Aided Verification will be a part of
the Federated Logic Conference in Seattle. The workshop will be held
right before or right after CAV.
* Further info
Details of the submission process, the date of the workshop, and the
way in which the accepted papers will be published will be made
available at http://www.ist.tugraz.at/vandd.html. The program
committee can be reached at vandd2006@ist.tu-graz.ac.at.
* For further info on FLOC, see http://research.microsoft.com/floc06/.
* Program Committee
- Roderick Bloem (Graz University of Technology),
- Alex Groce (Laboratory for Reliable Software, Jet Propulsion Laboratory),
- John Moondanos (Future Formal Technologies Group, Logic Design Group, Intel),
- Marco Roveri (ITC-irst),
- Fabio Somenzi (University of Colorado at Boulder),
- Markus Stumptner (University of South Australia), and
- Andreas Zeller (University of Saarbruecken).
PERSPECTIVES OF SYSTEM INFORMATICS
27-30 June 2006,
Novosibirsk, Akademgorodok, Russia
Second Call for Papers
* Sixth International Andrei Ershov Memorial Conference
Perspectives of System Informatics
http://www.iis.nsk.su/PSI06
* Aims and Scope
The conference is held to honor the 75th anniversary of academician
Andrei Ershov (1931-1988) and his outstanding contributions towards
advancing informatics. The first five conferences were held in 1991,
1996, 1999, 2001 and 2003, respectively, and
proved to be significant international events.
* The aim of the conference is to provide a forum for the presentation
and in-depth discussion of advanced research directions in
computer science. For a developing science, it is important to work
out consolidating ideas, concepts and models. Movement in
this direction is another aim of the conference. Improvement
of the contacts and exchange of ideas between researchers from the
East and West are further goals.
* Conference Chair
- Alexander Marchuk
A. P. Ershov Institute of Informatics Systems
Novosibirsk, Russia
* Steering Committee
- Dines Bjorner, Institute of Informatics and Mathematical Modelling
Denmark
- Manfred Broy, Institut fur Informatik, TU Munchen, Germany
- Alexandre Zamulin, A. P. Ershov Institute of Informatics Systems
Novosibirsk, Russia
* Program Committee co-chairs
- Irina Virbitskaite, A. P. Ershov Institute of Informatics Systems
Novosibirsk, Russia
- Andrey Voronkov
Microsoft Research
Redmond, USA
* Conference Secretary
- Natalia Cheremnykh
A. P. Ershov Institute of Informatics Systems
6, Acad. Lavrentjev pr.
630090 Novosibirsk, Russia
tel.: +7-383-3307352
fax: +7-383-3323494
e-mail: psi06@iis.nsk.su
* Conference Topics
Conference topics include:
1. Foundations of Program and System Development and Analysis
- specification, validation, and verification techniques,
- program analysis, transformation and synthesis,
- semantics, logic and formal models of programs,
- partial evaluation, mixed computation, abstract interpretation,
compiler construction,
- theorem proving and model checking,
- concurrency theory,
- modeling and analysis of real-time and hybrid systems,
- computer models and algorithms for bioinformatics.
2. Programming Methodology and Software Engineering
- object-oriented, aspect-oriented, component-based and generic
programming,
- programming by contract,
- program and system construction for parallel and distributed
computing,
- constraint programming,
- multi-agent technology,
- system re-engineering and reuse,
- integrated programming environments,
- software architectures,
- software development and testing,
- model-driven system/software development,
- agile software development,
- tools for software engineering,
- program understanding and visualization.
3. Information Technologies
- data models,
- database and information systems,
- knowledge-based systems and knowledge engineering,
- ontologies and semantic Web,
- digital libraries, collections and archives, Web publishing,
- peer-to-peer data management.
In addition to papers in the above list of topics, papers both bridging
the gap between different
directions and promoting mutual understanding of researchers
are welcome.
Papers defining the general prospects in Computer Science
are also encouraged.
* Program Committee Members
- Scott W. Ambler, Ambysoft Inc., Toronto, Canada
Egidio Astesiano, Univ. Genova, Italy
- Janis Barzdins, Univ. Latvia, Riga, Latvia
- Frederic Benhamou, Univ. Nantes, France
Stefan Brass, Univ. Halle, Germany
- Ed Brinksma, Univ. Twente, The Netherlands
- Kim Bruce, Pomona College, California, USA
- Mikhail Bulyonkov, IIS SB RAS, Novosibirsk, Russia
- Albertas Caplinskas, IMI, Vilnius, Lithuania
- Sung-Deok Cha, KAIST, Taejon, South Korea
- Gabriel Ciobanu, Inst. Comp. Sc. RA, Iasi, Romania
- Paul C. Clements, Carnegie-Mellon Univ., USA
- Miklos Csuroes, Univ. Montreal, Canada
- Serge Demeyer, Univ. of Antwerp, Belgium
- Alexander Dikovsky, Univ. Nantes, France
- Javier Esparza, Univ. Stuttgart, Germany
Jean Claude Fernandez, Univ. J. Fourier, Grenoble, France
- Chris George, UNU/ IIST, Macau
- Ivan Golosov, Intel, Novosibirsk, Russia
Jan Friso Groote, Eindhoven Univ. of Technology, The Netherlands
- Alan Hartman, IBM Haifa Research Lab., Israel
- Victor Ivannikov, IPS RAS, Moscow, Russia
- Victor Kasyanov, IIS SB RAS, Novosibirsk, Russia
- Joost-Pieter Katoen, RWTH Aachen Univ., Germany
- Alexander Kleschev, IACP RAS, Vladivostok, Russia
- Nikolay Kolchanov, ICiG, Novosibirsk,, Russia
- Gregory Kucherov, INRIA/LORIA, Nancy, France
- Johan Lilius, Abo Akademi Iniv. Turku, Finland
- Dominique Mery, Univ. Henri Poincare, Nancy, France
- Torben Mogensen, Univ. Copenhagen, Denmark
- Bernhard Moeller, Univ. Augsburg, Germany
Hanspeter Moessenboeck, JK Univ. Linz, Austria
- Peter Mosses, Univ. Wales, Swansea, UK
- Ron Morrison, St Andrews Univ., UK
Peter Mueller, ETH Zurich, Switzerland
- Fedor Murzin, IIS SB RAS, Novosibirsk, Russia
- Valery Nepomniaschy, IIS SB RAS, Russia
- Nikolaj Nikitchenko, Nat. Univ. Kiev, Ukraine
- Jose R. Parama, Univ. A Coruna, Spain
- Francesco Parisi-Presicce, GM Univ., Virginia, USA
- Wojciech Penczek, Inst. Comp. Sci., Warsaw, Poland
- Jaan Penjam, Tallinn Tech. Univ., Estonia
- Peter Pepper, Tech. Univ. Berlin, Germany
- Alexander Petrenko, IPS RAS, Moscow, Russia
- Jaroslav Pokorny, Charles U., Prague, Czech Republic
- Wolfgang Reisig, Tech. Univ. Berlin, Germany
Viktor Sabelfeld, Univ. Karlsruhe, Germany
- Timos Sellis, Nation. Tech. Univ. Athens, Greece
- Alexander Semenov, Intel, Novosibirsk, Russia
Klaus-Dieter Schewe, Massey Univ, PN, New Zealand
- David Schmidt, Kansas State Univ., Manhattan, USA
- Sibylle Schupp, Chalmers Univ. Tech., Sweden
- Nikolay Shilov, IIS SB RAS, Novosibirsk, Russia
- Alexander Tomilin, IPS RAS, Moscow, Russia
- Enn Tyugu, Inst. Cybernetics, Tallinn, Estonia
- Alexander L. Wolf, Univ. Colorado at Boulder, USA
- Tatyana Yakhno, Dokuz Eylul Univ., Izmir, Turkey
- Wang Yi, Uppsala Univ., Sweden
* Invited Speakers
- Amir Pnueli (Weizmann Inst. Science, Rehovot, Israel)
- Eike Best (Univ. Oldenburg, Germany)
- Robert Harper (Carnegie Mellon Univ., Pittsburgh, USA)
- Rustan Leino (Microsoft Research, Redmond, USA)
- Alexander Letichevsky (Inst. Cybernetics, Kiev, Ukraine)
- Gordon Plotkin (Univ. Edinburgh, UK (unconfirmed))
* Location
The conference will be held in Akademgorodok (Academy town), 30 km South
from Novosibirsk, the largest city of Siberia. Akademgorodok is
located in a picturesque place near the Ob lake. It is surrounded
with birch and pine forests and pleasant not only for work but
for recreation as well. Silence, beautiful landscape, and pure
air are the factors promoting scientific activity and
creativity.
* Submissions
Submissions for extended abstracts must:
- Contain original contributions that have not been published or submitted to other conferences/journals
in parallel with this conference.
- Clearly state the problem being addressed, the goal of the work, the results achieved,
and the relation to other work.
- Be in PS or PDF and formatted according to Springer LNCS Information for Authors:
http://www.springeronline.com
- Have a length that does not exceed 10 pages for a regular talk and 5 pages for a short talk.
- Be in English and in a form that can be immediately included in the proceedings
without major revision.
- Be sent electronically (as a PostScript or PDF file) using website
http://www.easychair.org/PSI2006/submit/ not later than January 23, 2006
* Conference Proceedings
A book of extended abstracts of invited and accepted talks will be available
at the conference. The full versions of the papers presented at the conference
(roughly, 14 pages long for a regular
talk and 7 pages long for a short talk) will be published by
Springer-Verlag in the Lecture
Notes in Computer Science series after the conference.
* Satellite Workshops
Additionally the following workshops will be satellite events of PSI06:
- Educational Informatics
(the workshop page is http://www.iis.nsk.su/psi06/education/index_e.shtml),
- Program Understanding which will be held in Altai mountains
(the workshop page is http://www.iis.nsk.su/psi06/p_understanding/index_e.shtml),
* Important Dates
- January 23, 2006: submission deadline of extended abstracts
- April 7, 2006: notification of acceptance
- June 27-30, 2006: the conference dates
- September 1, 2006: final papers due
COMPUTER SECURITY FOUNDATIONS WORKSHOP (CSFW)
5-7 July 2006
Venice
Call for Papers
http://www.dsi.unive.it/CSFW19/
* Theme.
Foundational issues in information security. Cryptographic
protocols and distributed systems security; non-interference and
information flow; trust management and access control; security and
mobility; language-based security; anonymity, privacy, and voting;
etc.
* Submission Deadlines:
Abstracts due 30 January 2006;
Full submissions due 3 February 2006.
* Immediately precedes ICALP in same venue.
* Program committee.
- Michael Backes,
- David Basin,
- Bruno Blanchet,
- Gérard Boudol,
- Ran Canetti,
- Véronique Cortier,
- Pierpaolo Degano,
- Sandro Etalle,
- Riccardo Focardi,
- Andrew Gordon,
- Joshua Guttman (Chair),
- Matthew Hennessy,
- Alan Jeffrey,
- Gavin Lowe,
- Jonathan Millen,
- John Mitchell,
- Andrew Myers,
- Michael Rusinowitch,
- Mark Ryan,
- Andrei Sabelfeld,
- Andre Scedrov,
- Steve Schneider,
- Vitaly Shmatikov,
- Lenore Zuck.
SIROCCO 2006
July 3-5, 2006,
Chester, United Kingdom
http://sirocco06.csc.liv.ac.uk/
* Conference
The Colloquia on Structural Information and Communication Complexity
(SIROCCO) focus on the relationship between computing and communication,
i.e., the study of those factors that are significant for the computability
and the communication complexity of problems and on the interplay between
structure, knowledge and complexity. The Colloquia provide an opportunity
to bring together specialists interested in the fundamental principles
underlying all computing through communication.
SIROCCO prides itself on being a lively venue, which encourages
the emergence of new research areas (related to distributed computing in
a broad sense) and the dissemination of original ideas. This is achieved by
dedicating ample time for informal discussions and open problem sessions in
addition to regular conference activities.
Original papers are solicited from all those areas where the interplay
between complexity and communication takes place. In particular from:
distributed computing, high-speed networks, interconnection networks,
mobile computing, optical computing, parallel computing, sensor networks,
wireless networks, autonomous robots, and related areas.
* Topics of interest include (but are not limited to):
- communication complexity,
- distributed algorithms and data structures,
- information dissemination,
- mobile agent computing,
- models of communication,
- network topologies,
- routing protocols,
- sense of direction,
- structural properties.
* Invited Speakers
- Hagit ATTIYA (Technion)
- Danny KRIZANC (Wesleyan)
- Roger WATTENHOFER (ETH, Zurich)
* Submissions
- Authors are invited to submit their work in one of the three acceptable
formats: novel research contributions, position papers, and surveys.
- A PostScript or PDF version of the paper (not exceeding 12 pages) together
with at most 20 lines of abstract in ASCII format, via the conference web
page: http://sirocco06.csc.liv.ac.uk/ (preferably)
or by e-mail to sirocco06@csc.liv.ac.uk, no later than February 10, 2006.
- Authors who are unable to submit their work electronically should contact
the organisers. No simultaneous submission to other conferences with
published proceedings is allowed. The proceedings of the conference are
published in the Springer Verlag LNCS series. Selected papers will be
invited to the special issue of Theoretical Computer Science.
* Important Dates
- Deadline for submission: FEBRUARY 10, 2006
- Notification to authors: MARCH 17, 2006
- Final version: APRIL 14, 2006
- Symposium: JULY 3-5, 2006
* ORGANIZING COMMITTEE
- David PELEG (Chair)
- Christoph AMBUEHL
- Alexey FISHKIN
- Leszek GASIENIEC
- Judith LEWA
- Prudence WONG
* More Information
SIROCCO will be co-located with CAAN ( 3rd Workshop on Combinatorial and
Algorithmic Aspects of Networking and the Internet), which will take
place on July 2nd.
* One of our goals is to keep the costs of the conference on the lowest
possible level. We are happy to anounce that with kind generosity of the
EPSRC we will be able to provide several grants for young researchers and
postgraduate students.
* For more up to date information check regularly the url of SIROCCO'06
http://sirocco06.csc.liv.ac.uk/
WORKSHOP ON HYBRID LOGIC 2006 (HyLo 2006)
August 11, 2006
Seattle, USA
(affiliated with LICS 2006)
First Call for Papers
http://hylomol.ruc.dk/HyLo2006
* Theme.
Hybrid logic is a branch of modal logic where it is
possible to directly refer to worlds/times/states or whatever
the elements of the model are meant to represent. It is easy to
justify interest in hybrid logic because of the usefulness of
the additional expressive power, and moreover, hybridization
often improves the behavior of the underlying modal formalism.
The workshop HyLo 2006 is relevant to a wide range of people,
including those interested in description logic, feature logic,
applied modal logics, temporal logic, and labelled deduction.
* Submission.
Details will be announced at the workshop web page.
The proceedings have been accepted for publication in ENTCS.
* Submission deadline: May 26, 2006 (tentative)
* Program committee.
- Carlos Areces (INRIA Lorraine, France),
- Patrick Blackburn (INRIA Lorraine, France),
- Thomas Bolander (Technical University of Denmark),
- Torben Braüner (Roskilde University, Denmark) --- Chair,
- Valeria de Paiva (PARC, USA),
- Melvin Fitting (Lehman College, New York, USA),
- Balder ten Cate (University of Amsterdam, The Netherlands),
- Jørgen Villadsen (Roskilde University, Denmark)
17TH INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS
(RTA'06)
August 12-14, 2006,
Seattle, WA, USA
affiliated workshops August 11 & 15
(affiliated with FLoC'06)
Call for Papers
* Theme: All aspects of rewriting. Typical areas of interest include (but are
not limited to):
- Applications: case studies; rule-based (functional and logic) programming;
symbolic and algebraic computation; theorem proving; system synthesis and
verification; proof checking; reasoning about programming languages and
logics;
- Foundations: matching and unification; narrowing; completion techniques;
strategies; constraint solving; explicit substitutions; tree automata;
termination;
- Frameworks: string, term, graph, and proof rewriting; lambda-calculus and
higher-order rewriting; proof nets; constrained rewriting/deduction;
categorical and infinitary rewriting;
- Implementation: compilation techniques; parallel execution; rewrite tools;
termination checking;
- Semantics: equational logic; rewriting logic.
* Affiliated workshops: HOR'06, RULE'06, UNIF'06, WG1.6, WRS'06, WST'06.
* Submissions must be original and not submitted for publication elsewhere.
Submission categories include regular research papers and system
descriptions. Problem sets and submissions describing interesting
applications of rewriting techniques are also welcome.
See http://rta06.csl.sri.com/
* Submission deadline: February 15, 2006 for abstracts; then February 22, 2006
for full papers.
* An award is given to the best paper or papers. A limited number of travel
grants may be available for students who are (co-)authors of RTA-papers.
* Program committee:
- Zena Ariola (University of Oregon),
- Franz Baader (Technical University Dresden),
- Gilles Dowek (Ecole Polytechnique and INRIA),
- Guillem Godoy (Technical University of Catalonia),
- Deepak Kapur (University of New Mexico),
- Delia Kesner (University Paris 7),
- Denis Lugiez (University of Provence),
- Claude Marche (University Paris-Sud),
- Jose Meseguer (University of Illinois at Urbana-Champaign),
- Frank Pfenning - chair (Carnegie Mellon University),
- Ashish Tiwari (SRI International),
- Yoshihito Toyama (Tohoku University),
- Eelco Visser (Utrecht University ),
- Hans Zantema (Eindhoven University of Technology).
22ND INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING
17-20 August, 2006
Seattle, Washington, USA,
Second Call for Papers
http://www.cs.uky.edu/iclp06/
* Part of Fourth Federated Logic Conference, FLoC 2006
http://research.microsoft.com/floc06/
* Conference Scope
Since the first conference held in Marseilles in 1982, ICLP has been
the premier international conference for presenting research in logic
programming. Contributions (papers and posters) are sought in all areas
of logic programming including but not restricted to:
- Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning,
Knowledge Representation.
- Implementation: Compilation, Memory Management, Virtual Machines,
Parallelism.
- Environments: Program Analysis, Program Transformation, Validation and
Verification, Debugging, Profiling.
- Language Issues: Concurrency, Objects, Coordination, Mobility, Higher
Order, Types, Modes, Programming Techniques.
- Alternative Paradigms: Constraint Logic Programming, Abductive Logic
Programming, Inductive Logic Programming, Answer-Set Programming.
- Applications: Deductive Databases, Data Integration, Software Engineering,
Natural Language, Web Tools, Internet Agents, Artificial Intelligence.
* The three broad categories for submissions are: (1) technical papers,
where specific attention will be given to work providing novel integrations
of the areas listed above, (2) application papers, where the emphasis
will be on their impact on the application domain as opposed to the
advancement of the the state-of-the-art of logic programming, and (3)
posters, ideal for presenting and discussing current work not yet ready
for publication, for PhD thesis summaries and research project overviews.
* Details, as they become available will be posted at
http://www.cs.uky.edu/iclp06/
* Publication
The proceedings of the conference will be published by Springer-Verlag
in the LNCS series. The proceedings will include the accepted papers
and the abstracts of accepted posters.
* Support sponsoring and awards
The conference is sponsored by the Association for Logic Programming.
The ALP has funds to assist financially disadvantaged participants.
* The ALP is planning to sponsor two awards for ICLP'06: for the best
technical paper and for the best student paper.
* Important Dates
Papers Posters
Abstract submission deadline 14 February N/A
Submission deadline 21 February 14 March
Notification of authors 7 April 14 April
Camera-ready copy due 2 May 2 May
* ICLP'2006 Organization
- General Chair:
Manuel Hermenegildo (herme@fi.upm.es)
- Program Co-Chairs:
Sandro Etalle (s.etalle@utwente.nl)
Mirek Truszczynski (mirek@cs.uky.edu)
- Workshop Chair:
Christian Schulte (schulte@imit.kth.se)
- Doctoral Student Consortium:
Enrico Pontelli (epontell@cs.nmsu.edu)
- Publicity Chair:
Alexander Serebrenik (a.serebrenik@tue.nl)
* Program Committee
- Maria Alpuente
- Krzysztof Apt
- Annalisa Bossi
- Veronica Dahl
- Giorgio Delzanno
- Pierre Deransart
- Agostino Dovier
- Thomas Eiter
- Sandro Etalle, co-chair
- John Gallagher
- Michael Gelfond
- Hai-Feng Guo
- Manuel Hermenegildo
- Tomi Janhunen
- Fangzhen Lin
- Michael Maher
- Victor Marek
- Eric Monfroy
- Stephen Muggleton
- Brigitte Pientka
- Maurizio Proietti
- I.V. Ramakrishnan
- Peter van Roy
- Harald Sondergaard
- Mirek Truszczynski, co-chair
- German Vidal
- Andrei Voronkov
- Roland Yap
* Conference Venue
The conference will be a part of the fourth Federated Logic Conference
(FLoC'06) to be held August 10-21, 2006, in Seattle, Washington
(http://research.microsoft.com/floc06/).
* Workshops
The following workshops will be held in association
with the ICLP-06 conference:
- International Workshop on Applications of Logic Programming in the
Semantic Web and Semantic Web Services (ALPSWS2006)
- Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS)
- International Workshop on Software Verification and Validation (SVV 2006)
- Preferences and Their Applications in Logic Programming Systems Search and Logic: Answer Set Programming and SAT
- 16th Workshop on Logic-Based Programming Environments (WLPE 2006)
- MVLP'06: International Workshop on Multi-Valued Logic and Logic Programming
4TH IFIP INTERNATIONAL CONFERENCE ON THEORETICAL COMPUTER SCIENCE
August 22-24, 2006,
Santiago, Chile
Call for Papers
* (TC1 Track of the 19th IFIP World Computer Congress)
http://www.wcc-2006.org
* Important Dates
- Submission: January 15, 2006
- Notification: March 15, 2006
- Camera ready: April 7, 2006
- Conference: August 22-24, 2006
* List of Areas
We seek papers on theoretic and fundamental aspects in Computer Science,
in particular (but not exclusively) of the following areas:
Algorithms, Complexity and Models of Computation:
Algorithms in algebra and number theory
Analysis and design of algorithms
Automata and formal languages
Cellular automata and systems
Combinatorial, graph and optimization algorithms
Computational and mathematical finance
Computational learning theory
Continuous algorithms and complexity
Computational complexity
Computational geometry
Cryptography
Distributed computing
Descriptive complexity
Evolutionary and genetic computing
Experimental algorithms
Mobile computing
Molecular computing and algorithmic aspects of bioinformatics
Network computing
Neural computing
Parallel and distributed algorithms
Probabilistic and randomized algorithms
Quantum computing
Structural information and communication complexity
Logic, Semantics, Specification and Verification:
Automated theorem proving
Concurrency theory
Constructive and non-standard logics in computer science
Databases
Logic and functional programming
Logic and semantics for programs and languages
Logic, specification and verification of hybrid and real-time systems
Parallel and distributed systems
Proofs and specifications in computer science
Security
Semantic Web
Software concepts
Specification and verification of hardware and software
Term rewriting systems
Type and category theory in computer science
* Invited Speakers
- Marcelo Arenas, Pontificia Universidad Catlica de Chile
- Marcos Kiwi, Universidad de Chile
- Mihalis Yannakakis, Columbia University, USA
* Submission and Publication
The proceedings will be published by SSBM (Springer Science and Business
Media), in the IFIP book series and will be available at the conference.
Additionally, a CD-ROM with all the WCC 2006 Proceedings will be available.
Submissions, as well as final versions, are limited to 12 pages sharp, in
the final SSBM format. The instructions for preparing the papers can be
downloaded from
http://www.springeronline.com/sgw/cda/frontpage/0,11855,4-40492-0-0-0,00.html
or ftp://ftp.springer.de/pub/tex/latex/ifip/.
Only electronic submissions will be accepted, via the web site
http://www.wcc-2006.org/tc1 .
* The results of the paper must be unpublished and not submitted for publication
elsewhere, including journals and the proceedings of other symposia or
workshops. One author of each accepted paper should present it at the
conference. Unprintable or overlength submissions may be rejected without
consideration of their merits.
* Please consult their webpage for further details:
WCC 2006 URL http://www.wcc-2006.org/
STRUCTURAL OPERATIONAL SEMANTICS 2006
August 26, 2006
Bonn, Germany,
(affiliated with CONCUR 2006)
Call for Papers
http://www.cse.unsw.edu.au/~rvg/SOS2006
* Theme: Structural Operational Semantics. Specific topics of interest
include (but are not limited to): programming languages, process
algebras, higher-order formalisms, rule formats for operational
specifications, meaning of operational specifications, comparisons
between denotational, axiomatic and SOS, compositionality of modal
logics with respect to operational specifications, congruence with
respect to behavioural equivalences conservative extensions,
derivation of proof rules from operational specifications, software
tools that automate, or are based on, SOS.
* All submissions must be done electronically, via the above webpage.
* Submission Deadline: Friday May 26, 2006
* Preliminary proceedings at the meeting; final proceedings in ENTCS.
* Program committee: Rocco De Nicola (Florence, IT), Wan Fokkink
(Amsterdam, NL), Rob van Glabbeek (NICTA, AU, co-chair),
Reiko Heckel (Leicester, UK), Matthew Hennessy (Sussex, UK),
Ugo Montanari (Pisa, IT), Peter Mosses (Swansea, UK, co-chair),
MohammadReza Mousavi (Eindhoven, NL), David Sands (Chalmers, SE),
Irek Ulidowski (Leicester, UK), Shoji Yuen (Nagoya, JP)
* Invited speakers: Robin Milner (Cambridge, UK) and Bartek Klin (Sussex, UK)
* Workshop organisers: Rob van Glabbeek (National ICT Australia)
and Peter D. Mosses (Swansea University)
* Email: sos2006@cs.stanford.edu
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE (MFCS 2006)
August 28 - September 1, 2006
High Tatras, Slovakia
Call for Papers
* 31st International Symposium on Mathematical Foundations of Computer Science
www.mfcs.sk
* The series of MFCS symposia, organized alternately in the Czech Republic,
Poland and Slovakia since 1972, has a long and well-established tradition. The
MFCS symposia encourage high-quality research in all branches of theoretical
computer science. Their broad scope provides an opportunity to bring together
specialists who do not usually meet at specialized conferences. Quality papers
presenting original research on theoretical aspects of computer science are
solicited.
* Principal topics of interest include (but are not limited to):
- design and analysis of algorithms and data structures (including sequential,
parallel, distributed, approximation, graph, network, on-line, optimization)
- structural and computational complexity
- foundations of computing
- automata, grammars and formal languages
- semantics and verification of programs
- logic in computer science
- formal specifications and program development
- models of computation
- concurrency theory
- computational geometry
- parallel and distributed computing
- mobile computing
- networks (including wireless, sensor, ad-hoc)
- bioinformatics
- quantum computing
- cryptography and security
- databases and knowledge-based systems
- algorithmic learning theory
- algorithmic game theory
- computer-assisted reasoning
- theoretical issues in artificial intelligence
* The scientific program will include a number of invited lectures covering the
areas of current interest.
* Important dates:
- Submission deadline: April 3, 2006
- Acceptance notification: May 29, 2006
- Final version due: June 19, 2006
- Symposium: August 28 - September 1, 2006
* The submission must not exceed 12 pages (preferably in Springer-Verlag Lecture
Notes style). If the authors believe that more details are essential to
substantiate the main claims, they may include a clearly marked appendix that
will be read at the discretion of the program committee. Simultaneous
submission of papers to any other conference with published proceedings or
submitting previously published papers is not allowed. Only electronic
submissions in postscript or pdf formats are accepted. Detailed information
about the submission procedure will be available on the conference web page
www.mfcs.sk in due time.
* Invited papers and accepted contributions will be published in the conference
proceedings in Lecture Notes in Computer Science, Springer-Verlag. These will
be distributed during the conference.
* Conference address:
Rastislav Kralovic
MFCS 2006
Department of Computer Science
Comenius University
Mlynska dolina, FMFI UK
842 48 BRATISLAVA, Slovak Republic
Phone: (+421 2) 602 95 470
Fax: (+421 2) 654 27 041
E-mail: kralovic@dcs.fmph.uniba.sk
WWW: http://www.mfcs.sk
* The conference is organized by Slovak Society for Computer Science and
Faculty of Mathematics, Physics and Informatics, Comenius University, Bratislava
* For further information, please contact the conference web page www.mfcs.sk
LOGIC AND COMBINATORICS
23rd and 24th September 2006
Szeged, Hungary
Satellite Workshop of the conference:
Computer Science Logic 25th - 29th September 2006
* The annual conference Computer Science Logic is sponsored by the
European Association for Computer Science Logic. The conference is
intended for computer scientists whose research activities involve
logic, as well as for logicians working on issues significant for
Computer Science.
* A workshop on Applications of Combinatorics to Logic and of Logic to
Combinatorics will be organized just before the conference Computer
Science Logic to be held in Szeged in 2006.
* Typical topics will be :
- Proof complexity
- Complexity of constraint satisfaction problems and other logically based
problems.
- Logical expression of graph properties, graph decompositions, graph
transformations and related notions.
- Logical expression of properties of matroids, isotropic systems, graph
drawings and knots.
- Counting and enumeration problems.
- Polynomials associated with graphs and other combinatorial structures.
- Ramsey-type arguments applied to 0/1 laws and Ehrenfeucht-Fraisse
games.
- "Countable" model theory.
This list of topics is not exhaustive.
* This workshop should interest people who work in logic (proof
theory, finite model theory) on the one hand, and in combinatorics
(graph theory, counting problems, algebraic notions associated
with graphs and discrete structures) on the other. Recent results show
how fruitful it is to associate graph theory, algebraic notions and
monadic second-order logic.
* All lectures will be on invitation. They will be surveys or
presentations of technical results. A session will be devoted to
discussing open problems, research directions and future events.
* Do not hesitate to contact B Courcelle,
organizer of the Workshop : courcell@labri.fr
* Provisional information can be found from
http://www.labri.fr/~courcell/ActSci.html
* The organizer of CSL 2006 is Zoltan Esik :
ze@inf.u-szeged.hu
http://www.inf.u-szeged.hu/~csl06/
ADVANCES IN MODAL LOGIC (AIML-2006)
25-28 September 2006,
Noosa (Queensland, Australia)
First Call for Papers
* Deadline: 27 March 2006
* Advances in Modal Logic is an initiative aimed at presenting
an up-to-date picture of the state of the art in modal logic
and its many applications. The initiative consists of a
conference series together with volumes based on the conferences.
* AiML-2006 is the sixth conference in the series.
* Topics
We invite submission on all aspects of modal logics, including
the following:
- applications of modal logic
- computational aspects of modal logics
+ complexity and decidability of modal and temporal logics
+ modal and temporal logic programming
+ model checking
+ theorem proving for modal logics
- history of modal logic
- philosophy of modal logic
- specific instances of modal logic
+ description logicsAdvances in Modal Logic
+ dynamic logics and other process logics
+ epistemic and deontic logics
+ modal logics for agent-based systems
+ modal logic and game theory
+ modal logic and grammar formalisms
+ provability and interpretability logics
+ spatial and temporal logics
- theoretical aspects of modal logic
+ algebraic and coalgebraic perspective on modal logic
+ completeness and canonicity
+ correspondence and duality theory
+ many-dimensional modal logics
+ modal fixed point logics
+ model theory of modal logic
+ proof theory of modal logic
- variations of modal logic
+ hybrid logic
+ intuitionistic logic
+ monotonic modal logic
+ substructural logic
* Papers on related subjects will also be considered.
* Invited Speakers
Invited speakers will include:
- Renate Schmidt (Manchester, UK)
- Valentin Shehtman (Moscow, Russia)
- Igor Walukiewicz (Bordeaux, France)
- Alberto Zanardo (Padua, Italy)
* Paper Submission
The Proceedings of AiML 2006 will be published by College Publications
www.dcs.kcl.ac.uk/kcl-publications/
In a change from previous AiMLs, the proceedings will be made available
at the meeting. Authors are invited to submit a full paper (not just an
abstract) of at most 15 pages plus optionally a technical appendix of up
to 5 pages, together with a plain-text abstract of say 100-200 words.
To be considered, submissions must be received no later than 27 March 2006.
Papers must be submitted as .ps or .pdf files. The first page should
include title, names of authors, the co-ordinates of the corresponding
author, and some keywords describing the topic of the paper. More precise
details will be available at www.itee.uq.edu.au/~aiml06/
* Programme Committee
- Alessandro Artale (Free University of Bolzano, Italy)
- Alexandru Baltag (University of Oxford, UK)
- Guram Bezhanishvili (New Mexico State University, USA)
- Julian Bradfield (University of Edinburgh, UK)
- Melvin Fitting (City University of New York, USA)
- Guido Governatori (University of Queensland, Australia)
- Silvio Ghilardi (University of Milano, Italy)
- Rob Goldblatt (Victoria University Wellington, New Zealand)
- Valentin Goranko (University of the Witwatersrand, South Africa)
- Rajeev Gore (Australian National University, Australia)
- Ramon Jansana (University of Barcelona, Spain)
- Alexander Kurz (University of Leicester, UK)
- Carsten Lutz (Dresden University of Technology, Germany)
- Maarten Marx (University of Amsterdam, Netherlands)
- Martin Otto (Technical University of Darmstadt, Germany)
- Graham Priest (University of Melbourne, Australia)
- Mark Reynolds (University of Western Australia, Australia)
- Ildiko Sain (Hungarian Academy of Sciences, Hungary)
- Renate Schmidt (University of Manchester, UK)
- Jerry Seligman (University of Auckland, New Zealand)
- Nobu-Yuki Suzuki (Shizuoka University, Japan)
- Heinrich Wansing (Dresden University of Technology, Germany)
- Frank Wolter (University of Liverpool, UK)
- Michael Zakharyaschev (Birkbeck College, London, UK)
* Programme co-chairs
- Ian Hodkinson, Imperial College London, imh(at)doc.ic.ac.uk
- Yde Venema, University of Amsterdam, yde(at)science.uva.nl
* Local organizers
- Guido Governatori
School of Information Technology and Electrical Engineering
The University of Queensland
guido@itee.uq.edu.au
* Important dates
- Submission deadline: 27 March 2006
- Acceptance notification: 26 May 2006
- Final version for conference due: 30 June 2006
- Conference: 25-28 September 2006
* Conference location
Advances in Modal Logic 2006 will be held at Australis Noosa Lakes
Conference Centre located at Noosaville, Noosa, Sunshine Coast,
Queensland.
* Further information
- Information about AiML-2006 can be obtained at
http://www.itee.uq.edu.au/~aiml06/
- E-mail enquiries about AiML-2006 should be directed to the local
organizers or the program co-chairs.
- Information about AiML can be obtained at
http://www.aiml.net
VACANCY: Two Open Positions in the CooPer 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 three years, and
(2) a PhD student for four years.
- Both positions are within the research project "Coordination
with Performance Guarantees" (CooPer), recently funded by the
Dutch national science organization, NWO
(http://www.nwo.nl/nwohome.nsf/pages/NWOP_5SME25_Eng),
under the GLANCE program
(http://www.nwo.nl/subsidiewijzer.nsf/pages/NWOP_66ETXH_Eng?Opendocument).
* Researchers in the CooPer project plan to develop coordination models
and tools for specification and implementation of complex connectors
with Quality-of-Service (QoS) guarantees. This will allow modeling and
control of the end to end QoS of applications in large scale distributed
processing environments, based on a compositional model of QoS. The work
in CooPer involves: developing and validating quantitative models for the
basic connectors that constitute the atomic building blocks of complex
ones; developing a compositional QoS calculus that relates the relevant
performance metrics at the application layer, the connector layer,
and the basic connector layer; and using these models to develop and
implement QoS control mechanisms to efficiently react to observed QoS
degradation. This research spans over two separate groups within CWI:
SEN3 - Coordination Models and Languages in the department of Software
Engineering, and PNA2 - Advanced Communication Networks in the department
of Probability, Networks and Algorithms. The activities in CooPer involve
both systems oriented and theoretical work in software engineering,
supervised by Prof. Dr. F. Arbab (www.cwi.nl/~farhad), as well as
quantitative performance modeling, supervised by Prof. Dr. R.D. van der
Mei (http://www.math.vu.nl/~mei). The CooPer project complements the
theoretical and technological framework of other current projects within
these two groups.
* The candidate for the postdoc position is expected to have a PhD in
computer science, with a strong background in component-based software
engineering, and maturity in formal methods and their practical
applications. Familiarity with performance analysis and quantitative
models of communication networks is preferred, but not required.
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 PhD position should have at least a master
degree in computer science, with a background in component-based
software engineering, concurrency and distributed systems, and practical
software development.
* 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:
VACANCY: POSTDOCTORAL RESEARCH FELLOWSHIP, UNIVERSITY OF BIRMINGHAM
* A postdoctoral Research Fellowship is available in the School of
Computer Science, from January 2006. The successful applicant will
join Dr Dan Ghica on an EPSRC project entitled Modular Abstraction
and Abstraction Refinement: A Game-Semantic Approach. The project
aims to develop modular verification techniques for software systems,
based on game-semantic models.
* The School of Computer Science is a major centre for research and
teaching in Computer Science and has around 130 researchers.
Prominent research themes are shown at http://www.cs.bham.ac.uk/
research. There is a lively and friendly atmosphere that encourages
research straddling different themes.
* Applicants must hold, or being nearing completion of, a PhD in
Computer Science or a related subject. They must have a proven
record in theoretical computer science, formal methods, or
mathematics. Experience in one or more of the following is desirable:
- Model checking
- Programming languages
- Semantics (esp. game semantics)
- Logic
- Category Theory
- Formal specifications
- Combinatorics
* Details:
Job Title: Postdoctoral Research Fellow
Department/School: School of Computer Science
Grade: Research Grade 1A/1B
Starting salary:
£20,044 - £24,352 a year; potential progression to £30,002 a year
Post Duration: Up to 33 months
Starting date: after January 2006, negotiable
Informal enquiries: Dr Dan Ghica;
Email: d.r.ghica@cs.bham.ac.uk
Tel: +44 (0) 121 414 8819
VACANCY: FULL-TIME ACADEMIC POSITION, COMPUTING SCIENCE, UCLOUVAIN. BELGIUM
* Full-time academic position, Computing Science, UCLouvain. Belgium
* The Université catholique de Louvain (Belgium) invites applications
for a full-time, tenure-track faculty position in the Department of
Computing Science & Engineering (INGI), to be filled by September 1
2006.
* Preference will be given to candidates with strong research
achievements in one or several of the areas relating to the general
fields of large-scale distributed systems, computer networks,
artificial intelligence, programming systems or bioinformatics.
Still, other areas of competence will also be considered, since
qualifications take precedence over specialization. In case of
similar qualifications, preference will be given to a candidate
specialized in large-scale distributed systems.
* Responsibilities include research, supervision of undergraduate and
graduate students, as well as PhD theses, submission and management
of research grants, and undergraduate/graduate teaching.
* Rank and salary depend upon qualifications and experience. Highly
qualified candidates may be given tenure immediately.
* The Department belongs to the School of Engineering; it is located
in the new city of Louvain-la-Neuve, 25 kms southeast of Brussels,
the capital of Belgium, in the heart of Europe.
* Additional information about the position may be obtained from:
Prof. Yves Deville, Chair, Dept. Computing Science & Engineering
Place Sainte-Barbe, 2, B-1348 Louvain-la-Neuve, Belgium
Phone: +32 10 472067, Fax: +32 10 450345
E-mail: yde@info.ucl.ac.be URL: http://www.info.ucl.ac.be
* Application deadline: January 6, 2006.
* Additional details about the information to be provided and the
administrative forms to be filled in is available from :
http://www.crct.ucl.ac.be/Postes_acad_vacants_2006_2007/FSA_961_us.htm
Back to the LICS web page.