Newsletter 90
January 22, 2004

* Past issues of the newsletter are available at
* Instructions for submitting an announcement to the newsletter
  can be found at

  LICS 2004 - Final Call for Papers
  CSL 04 - Call for Papers
  ICDT 2005 - Call for Papers
  NMR 2004 - Call for Papers
  AIML 2004 - Call for Papers
  Workshop on Guarded Logics - Call for Papers
  Symposium on Categorial Grammars 2004 - Call for Papers
  WISP 2004 - Call for Papers
  LFM'04 - Call for Papers
  WRS'04 - CaLL for Papers
  Spring School on Concurrency Theory and Applications
  Researcher/Senior Researcher, National ICT Australia

  (co-located with ICALP 2004)
  Turku, Finland, July 14-17, 2004
  Final Call for Papers
* The LICS Symposium is an annual international forum on theoretical and
  practical topics in computer science that relate to logic in a broad
  sense.  We invite submissions on that theme.  Suggested, but not
  exclusive, topics of interest for submissions include: automata
  theory, automated deduction, categorical models and logics,
  concurrency and distributed computation, constraint programming,
  constructive mathematics, database theory, domain theory, finite model
  theory, proof 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, logical representation of knowledge, logics of programs,
  logic programming, modal and temporal logics, model checking,
  programming language semantics, reasoning about security, rewriting,
  specifications, type systems and type theory, and verification.
* Authors are required to submit electronically a paper title and a
  short abstract of about 100 words before submitting the extended
  abstract of the paper.
    Titles & Short Abstracts Due : January 26, 2004
    Extended Abstracts Due       : February 2, 2004
    Author Notification          : March 27, 2004
    Camera-ready Papers Due      : April 25, 2004
  All deadlines are firm; late submissions will not be considered.
  Detailed information about electronic paper submission is available
  at the LICS website.
* LICS 2004 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 2004 submission site between March 27th and April 4th,
  2004.  Authors will be notified of acceptance or rejection by April
  17th, 2004.
* An award in honor of the late S.C. Kleene will be given for the best
  student paper, as judged by the program committee.  For a submission
  to be eligible, the research presented in the paper must have been
  carried out while all authors were full-time students. The program
  committee may decline to make the award or may split it among several
* As in previous years, there will be a number of workshops affiliated
  with LICS 2004; information will be posted at the LICS website.
* Program committee: Rajeev Alur, Andrew Appel, Albert Atserias,
  Franz Baader, Samuel Buss, Roberto Di Cosmo, Gilles Dowek,
  Harald Ganzinger (chair), Martin Hofmann, Achim Jung, Kim Larsen,
  Leonid Libkin, Rocco de Nicola, Damian Niwinski, Prakash Panangaden,
  Albert Rubio, Vitaly Shmatikov, Moshe Vardi, Helmut Veith,
  Andrei Voronkov
* Invited speakers:
  LICS: S. Abramsky (O. Oxford), D. Sangiorgi (U. di Bologna),
    I. Walukiewicz (U. Bordeaux),
  Joint ICALP/LICS: R. Harper (Carnegie Mellon), A. Razborov
    (Princeton & Moscow), M. Yannakakis (Stanford).

  Karpacz, Poland, September 20-24, 2004
  Call for Papers
* Computer Science Logic (CSL) is the annual conference of the European
  Association for Computer Science Logic (EACSL). The conference is
  intended for computer scientists whose research activities involve
  logic, as well as for logicians working on issues significant for
  computer science.
* The proceedings will be published in the Springer Lecture Notes in
  Computer Science. Papers accepted by the Programme Committee must
  be presented at the conference by one of the authors, and final
  copy prepared according to Springer's guidelines.
* Submitted papers must describe work not previously published.
  They must not be submitted concurrently to another conference with
  refereed proceedings. Research that is already submitted to a journal
  may be submitted to CSL, provided that (a) the PC chair is notified
  in advance that this is the case, and (b) it is not scheduled for
  journal publication before the conference. Papers authored or coauthored
  by members of the Programme Committee are not allowed.
