BLC Newsletter January 2006

Registered Charity No 275541

President           Professor J B Paris FBA [Manchester]
Vice-President      Professor J M E Hyland [Cambridge]
Treasurer           Professor D Macpherson [Leeds]
Secretary           Dr M Dzamonja [East Anglia]
                    Dr N Alechina [Nottingham]
                    Dr E Ritter [Birmingham]
                    Professor T Williamson FBA FRSE [Oxford]

Dear members,

Happy New Year to you all! Here is the new edition of our newsletter:
(1) FME Formal Methods in the Last 25
    Years, 30 January 2006, London
(2) International e-Conference on Computer Science 2006 (IeCCS 2006)
(3) 2006 Programme on Logic and Algorithms - Workshops
(4) Topology News, December 2005 (5) LICS Newsletter 102 + 102 b
(7) BMC 2006, Newcastle upon Tyne
(8) CoS-5 (Inference in Computational
Semantics), a workshop to be held at Buxton in April 2006


                    BCS-FACS / FME  Evening Seminar

                   Formal Methods in the Last 25 Years

                      Jean-Raymond Abrial, ETH Zurich
                      Ian Hayes, University of Queensland
              Cliff Jones, University of Newcastle
              John Tucker, University of Wales

                              30 January 2006

                             Start time: 5.30 pm

                             Refreshments from 5pm

                             BCS London Offices
                             First Floor
                             The Davidson Building
                             5 Southampton Street
                             London WC2E 7HA

Mathematically-based "formal" methods for developing software and
systems have had an interesting history. Over the past twenty-five
years, the subject has moved from controversies surrounding code
verification, through work on data types, design methodology,
refinement and "Lightweight" Formal Methods, to automated proof
and model-checking technology.

This event brings together four computer scientists who have been
active as leading researchers and practitioners in the field over
the last quarter century. It provides an opportunity to learn about
the motivations behind some of the major developments in the field,
to discuss trends, fashions, successes and failures and set them in
their recent historical context. The meeting will be of interest to
researchers, students and practitioners in software and systems
development, specialists in formal methods and anyone with an interest
in the history of computing.

The Panel:
        Jean-Raymond Abrial, ETH Zurich
        Ian Hayes, University of Queensland
        Cliff Jones, University of Newcastle upon Tyne
        John Tucker, University of Wales, Swansea

Chairman:     John Fitzgerald, Formal Methods Europe (FME)

There will be an opportunity for participants to raise issues for
discussion at the event. In order to make best use of the time,
participants are invited to mail with
issues or questions that they would like the panel to discuss. It
may not be possible to deal with all the issues raised, but there
will be an opportunity for additional questioning and discussion
at the event.

Refreshments will be served from 5pm

The seminar is free of charge and open to everyone. If you would
like to attend, please email Paul Boca [] by

                         >>>>> 26 January 2006 <<<<< .

Pre-registration is required, as security at the BCS Offices is

Location of the venue:

FME website:

FACS Website:

FACS Evening Seminars website:


Dear Colleagues

This year we organise the International e-Conference on Computer
Science 2006 (IeCCS 2006) from 28 June to 8 July
2006. Place of the Conference: Internet (is an e-Conference).

Please circulate the following announcement, call for papers,
sessions and minisymposia to your colleagues.

For this conference I  mention the following:

