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.