* The submission deadline is in two stages.
    Titles and abstracts by  April  3, 2004,
    Full papers by           April 10, 2004.
  Notifications of acceptance will be sent by June 8, 2004,
  and final versions are due June 30, 2004. A submission server will
  be available from March 22, 2004.

  January 5-7, 2005, Edinburgh, Scotland
  Call for papers
* Topics: Access methods and physical design; Active databases;
  Complexity and performance; Concurrency and recovery; Constraint
  databases; Data integration and interoperability; Data mining; Data
  models; Database programming languages; Database updates; Databases
  and information retrieval; Databases and workflow; Databases and the
  Semantic Web; Databases in e-commerce; Databases in e-services;
  Deductive databases and knowledge bases; Distributed databases;
  Integrity and security; Logic and databases; Multimedia databases;
  Object-oriented databases; Query languages; Query optimization;
  Query processing; Real-time databases; Semi-structured, XML, and Web
  data; Spatial data; Temporal data; Transaction management; Views and
  data warehousing.
* The deadline for submissions is June 22, 2004.  Authors will be
  notified of acceptance or rejection before September 22, 2004;
  accepted papers in a specified format for the proceedings will be
  due by October 20, 2004.
* Best Newcomer Award: An award will be given to the best submission,
  as judged by the program committee, written solely by authors who
  have never published in earlier ICDT proceedings.
* Program Co-Chairs: Thomas Eiter (Vienna), Leonid Libkin (Toronto).
* Program Committee: Lars Arge, Catriel Beeri, Michael Benedikt,
  Leopoldo Bertossi, Nicole Bidoit, Giuseppe De Giacomo, Wenfei Fan,
  Nicola Leone, Jerzy Marcinkowski, Yossi Matias, Gultekin Ozsoyoglu,
  Rajeev Rastogi, Ken Ross, Thomas Schwentick, Kyuseok Shim, Eljas
  Soisalon-Soininen, Bernhard Thalheim, Jan Van den Bussche, Victor
  Vianu, Andrei Voronkov, Peter Widmayer.

  (Co-located with KR2004, ICAPS 2004, and DL 2004)
  Delta Whistler Resort Hotel, Whistler BC, Canada, June 6-8, 2004
  Call for Papers
* The NMR workshop series is the premier specialised forum for researchers
  in nonmonotonic reasoning and related areas. This will be the 10th
  workshop in the series. Its aim is to bring together active researchers
  in the broad area of nonmonotonic reasoning, including belief revision,
  reasoning about actions, planning, logic programming, causality,
  probabilistic and possibilistic approaches to KR, and other related
  topics. Workshop activities include invited talks, tutorials, presentations
  of technical papers and special sessions.  Although workshop fees have yet
  to be determined, the intent is to have no increase in fees for regular
  attendees, and a significant reduction in fees for graduate students.
  NMR 2004 will be composed of six specialised subworkshops:
   * Foundations of Nonmonotonic Reasoning
   * Computational Aspects of NonmonotonicReasoning
   * Action and Causality
   * Belief Change
   * Uncertainty Frameworks
   * Argument, Dialogue and Decision
  Information on the subworkshops may be accessed from the workshop home
  page.  As part of the "Computational Aspects of NMR" subworkshop, there
  will be a session for demonstrations of implemented NMR systems.
* Topics of Interest: NMR'04 welcomes the submission of papers broadly
  centred on issues and research in nonmonotonic reasoning. We welcome papers
  of either a theoretical or practical nature.  Topics of interest include
  (but are not limited to): foundations of non-monotonic reasoning, belief
  revision and information fusion, reasoning and decision-making under
  uncertainty, answer set programming, belief updating and inconsistency
  handling, default reasoning, similarity-based reasoning, empirical studies
  of reasoning strategies, representing actions and planning, argument-based
  nonmonotonic logics, abductive reasoning, algorithms and implementations,
  nonmonotonic logics in multiagent interaction, including negotiation and
  dispute resolution.
* Submission of Paper: Papers should be submitted to the program chair of the
  appropriate subworkshop; if it is not clear which subworkshop is most
  appropriate, please submit directly to the workshop Program Chairs.   We
  strongly encourage electronic submission of papers; see the workshop web
  site for details.