1. The extended abstracts will be published in the Proceedings of
IeCCS 2006 (which will be published in the
Lecture Series on Computer and Computational  Sciences of the
VSP/Brill (see We mention that
VSP/Brill has already applied for the
inclusion of this series in SCI).

2. The full papers will be published (as letters of ~ 7-8 A4 pages
length)  in Computing Letters (CoLe - see We mention that
VSP/Brill has already applied for the inclusion
of this series in SCI).

3. Every participant with his/her registration will receive: (a) The
Proceedings of IeCCS 2006 and (b) Free
subscription for CoLe.

4. For this conference you haven't expenses of Hotels, transportation
etc since it is an Internet Conference and
can be attended from your office or from the place you will select.

5. The session and symposium organisers have free registration.

If you want leaflets and posters for IeCCS 2006, please send your
request to

We mention that leaflet can be downloaded from the URL address of the

Sincerely yours

Professor Dr. T.E. Simos
Chair and Organiser IeCCS 2006

Professor Dr. T.E. Simos, Academician of the EASA, EAS, EAASH
President of the European Society of Computational Methods
in Sciences and Engineering (ESCMSE)
Active Member of the European Academy of Sciences and Arts (EASA)
Corresponding Member of the European Academy of Sciences (EAS)
Corresponding Member of European Academy of Arts, Sciences and
Humanities (EAASH)
Fellow of the Royal Society of Chemistry (FRSC)
Editor-in-Chief and Founder
Journal of Computational Methods in Sciences and Engineering (JCMSE)
IOS Press. URL:
Editor-in-Chief and Founder
Applied Numerical Analysis and Computational Mathematics (ANACM)
ISSN 1611-8170
Wiley-VCH. URL:
Editor-in-Chief and Founder
Computing Letters (COLE)
ISSN 1574-0404
VSP/Brill Publishing Company. URL:
Series Editor: Lecture Series on Computer Science and Computational
ISSN 1573-4196
VSP/Brill Publishing Company
Official Address:
Department of Computer Science and Technology,
Faculty of Sciences and Technology,
University of Peloponnese, GR-221 00 Tripolis, GREECE.
Postal Address:
26 Menelaou Street, Amfithea - Paleon Faliron, GR-175 64 Athens,




International Conference of Computational Methods in
Sciences and Engineering 2005 (ICCMSE 2005), HOTEL POSEIDON,
21-26 October 2005.
Information about ICCMSE:

International Conference of Numerical Analysis and Applied
(ICNAAM 2005), HOTEL ESPERIDES, Rhodes, Greece, 16-20 September 2005,

International e-Conference of Computer Science 2006 (IeCCS 2006),
28 June - 8 July 2006. More information at:

        [ Part 2: "Attached Text" ]



28 June ~V 8 July 2006

URL address:

It is important to keep in mind that you can attend the Conference from
your office PC or from any internet-enabled computer you may choose


All participants who have paid their respective conference registration
fees will receive a login name and password before the start of the
e-Conference, in order to enable them to access the e-Conference
programme (this part of the website will be  restricted only to fully
registered participants). Please note that each login name and password
will allow access to the restricted part of the IeCCS website from only
ONE internet-enabled computer at a time (in other words: it will not be
possible to concurrently use the same login and password access from a
second etc computer).

If a whole Department or Group of people wishes to have access to the
e-Conference programme (28 June ~V 8 July 2006), please contact the General
Chair for access registration fees. Please note that this is in addition
to any individual registrations from that Department or Group and
concerns ONLY the access issue, i.e. it
does not include submission of abstracts/papers. In such cases a special
login and password will be provided.

The aim of IeCCS 2006 is to bring together leading scientists of the
international Computer Science community and to attract original
research papers of very high quality. The topics to be covered include
(but are not limited to):  Numerical Analysis, Scientific Computation,
Computational Mathematics, Mathematical Software, Programming Techniques
and Languages, Parallel Algorithms and its Applications, Symbolic and
Algebraic Manipulation, Analysis of Algorithms, Problem Complexity,
Mathematical Logic, Formal Languages, Data Structures, Data Bases,
Information Systems, Artificial Intelligence, Expert Systems, Simulation
and Modeling, Computer Graphics, Software Engineering,  Image
Processing, Computer Applications, Hardware, Computer Systems
Organization, Software, Data, Theory of Computation, Mathematics of
Computing, Information Systems, Computing Methodologies, Computer
Applications, Computing Milieu (see

Chairman and Organizer

Prof. T.E. Simos, Active Member of the European Academy of Sciences and
Arts, Corresponding Member of the European Academy of Sciences,
Corresponding Member of European Academy of Arts, Sciences and
Humanities, Department of Computer Science and Technology, Faculty of
Sciences and Technology, University of Peloponnese, Greece


Dr. G. Psihoyios, University of Buckingham, UK.

Scientific Committee:

Prof. Reda A. Ammar, USA, Prof. Peter Benner, Germany, Prof. Michel Dayde, France, Prof. Vijay Kumar, USA, Prof. P. Loucopoulos, UK, Prof. dr.  H.A. (Erik) Proper, The Netherlands, Prof. Colette Rolland, France, Prof. Pascal Sainrat, France, Prof. James Hendler, USA, Prof. Dr. Gerik Scheuermann, Germany, Prof. Vijay K. Vaishnavi, USA, Dr. Willem-Jan van den Heuvel, The Netherlands


Extended abstracts will be published in a special volume of: The
We note that the above series will be included in the Science Citation
Index. The full papers of the presentations of IeCCS 2006 will be
considered for publication in the Journal: Computing Letters (VSP/Brill

Call for Sessions Workshops and Minisymposia:

We invite proposals for Sessions, Workshops or Minisymposia. Each
session should have at least 8 paper presentations. For this session the
organiser or his team can have at most 2 papers. Each workshop or
minisymposium should have at  least 10 paper presentations. For this
workshop or minisymposium the organiser or
his team can have at most 2 papers. The Session, Workshop or
Minisymposium organizer will be responsible for advertising the
workshop, reviewing and selecting the papers. The Session and Workshop
or Minisymposium organisers will have free registration in IeCCS 2006.
Papers accepted for Sessions, Workshops or Minisymposia will be
published in the Proceedings of IeCCS 2006. After the Conference the
papers presented at the Sessions, workshops or Minisymposia will be
considered for publication in the journal: Computing Letters

Proposals to organize Sessions, Workshops or Minisymposia should include
the following information: Title of the workshop; name, affiliation,
mailing address and e-mail address of the proposer(s); description of
the topic of the session (not exceeding 100 words); a short description
on how the session will be advertised. The deadline for proposal
submission is May 25, 2006. Please send your proposal to

Call for papers

You are invited to submit a paper and/or proposal to organise a
woskshop, session or minisymposium. All accepted papers will be
published in the Proceedings of IeCCS 2006 which will be published in
the special volume of the VSP/Brill Series: LECTURE SERIES ON COMPUTER
AND ON COMPUTATIONAL SCIENCES. We mention that VSP/Brill has already applied for the inclusion of this series in SCI). (see

A selected number of full papers will be published in a special issue
of  the Journal: Computing Letters (CoLe) published by VSP/Brill (see Deadline for submission: 5 June
2006. All the papers should be send to: Secretary of the Editor of IeCCS
2006. E-mail:,  Postal Address: 26 Menelaou Street,
Amfithea Paleon Faliro, GR-175 64 Athens, Greece, Fax: +30210 94 20 091,
+302710 237397.

Contact information:

Secretary IeCCS 2006, E-mail:, Postal Address: 26
Menelaou Street, Amfithea Paleon Faliron, GR-175 64, Athens, Greece,
Fax: +30210 94 20 091 or + 302710 237 397


During the first half of 2006, the Isaac Newton Institute for Mathematical Sciences at Cambridge, UK, will hold a Special Programme on Logic and Algorithms. The programme will include six workshops:

9 - 13 January
Finite and Algorithmic Model Theory (A Satellite Meeting at Durham)

27 February - 3 March
Logic and Databases

20 - 24 March
Mathematics of Constraint Satisfaction: Algebra, Logic and Graph Theory (A Satellite Meeting at Oxford)

10 - 13 April
New Directions in Proof Complexity

8 - 12 May
Constraints and Verification

3 - 7 July
Games and Verification

The workshops are open to participation. See

To join the mailing list, see

For further information, contact vardi at cs dot rice dot edu.

Moshe Vardi


Topology News, December 2005

Graduate Student Topology Conference
Journ?es Peter Shalen
Dubrovnik 2007


Graduate Student Topology Conference
Indiana University, Bloomington
April 1-2, 2006

The schedule will consist of talks given by students, as well as keynote
presentations given by Vaughan Jones (UC Berkeley) and Dusa McDuff (SUNY
Stony Brook). Participants are invited to give 30 minute talks; the
subject need not be original research, but simply something the speaker
enjoys and wishes to share. Talks should, in particular, be accessible to
an audience of graduate students of varying levels. This conference is
supported by the NSF and Indiana University.

Conference organizers:
Jennifer Franko, Prudence Heck, Cornelia Van Cott, Adam Weyhaupt


Journ?es Peter Shalen
a conference on 3-dimensional topology and its r?le in mathematics
Centre de Recherches Math?matiques, Montr?al
12-15 June, 2006

Tentative list of speakers: Ian Agol (University of Illinois at Chicago),
Mladen Bestvina (University of Utah), Marc Culler (University of Illinois
at Chicago), Nathan Dunfield (Caltech), Cameron Gordon (University of
Texas), Alex Lubotzky (Hebrew University of Jerusalem), Yair Minsky (Yale
University), Maryam Mirzakhani (Princeton University/Clay Institute), John
Morgan (Columbia University), Lenhard Ng (Stanford University / AIM),
Peter Ozsvath (Columbia University), Jake Rasmussen (Princeton Univerity),
Michah Sageev (Technion)

Conference Organizers: Steve Boyer, Marc Culler, Nathan Dunfield, Dick
Canary, Benson Farb

Speaker expenses, refreshments and conference facilities are being provided through the generous support of CRM.

A proposal has been submitted to the U.S. National Science Foundation to
fund participant travel to the conference. Priority for support will be
given to graduate students and postdocs. Please sign in on the registration page if you wish to be considered for support. We will email
application instructions and other information regarding travel support
once we hear from the NSF.


July 3-7, 2006
Hotel Continental Terme, Ischia (NA), Italy

Since 1984 the meeting on Real Analysis and Measure Theory has been a
biennal event of European relevance where established scientists and young
researchers discuss their recent work in fundamental Mathematical
disciplines such as Measure Theory, Real Analysis, Lattice Theory, taking
into consideration their role in applications to Decision Theory,
Economics, Mathematical Finance and Theoretical Physics. The meeting is
also an occasion for discussing new developments, unexpected relations
with other mathematical fields, and new connections with applications.
With a program of scientific talks of reasonable density, we wish to fix
the state of the art in the topics the meeting covers and, simultaneously,
to give young scientists a concrete occasion to start/test their research
in cooperation with world-famous specialists.

The Meeting is successfully organized every two years. The present edition
will be held in Ischia (NA) in the period 3-7 July, 2006. The site of the
meeting will be Hotel Continental Terme.

As usual, there will be 45 minutes invited lectures (we still are defining
the program) and shorter communications (20-25 minutes). As for the
previous occasions, papers presented at CARTEMI can be published in the
journal Atti del Seminario Matematico e Fisico dell'Universit? di Modena
following the usual "rules" of any publication (papers must be of original
content, are refereed...) and they normally appear on several issues of
the journal. Only finally, all the papers will be collected to form the
volume of Proceedings.

To confirm your participation, you can send us your registration form by
e-mail or fax, with the title of your communication (if any), before the
end of April. The conference fee is 100,00 Euro. For the hotel
reservation, please send the accommodation form directly to the hotel
within the 30th of May (better to use email or fax). The pension-rates are
indicated in the form. Both the registration form and the accommodation
form are available on the web site of the meeting.

Scientific Committee: C.D. Aliprantis (Univ. West Lafayette, USA), V. Aversa (Univ. Federico II, Napoli), A. Basile (Univ. Federico II, Napoli), A. Bella (Univ. Catania), B. Bongiorno (Univ. Palermo), D. Candeloro (Univ. Perugia), P. de Lucia (Univ. Federico II, Napoli), E. De Pascale (Univ. Calabria), G. Di Maio (Univ. Caserta), U. Marconi (Padova), L. Paganoni (Univ. Milano), E. Pap (Univ. Novi Sad, Yugoslavia), P. Papini (Bologna), P. Ptak (Univ. Czech Techn. Praga, Czech Rep.), G. Tironi (Trieste), A. Volcic (Univ. Calabria), H. Weber (Univ.  Udine), J.D.M. Wright (Univ. Reading, UK).

Organizing Committee: P. de Lucia, A. Basile, E. D'Aniello, A. De Simone,
C. Tarantino, F. Ventriglia.


10th Prague topological symposium (TOPOSYM 2006)
August 13 - 19, 2006
Czech Republic

Online registration is now open.


Dubrovnik 2007

We wish to inform you that we plan to have the next Dubrovnik Topology
Conference from September 30 - October 7, 2007 (seven day) as promised at
the last conference. You will receive further informations as preparations
go on. If you know of someone who might be interested in attending the
conference, please send his/her e-mail address to Ivan Ivansic
( in order to be added to the e-mail list.

Also, as you might already know, the proceedings of the last Dubrovnik
Topology Conference are now available also in printed form as Volume 153,
Issue 2-3 of "Topology and Its Applications".

Ivan Ivansic
James E. Keesling
Alexander N. Dranishnikov
Sime Ungar


Topology News is a occasional mailing list used to distribute conference
announcements and other information of interest to topologists.
Please send us any news to distribute.

If you do not want to receive these newsletters, please tell us and we
will remove your email address from our mailing lists.

Elliott Pearl
Stephen Watson

Topology Atlas


December 23, 2005

* Past issues of the newsletter are available at
* Instructions for submitting an announcement to the newsletter
  can be found at
* To unsubscribe, send an email with "unsubscribe" in the
  subject line to

  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
  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
  MFCS 2006 - Call for Papers
  AiML 2006 - Call for Papers
  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

   March 25-27, 2006
   Vienna, Austria
   2nd Call for Papers
* 8th International Workshop on Coalgebraic Methods in Computer Science
* 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
* 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  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
* 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

   March 26th 2006,
   Vienna, Austria
* 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]
  - Francesco Ranzato
    University of Padova
    email: franz[AT]

   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 - 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
  If you have problems accessing the link above, then send email to

   14-16 June 2006
   Bologna, Italy
   Second Call for Papers
* 8th International Conference on Coordination Models and Languages
  as part of
  DisCoTec'06 - Distributed Computing Techniques
  co-located with DAIS'06 & FMOODS'06
* 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
* 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
  - Coordination,  architectural,  and  interface definition  languages:
    implementation, interoperability, heterogeneity.
  - Multiagent    systems   and    coordination:    models,   languages,
  - 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
  - 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
  - Submissions must  be formatted according  to the LNCS  guidelines (see 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
  - Paolo Ciancarini, University of Bologna, Italy
  - Herbert Wiklicky, Imperial College London, UK
  - 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

   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  The program
  committee can be reached at
* For further info on FLOC, see
* 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).

   27-30 June 2006,
   Novosibirsk, Akademgorodok, Russia
   Second Call for Papers
* Sixth International Andrei Ershov Memorial Conference
  Perspectives of System Informatics
* 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
  - 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
* 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 by contract,
  - program and system construction for parallel and  distributed
  - 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
* 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:
  - 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 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,
  - Program Understanding which will be held in Altai mountains
    (the workshop page is,
* 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

  5-7 July 2006
  Call for Papers * 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;
* 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.

   July 3-5, 2006,
   Chester, United Kingdom
* 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: (preferably)
    or by e-mail to, 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
  - 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

  August 11, 2006
  Seattle, USA
  (affiliated with LICS 2006)
  First Call for Papers
* 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)

  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
  - Foundations: matching and unification; narrowing; completion techniques;
    strategies; constraint solving; explicit substitutions; tree automata;
  - 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.
* 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).


   17-20 August, 2006
   Seattle, Washington, USA,
   Second Call for Papers
* Part of Fourth Federated Logic Conference, FLoC 2006
* 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,
  - 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
* 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 (
  - Program Co-Chairs:
    Sandro Etalle (
    Mirek Truszczynski (
  - Workshop Chair:
    Christian Schulte (
  - Doctoral Student Consortium:
    Enrico Pontelli (
  - Publicity Chair:
    Alexander Serebrenik (
* 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
* 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

   August 22-24, 2006,
   Santiago, Chile
   Call for Papers
* (TC1 Track of the 19th IFIP World Computer Congress)
* 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
        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
        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
        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,11855,4-40492-0-0-0,00.html
  Only electronic submissions will be accepted, via the web site .
* 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

  August 26, 2006
  Bonn, Germany,
  (affiliated with CONCUR 2006)
  Call for Papers
* 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:

   August 28 - September 1, 2006
   High Tatras, Slovakia
   Call for Papers
* 31st International Symposium on Mathematical Foundations of Computer Science
* 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
* 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 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
* 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

   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
  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
* 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)
  - Yde Venema, University of Amsterdam, yde(at)
* Local organizers
  - Guido Governatori
    School of Information Technology and Electrical Engineering
    The University of Queensland
* 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,
* Further information
  - Information about AiML-2006 can be obtained at
  - 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

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
    under the GLANCE program
* 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 (, as well as
  quantitative performance modeling, supervised by Prof. Dr. R.D. van der
  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 ( 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 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:

  Prof. F. Arbab, telephone +31-20-592-4056, e-mail

  making sure that you specifically mention the CooPer project.

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
  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;
  Tel: +44 (0) 121 414 8819

* 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
* 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:   URL:
* Application deadline: January 6, 2006.
* Additional details about the information to be provided and the
  administrative forms to be filled in is available from :

From Thu Dec 22 16:04:18 2005
Date: Thu, 22 Dec 2005 16:58:37 +0100 (CET)
From: Kreutzer + Schweikardt 
To: LiCS 2006 List 
Subject: LICS Newsletter 102b

Newsletter 102b
Second part of the split newsletter 102
December 23, 2005

* Past issues of the newsletter are available at
* Instructions for submitting an announcement to the newsletter
  can be found at
* To unsubscribe, send an email with "unsubscribe" in the
  subject line to

  LICS 2006 - Call for Papers
  Logic and Combinatorics - First Announcement

   August  12th - 15th, 2006,
   Seattle, Washington
   Call for Papers
* 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 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
* 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 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

   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
  - 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
  - "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  :
* Provisional information can be found from
* The organizer of CSL 2006  is Zoltan Esik :




Supervisors:  Prof Rob Goldblatt (Mathematics),
        Assoc Prof Edwin Mares (Philosophy).

A scholarship is available for a PhD student to work on a project
entitled "Semantic analysis of substructural logics" supported by a
grant from the Marsden Fund. The aim is to use a new semantic
interpretation that we have developed for quantifiers in relevant logic
(see the article "An alternative semantics for quantified relevant
logic" at to help us model and understand
various logical systems, including other substructural and intentional
logics like linear logic, BCK logic, intuitionistic logic, modal and
temporal logics. There are both mathematical and philosophical
components to this project, ranging from the mathematical analysis and
representation of algebraic models to the philosophical interpretation
and justification of our semantics. The PhD student will be expected to
work on at least one of these components, and will have the opportunity
to develop their own proposals for research directions, as well as
working on assigned topics.

Bachelors Honours or Masters degree in logic, mathematics or philosophy.
A background in abstract algebra or semantic modelling of logical
systems is desirable.

The scholarship is valued at NZD 22,000 per year (tax-free) plus NZD
4,000 per year for tuition fees. Note that international students pay
only domestic fees; the domestic fees for 2006 will be approximately NZD

the scholarship is for three years, with a negotiable starting time
after 1 Feb 2006.

Contact: for enquiries or applications please send email to either     or


Dear Colleague,

The 58th British Mathematical Colloquium will be held at the
University of Newcastle, from 1pm on Monday the 10th April 2006 till
1pm on Thursday the 13th April 2006.

Plenary Speakers:
  Nigel Higson         (Penn State, USA)
  Victor Kac         (MIT, USA)
  Alexander Kirillov    (Pennsylvania, USA)
  Preda Mihailescu      (Paderborn, Germany)

Morning speakers include:
  Gordon Blower     (Lancaster)
  Michael Farber     (Durham)
  Charles Read          (Leeds)
  Manfred Schocker     (Swansea)
  Anthony Scholl     (Cambridge)
  Eugene Shargorodsky     (King's College London)
  Nicole Snashall     (Leicester)

Special session on Analysis and Geometry on Groups:
  Paul Baum         (Penn State, USA)
  Alain Valette         (Neuchtel, Switzerland)
  Andrzej Zuk         (CNRS, Paris, France)

Special session on Operator Theory:
  Miroslav Englis    (Czech Academy of Sciences)
  Kristian Seip         (NTNU, Trondheim, Norway)
  Joel Shapiro         (Michigan State University, USA)

Public Lecture by:
  David Acheson         (Oxford)

In addition, there are splinter groups being organised allowing for
contributed talks in the following areas:

  Arithmetic algebraic geometry
  Random matrices and operators
  Group theory and its applications
  Hyberbolic geometry
  Operator theory
  Geometry and topology
  Semigroup theory
  Differential equations

If there is not a splinter group in your area and you would like to
organise one please either contact us at or indicate
this in the area for comments on your registration form (follow the link given below).

Postgraduate conference:

There will be a postgraduate in the same location prior to the
commencement of the BMC on the morning of Monday 10th April.

A North British Functional Analysis Meeting meeting will be held on
Monday 10th of April, in Newcastle prior to the start of the BMC with
speaker John McCarthy (Washington University, St Louis, USA).  See for more details.

BMC 2006 has a web page at


Please circulate the above address to anyone who may be interested in
the BMC or ask them to email us at

Besides containing basic information about the conference, the page
contains a form with which you can enter an email address and so be
put on the mailing list.  Since you have received this message, there
is no need for you to do this.  However you may have students or
colleagues who would also like to be included, or you may accidentally
remove yourself from the list.  In these cases this form should be

To register, book accommodation, apply to give a splinter group talk
and/or participate in the postgraduate conference please use the web

This is unique to you and should be used only by you.  Please bookmark
it.  You can update your registration form as often as you like until
the end of March.

It may be that you do not wish to receive any more email messages
regarding this BMC or future BMC's.  There is a way through the
registration form at the URL given above of indicating this.

Details on registration fees, payment deadlines, and so forth are
contained in the registration form.  The principal deadline is
February 28th for University accommodation and reduced registration
fees.  As deadlines approach you will receive reminders of these
if need be.

The conference gratefully acknowledges the support of the London
Mathematical Society, the Edinburgh Mathematical Society, the
Engineering and Physical Sciences Research Council and the SAgE
Faculty Research Committee of Newcastle University.

We look forward to seeing you this April in Newcastle!

The Organisers (Michael Dritschel, Andrew Duncan, Maxine Lennon, Zina Lykova,
Graham Niblo, Jonathan Partington, Alina Vdovina and Michael White)



                 *** SECOND CALL FOR PAPERS ***

                        5th workshop on



                Buxton, England, 20-21 April 2006


              Submission deadline: 16 January 2006

      Endorsed by SIGSEM, the Association for Computational
        Linguistics (ACL) Special Interest Group (SIG) on
                    computational semantics.


Natural Language Processing has reached a stage where the exploration
and development of inference is one of its most pressing tasks. On the
theoretical side, it is clear that inference plays a key role in such
areas as semantic construction and the management of discourse and
dialogue. On the practical side, the use of sophisticated inference
methods could lead to improvements in application areas such as
natural language generation, automatic question answering, and spoken
dialogue systems.

ICoS-5 is intended to bring together researchers interested in
inference-oriented NLP from areas such as Computational Linguistics,
Artificial Intelligence, Computer Science, Formal Semantics, and

We invite submissions addressing the theme of inference in
computational semantics broadly construed. Subjects relevant to ICoS-5
include but are not restricted to:

- natural language generation
- natural language pragmatics
- discourse and dialogue processing
- (spoken) dialogue systems
- underspecified representations - ambiguity resolution
- interfacing lexical and computational semantics
- lexically-driven inference
- inference for shallow semantics
- inference in question answering
- recognising textual entailment
- background knowledge: use and acquisition
- applications of semantic resources
  (e.g. CYC, WordNet, FrameNet, PropBank, ontologies)
- automatic ontology creation
- common-sense reasoning in NLP
- temporal and epistemic reasoning
- resource-bounded inference
- applications of automated reasoning
  (e.g. model building, model checking, theorem proving)
- alternative inference strategies
  (e.g. abduction, nonmonotonic reasoning, default)
- decidable fragments of natural language - controlled languages
- natural language inference in decidable logics
  (e.g. description logic)
- probabilistic and statistical approaches to inference
- machine learning and inference
- inference and information extraction and/or text mining
- novel applications (e.g. semantic web)
- evaluation methodologies and resources for inference
- robustness and scalability of inference
- system descriptions

Submitted papers should not exceed 10 pages (A4, single column, 12
point font) including references.  All submissions must be in PDF, and
must be sent by email to

We also encourage submission of papers describing systems that show
aspects of inference in computational semantics. There will be a
separate slot at the workshop where people can demonstrate their
systems. System descriptions should follow the same submission
guidelines as regular papers.

     Submission Deadline: January 16, 2006.
     Notification: February 20, 2006.
     Final Versions: March 20, 2006.
     Conference: April 20-21, 2006.

     Christian Ebert (University of Bielefeld)
     Patrick Pantel  (ISI, University of Southern California)
     Stephen Pulman  (Oxford University)

     Carlos Areces
     Peter Baumgartner
     Christoph Benzmueller
     Raffaella Bernardi
     Patrick Blackburn
     Johan Bos (co-chair)
     Harry Bunt
     Ann Copestake
     Dick Crouch
     Ido Dagan
     Kees van Deemter
     Nissim Francez
     Claire Gardent
     Alexander Koller (co-chair)
     Shalom Lappin
     Alex Lascarides
     Bernardo Magnini
     Katja Markert
     Dan Moldovan
     Jeff Pelletier
     Maarten de Rijke
     Michael Schiehlen
     Matthew Stone
     Bonnie Webber

As well as producing the workshop proceedings, we plan to publish a
selection of accepted papers as a book or special issue of a journal.

Home Index


Page maintained by

Last modified: Mon Jan 26 10:05:46 GMT 2006