Newsletter 90
January 22, 2004
*******************************************************************
* Past issues of the newsletter are available at
http://www.lfcs.informatics.ed.ac.uk/lics/newsletters/
* Instructions for submitting an announcement to the newsletter
can be found at
http://www.lfcs.informatics.ed.ac.uk/lics/newsletters/inst.html
*******************************************************************
TABLE OF CONTENTS
* CONFERENCES AND WORKSHOPS
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
* GRADUATE SCHOOLS
Spring School on Concurrency Theory and Applications
* VACANCIES
Researcher/Senior Researcher, National ICT Australia
19TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2004)
(co-located with ICALP 2004)
Turku, Finland, July 14-17, 2004
http://www.lfcs.informatics.ed.ac.uk/lics/
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
papers.
* 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).
13th ANNUAL CONFERENCE OF THE EUROPEAN ASSOCIATION FOR COMPUTER
SCIENCE LOGIC (CSL 04)
Karpacz, Poland, September 20-24, 2004
http://www.csl04.ii.uni.wroc.pl/
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.
10th INTERNATIONAL CONFERENCE ON DATABASE THEORY (ICDT 2005)
January 5-7, 2005, Edinburgh, Scotland
http://www.cs.toronto.edu/db/icdt05/
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.
TENTH INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING (NMR 2004)
(Co-located with KR2004, ICAPS 2004, and DL 2004)
Delta Whistler Resort Hotel, Whistler BC, Canada, June 6-8, 2004
http://pims.math.ca/science/2004/NMR/
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).
ADVANCES IN MODAL LOGIC (AIML'2004)
Second call for papers
Manchester, UK, September 9-11, 2004,
http://www.cs.man.ac.uk/aiml04/
* 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.
WORKSHOP ON GUARDED LOGICS: PROOF TECHNIQUES AND APPLICATIONS
9-13 August 2004, Nancy, France
organized as part of ESSLLI 2004
http://esslli2004.loria.fr/
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
science.
* 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 cs.nott.ac.uk. 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.
SYMPOSIUM ON CATEGORIAL GRAMMARS 2004 - AN EFFICIENT TOOL FOR NATURAL
LANGUAGE PROCESSING
Call for papers
Montpellier, France 7-11 June 2004
http://www.lirmm.fr/CG2004/
* 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
to degeilh@lirmm.fr
* 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)
WISP 2004 - 2ND INTERNATIONAL WORKSHOP ON SECURITY ISSUES WITH
PETRI NETS AND OTHER COMPUTATIONAL MODELS
26 June 2004, Bologna (Italy)
Preliminary Call for Papers
http://www.iit.cnr.it/staff/fabio.martinelli/WISP2004cfp.htm
* 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
FOURTH INTERNATIONAL WORKSHOP ON LOGICAL FRAMEWORKS AND
META-LANGUAGES (LFM'04)
An IJCAR'04 affiliated workshop
Cork, Ireland, July 04-08, 2004
http://www.cs.yale.edu/~carsten/lfm04
* 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
frameworks.
* Submission deadline: Mon, Apr 12, 2004
* For more details see webpage
FOURTH INTERNATIONAL WORKSHOP ON REDUCTION STRATEGIES IN REWRITING
AND PROGRAMMING (WRS'04)
June 2, 2003, Aachen, Germany,
http://www-i2.informatik.rwth-aachen.de/WRS04/
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
32ND SPRING SCHOOL ON THEORETICAL COMPUTER SCIENCE
Concurrency theory and applications
April 26-30, 2004, Campus de Luminy, Marseille, France
http://www.cmi.univ-mrs.fr/epit32
* 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
systems.
* For more details see website
RESEARCH VACANCY
Researcher/Senior Researcher
Formal Methods for Computer Security
National ICT Australia
Formal Methods Program
* For details see full advertisement under Positions Vacant
at http://nicta.com.au
* Enquiries to A/Prof. Ron van der Meyden (meyden@nicta.com.au)
Back to the LICS web page.