* Submission deadline: February 27, 2004.  Notification: March 31 2004.
* Program committee: Salem Benferhat (U Artois), Gerd Brewka (U Leipzig),
  James Delgrande (Simon Fraser U) (co-chair), Marc Denecker (U Leuven),
  Anthony Hunter (UC London), Tomi Janhunen (Helsinki U), Jerome Lang (IRIT,
  Toulouse), Maurice Pagnucco (U New South Wales), Odile Papini (U Toulon et
  du Var), Henri Prade (IRIT, Toulouse), Torsten Schaub (U Potsdam) (co-chair),
  Tran Cao Son (New Mexico State U), Michael Thielscher (TU Dresden), Mirek
  Truszczynski (U Kentucky).

  Second call for papers
  Manchester, UK, September 9-11, 2004,
* 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-2004 is the fifth conference organized as
  part of this initiative.
* Special session: "Modal Logics for Knowledge and Action".
* Invited speakers: Philippe Balbiani (Toulouse), Keith
  Devlin (Stanford) , Valentin Goranko (Johannesburg), Wiebe
  van der Hoek (Liverpool), Maarten Marx (Amsterdam), Robert
  Stalnaker (MIT).
* Paper submission: Authors are invited to submit a detailed
  abstract of a full paper of at most 10 pages (a4paper,
  11pt).  See website for further details.
* Submission deadline: April 15, 2004
* Publication details: Preliminary versions of the full papers
  will be made available at the meeting.  Authors will be
  invited to submit a full version, which will again be
  refereed. The selected papers will be included in the formal
  proceedings to be published by King's College Publications.

  9-13 August 2004, Nancy, France
  organized as part of ESSLLI 2004
  Call for papers
* It's been almost ten years since Andreka, van Benthem and Nemeti proved
  decidability of the guarded fragment of first order logic. Given how natural
  and expressive guarded quantification is, this result gave logicians a
  powerful tool of proving decidability of many formalisms arising in computer
  science applications, and generated much research into extensions of the
  guarded fragment to fixed point logic, transitive guards etc. A wealth of
  new proof techniques developed as a result. The workshop intends to bring
  this research together for the benefit of advanced logic and computer
  science PhD students interested in the area, and use a mixture of invited
  and contributed talks to cover both the new proof techniques and the
  relevance of guarded quantification for applications of logic in computer
* Authors are invited to submit a full paper either describing their published
  work (which should be instructive and interesting to PhD students working in
  the field and appropriate for presentation at the Summer School), or new and
  unpublished work. Submissions should not exceed 20 pages. The following
  formats are accepted: pdf, ps. Please send your submission electronically to
  nza at The submissions will be reviewed by the workshop's
  programme committee and additional reviewers. The accepted papers will
  appear in the workshop proceedings published by ESSLLI. It is likely that a
  selection of (revised and expanded) versions of the workshop papers will
  appear in a special issue of the Journal of Logic, Language and Information.
* The workshop is part of ESSLLI and is open to all ESSLLI participants. It
  will consist of five 90-minute sessions held over five consequtive days in
  the first week of ESSLLI. There will be 2 slots for paper presentation and
  discussion per session. On the first day the workshop organizer will give an
  introduction to the topic.
* Workshop programme committee
  Natasha Alechina (University of Nottingham), Johan van Benthem (University
  of Amsterdam), Erich Graedel (Aachen University), Maarten Marx (University
  of Amsterdam), Hans de Nivelle (Max Planck Institut fur Informatik,
  Saarbruecken), Martin Otto (Darmstadt University of Technology),
  Ulrike Sattler (University of Manchester).
* Important dates
  Submissions: March 5, 2004
  Notification: April 19, 2004
  ESSLLI early registration: May 1, 2004
  Preliminary programme: April 23, 2004
  Final papers for proceedings: May 15, 2004
  Final programme: June 25, 2004
  Workshop dates: August 9 - 13, 2004
* Local arrangements
  All workshop participants including the presenters will be required to
  register for ESSLLI. The registration fee for authors presenting a paper
  will correspond to the early student/workshop speaker registration fee.
  Moreover, a number of additional fee waiver grants will be available by the
  OC on a competitive basis and workshop participants are eligible to apply
  for those. There will be no reimbursement for travel costs and accomodation.
  Workshop speakers who have difficulty in finding funding should contact the
  local organising committee to ask for the possibilities for a grant.

  Call for papers
  Montpellier, France 7-11 June 2004
* Theme: Categorial grammars, type grammars and pregroups are formal
  structures for deciding whether a string of words is  a grammatical
  sentence. They assign one or more types to each word in the dictionary.
  One solves the problem whether a sequence of words is a grammatical
  sentence, by performing computations on the corresponding string(s)
  of types. This makes it possible to characterise the syntactic properties
  of natural languages entirely in terms of their lexical types and prove
  general properties, independent of the actual language fragment. These
  grammars are related to other mathematical approaches like intuitionist,
  classical and compact bilinear logic, non-symmetric *-autonomous
  categories, Montague semantics and Chomsky's minimalist programme.
  Some of these methods have matured to highly efficient tools for
  syntactical analysis.
* Previous meetings were held in Tucson, Rome, Nancy, Nantes, Trento and
  Ottawa. This symposium will cover new theoretical results and applications
  to natural languages. Contributions covering algorithmic problems arising
  during syntactical analysis of language fragments are also welcome.
* All submissions must be done electronically.  Please email your submission
* Submission Deadline : February 27, 2004
* Program committee: Wojciech Buszkowski (Univ of Poznan, Poland), Claudia
  Casadio(Univ. of Chieti, Italy), Dov Gabbay(King's College London, UK),
  Michael Moortgat (Univ. of Urecht, The Netherlands), Christian Retor (Univ.
  of Bordeaux I, France), Edward Stabler (UCLA, USA), Mark Steedman (Univ. of
  Edinburgh, UK)

  26 June 2004, Bologna (Italy)
  Preliminary Call for Papers
* The 2nd International Workshop on Security Issues with Petri
  Nets and other Computational Models (WISP2004) aims at promoting
  research about theoretical foundations of security analysis and
  design with formal methods and languages. WISP2004 starts from
  the positive experience with WISP2003, held in Eindhoven within
  the 24th International Conference on Application and Theory of
  Petri Nets (ICATPN'03). WISP2004 is co-located and will be held
  just after the 25th International Conference on Application and
  Theory of Petri Nets (ICATPN'04). Hence, original papers on the
  application of Petri Nets for security issues are particularly
  welcome. Also papers on security in other system models are
  sought as well.
* Deadline 02 April 2004
* For more details see website

  An IJCAR'04 affiliated workshop
  Cork, Ireland, July 04-08, 2004
* Logical frameworks and meta-languages form a common substrate for
  representing, implementing, and reasoning about a wide variety of
  deductive systems of interest in logic and computer science.  Their
  design and implementation has been the focus of considerable research
  over the last two decades, using competing and sometimes incompatible
  basic principles. This workshop will bring together designers,
  implementors, and practitioners to discuss all aspects of logical
* Submission deadline: Mon, Apr 12, 2004
* For more details see webpage

  June 2, 2003, Aachen, Germany,
  in conjunction with RDP'04
* Papers are solicited on all aspects of reduction strategies in
  rewriting and programming. Submissions should describe unpublished
  work, except for survey papers which are explicitly welcome, too.
* Submission deadline: March 17, 2004
* For more details see webpage

  Concurrency theory and applications
  April 26-30, 2004, Campus de Luminy, Marseille, France
* The Spring School on Theoretical Informatics is an institution
  in the domain of theoretical informatics in France. For many
  years, the school has developed under the guidance of Maurice
  Nivat, covering a large spectrum of topics and establishing as
  an excellent meeting point for the new generations of
  researchers. In the last years, the school has acquired a
  european dimension attracting scholars from several countries.
  In 2004, the school will focus on Concurrency Theory and
  Applications. This area has been developing in the last forty
  years starting from works in formal languages, programming,
  mathematical logic, and control theory. Nowadays, the theory
  proceeds along a certain number of avenues such as net theory,
  process calculi, and modal logics. Many specialised or enriched
  models have been developed in order to cover a variety of
  applications such as synchronous, real time, and distributed
* For more details see website

  Researcher/Senior Researcher
  Formal Methods for Computer Security
  National ICT Australia
  Formal Methods Program
* For details see full advertisement under Positions Vacant
* Enquiries to A/Prof. Ron van der Meyden (

Back to the LICS web page.