[Past issues of the newsletter are available at
http://logik.mathematik.uni-freiburg.de/lics/newsletters/
http://www.math.uic.edu/lics/newsletters/]
************************* REMINDER *************************
The submission deadline for LICS 2001 is January 8, 2001.
************************************************************
TABLE OF CONTENTS
* Calls for Papers
Theoretical Aspects of Rationality and Knowledge (TARK VIII)
Logic Programming and Nonmonotonic Reasoning (LPNMR'01)
German/Austrian Conference on Artificial Intelligence
Temporal Representation and Reasoning (TIME'01)
Inconsistency in Data and Knowledge
* Call for Participation
International Conference on Database Theory (ICDT'01)
* Conference Announcement
Algebraic Topological Methods in Computer Science
* Book Announcement
Introduction to Model Theory by Philipp Rothmaler
* Position Announcements
Research Assistant at Aachen
2 PhD sholarships at Bern
Postdoctoral Fellow/Research Fellow at Sydney
CONFERENCE ON THEORETICAL ASPECTS OF RATIONALITY AND KNOWLEDGE (TARK VIII)
Call for papers
The Certosa di Pontignano, University of Siena, Italy
July 8-10, 2001,
http://www.tark.org/
* About the Conference: The bi-annual TARK conferences bring together
researchers from a wide variety of fields, including Artificial
Intelligence, Cryptography, Distributed Computing, Economics, Game
Theory, Linguistics, Logic, Philosophy, and Psychology -- to further
our understanding of interdisciplinary issues involving reasoning
about rationality and knowledge.
* Submission Instructions: Please submit a detailed electronic abstract
(not a full paper) ingrid@wins.uva.nl. In addition, please send 14
14 copies by ordinary mail to
TARK 2001, c/o Ms. Ingrid van Loon,
Institute for Logic, Language and Computation,
University of Amsterdam
Plantage Muidergracht
24,1018 TV AMSTERDAM
The Netherlands,
Strong preference will be given to papers whose topic is of
interest to an interdisciplinary audience, and papers should be
accessible to such an audience.
* Submission deadline: February 14, 2001.
* Program Committee: Johan van Benthem (chair, Amsterdam and Stanford,
johan@wins.uva.nl), Samson Abramsky (Computer Science, Edinburgh),
Giacomo Bonanno (Economics, UC Davis), Nicola Dimitri (Economics,
Siena), Joseph Halpern (Computer Science, Cornell), Wiebe van der Hoek
(Computer Science, Utrecht), Angelika Kratzer (Linguistics, Amherst),
Bart Lipman (Economics, Madison), Hans Rott (Philosophy, Regensburg),
Ariel Rubinstein (Economics, Tel Aviv and Princeton), Gabriel Sandu
(Philosophy, Helsinki), Yoav Shoham (Computer Science, Stanford),
Tuomas Sandholm (Computer Science, Washington U., S. Louis)
INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING AND NONMONOTONIC REASONING
(LPNMR'01)
Call for Papers
Vienna, Austria, September 17 - 19, 2001
http://www.kr.tuwien.ac.at/lpnmr01/
* Theme. The aim of the conference is to facilitate interactions between
researchers interested in the design and implementation of logic based
programming languages and database systems, and researchers who work in
the areas of knowledge representation and non-monotonic reasoning. LPNMR
strives to encompass these theoretical and exprimental studies that lead
to the construction of practical systems for declarative programming and
knowledge representation.
* Submission. Max. 13 pages in Springer LNCS style. An electronic paper
management system will be used. Details on the webpage.
* Submission Deadline. April 3, 2001
* Invited Speakers. J. Dix, Ph. Kolaitis, M. Lenzerini, Ch. Sakama
* Program Co-Chairs. Th. Eiter, M. Truszczynski
* Program Committee. A. Bochman, P. Bonatti, G. Brewka, J. Delgrande,
M. Denecker, N. Foo, M. Gelfond, K. Inoue, A. Kakas, N. Leone,
V. Lifschitz, F. Lin, V. Marek, Zh. Ming-Yi, I. Niemela, L. M. Pereira,
M. Schaerf, T. Schaub, F. Toni, L.-Y. Yuan
JOINT GERMAN/AUSTRIAN CONFERENCE ON ARTIFICIAL INTELLIGENCE
Call for Papers and Workshops
Vienna, Austria, September 19-21, 2001
http://www.kr.tuwien.ac.at/KI2001/
* Theme. The conference seeks original research and application papers
and workshop proposals in ALL areas of Artificial Intelligence.
* Paper Submission. Max. 15 pages in Springer LNCS style. Further details
will be published on the webpage.
* Paper Submission Deadline. April 9, 2001
* Workshop Proposal Submissions. Max. 3 pages of ASCII text mailed to the
workshop chair by January 29, 2001.
* Invited Speakers. H. Kamp, M. Kearns, R. Reiter, V.S. Subrahmanian
* General Chairs. G. Brewka, Th. Eiter
* Program Chair. F. Baader
* Workshop Chair. J. Dorn
* Industrial Chairs. G. Friedrich, K. Sundermeyer
* Program Committee. P. Cunningham, J. Dix, J. Dorn, D. Dubois, M. Fisher,
G. Friedrich, F. Giunchiglia, H.-M. Gross, A. Gunter, U. Hahn, T. Jebelean,
J. Koehler, M. Kohlhase, R. Kruse, M. Lenzerini, S. Miksch, B. Neumann,
M. Richter, R. Rojas, F. Rossi, U. Sattler, J. Siekmann, P. Struss,
M. Thielscher, S. Thrun, A. Voronkov, W. Wahlster, G. Widmer, S. Wrobel
INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING (TIME-01)
Call for Papers
June 14-16, 2001
Cividale del Friuli, Italy
http://tizero.usr.dsi.unimi.it/~time-01/
* The purpose of this symposium is to bring together active
researchers in different research areas involving time
representation and reasoning. Research papers on the related topic
of spatial and spatio-temporal representation and reasoning are also
welcome. Traditionally, most contributions came from the Artificial
Intelligence community, but the number of contributions from other
areas such as Temporal/Spatial Databases and Temporal Logics has
been increasing in the last years. We especially encourage
submissions from these areas in order to achieve a
multi-disciplinary perspective of the topic and to benefit from
cross-fertilization of ideas.
* The symposium is planned as a three days event, and it will be
conducted as a combination of paper presentations, an extended
poster session, a panel session and two invited talks.
* There are three tracks in the Symposium with separate program
committees.
Track1: Temporal Representation and Reasoning in AI
Track 2: Time Management in Databases
Track 3: Temporal Logic in Computer Science
* Important Dates:
Paper Submission Deadline: February 2, 2001
Notification of Acceptance: April 2, 2001
Camera Ready Copy Due: April 15, 2001
* General Chair:
Johan van Benthem, University of Amsterdam and Stanford University
Program Committee Chairs:
Claudio Bettini, Universita' degli Studi di Milano, Italy
Angelo Montanari, Universita' degli Studi di Udine, Italy
Local Organization Chair:
Carlo Combi, Universita' degli Studi di Udine, Italy
WORKSHOP ON INCONSISTENCY IN DATA AND KNOWLEDGE
Affilliated with IJCAI'01
Call for Papers
Seattle, August 6th, 2001
http://www.cse.buffalo.edu/~chomicki/inconsistency01.html
* Theme: The problem of reasoning in the presence of inconsistency has
been studied by the mathematical logic community for some
decades. Nevertheless, new challenges, problems and issues have
appeared in the context of knowledge representation in AI, database
systems, formal specifications and other areas of computer
science. The main goal of this workshop is to identify new
inconsistency-related problems of conceptual and practical
significance, and the ways they are handled in different
contexts. The workshop is expected to bring together people from
different research communities (knowledge representation, databases,
formal specifications, mathematical and philosophical logic) that
are actively pursuing the issue of inconsistency.
- Inconsistency handling: prevention, detection, resolution
- Causes of inconsistency - Reasoning in the presence of inconsistency
- Inconsistency in non-classical logics and argumentation systems
- Inconsistency in databases - Integrity Constraints
- Information fusion - Data reconciliation and cleaning
- Inconsistency and belief revision/update
- Action conflicts and their resolution
- Inconsistency in formal specifications - Implementation issues
* Submission deadline: March 08, 2001.
* Organizing Committee: Leo Bertossi (Universidad Catolica de Chile,
bertossi@ing.puc.cl) (co-chair), Philippe Besnard (Universite Paul
Sabatier, Toulouse, besnard@irit.fr), Jan Chomicki (SUNY at Buffalo,
chomicki@cse.buffalo.edu) (co-chair), Anthony Hunter (University
College London, a.hunter@cs.ucl.ac.uk).
* Program Committee: Diderik Batens (U. Gent, Belgium), Leo Bertossi
(U. Catolica de Chile), Philippe Besnard (Universite Paul Sabatier,
France), Laurence Cholvy (U. Toulouse, France), Jan Chomicki
(University at Buffalo, USA), Anthony Hunter (University College
London, England), Michael Kifer (SUNY Stony Brook, USA), Jorge Lobo
(Bell Labs., USA), Alberto Mendelzon (U. Toronto, Canada), Stuart
Shapiro (University at Buffalo, USA), Francesca Toni (Imperial
College London, England), Mary-Anne Williams (U. Newcastle,
Australia), Roel Wieringa (U. Twente, Netherlands)
INTERNATIONAL CONFERENCE ON DATABASE THEORY (ICDT'01)
Call for Participation
http://www.dcs.bbk.ac.uk/icdt2001
* The 8th International Conference on Database Theory will be held
from 4 to 6 January, 2001, at Birkbeck College, University of
London, UK. In addition to invited talks by Andrei Broder, Leonid
Libkin and Philip Wadler, 26 technical papers will be presented.
* See the webpage for more information, where also registration and
accommodation information will soon be provided.
CONFERENCE ON ALGEBRAIC TOPOLOGICAL METHODS IN COMPUTER SCIENCE
Department of Mathematics, Stanford University
July 30 - August 3, 2001
http://www.math.uwo.ca/~jardine/at-cs.html
* The application of algebraic topological methods in areas related to
Computer Science is an emerging field that is of interest to both
pure and applied mathematical scientists. The aim of this conference
is to describe recent advances, and define the fundamental open
problems in the field through a mixture of expository and technical
lectures. There will be twenty lectures, on a variety of topics in
the area.
* All lectures are by invitation. A preliminary list of speakers can
be found at the conference web site. All conference announcements
and information will be available at that site.
* Organizers: Gunnar Carlsson: gunnar@math.stanford.edu
Rick Jardine: jardine@uwo.ca
BOOK ANNOUNCEMENT
Introduction to Model Theory
Philipp Rothmaler
Gordon & Breach, Series Part: Algebra, Logic and Applications, Volume 15
Paperback ISBN 90-5699-313-5 Hardcover ISBN 90-5699-287-2
* Model theory attracts more and more mathematicians in view of
growing applications to classical parts of mathematics. Here is an
introductory text for anybody who wants to learn the basics and see
how they apply to yield powerful results in other mathematical
disciplines, be it an undergraduate or graduate student or any
interested mathematician.
* Suitable for readers who have not studied mathematical logic
previously (in fact, as opposed to most introductory texts,
syntactic issues are cut down to a model-theoretically relevant
minimum here).
* Also unusual for a text of this introductory level and making it
more pleasant for self-study: fine print remarks about connections
to other topics and history (within the text---making it unnecessary
to page back and forth between text and some supplementary parts).
* Some topics, like the two applications in the last part, have never
been treated in a textbook before. (One of them yielding the
dimension theory for fields of arbitrary cardinality (as a
particular case of the study of strongly minimal theories), an
important topic rarely treated in full detail even in algebra texts
of this level; the other about models of the theory of the group of
integers.)
* Detailed bibliography, an epilogue, and hints for further reading
leading the reader to some of the most recent and up to date
literature of active research in the field.
* Selected exercises have hints and solutions. Some of them reflect
very recent (even unpublished) research in the field.
RESEARCH ASSISTANT (POSTDOC)
AT THE UNIVERSITY OF TECHNOLOGY AACHEN (RWTH AACHEN)
The research group on mathematical foundations of computer
science (directed by Prof. Erich Graedel) at RWTH Aachen
is looking for a research assistant to join a DFG-funded project
on COMPUTATIONAL MODEL THEORY.
* The main goal of this project is the systematic extension of
finite model theory to a computational model theory that
covers also suitable classes of infinite structures.
Topics of interest are logical definability
and algorithmic complexity on finite and infinite structures,
model-theoretic and algorithmic issues on automatic structures,
metafinite structures, constraint databases, finitely representable
transition systems etc., and applications of computational
model theory to databases and verification.
* We seek a candidate with a PhD in mathematics or computer science,
strong background in mathematical logic, and good knowledge in
either (finite) model theory, complexity theory or automata.
* The salary is calculated according to the German scale BAT IIa,
around DM 3000 - 3600 (EUR 1500 - 1800) per month,
after taxes, depending on age and marital status.
The length of the appointment is negotiable (up to three years),
the starting date should be within six months.
* Further information about our research group can be found at
www-mgi.informatik.rwth-aachen.de.
* Informal inquiries and applications should
be sent by e-mail, as soon as possible,
to graedel@informatik.rwth-aachen.de.
PHD SCHOLARSHIPS IN THEORETICAL COMPUTER SCIENCE / LOGIC
Institute for Computer Science and Applied Mathematics
Bern University, Switzerland
* 2 PhD sholarships are available in the research group "Theoretical
Computer Science and Logic" at the Institute for Computer Science
and Applied Mathematics of Bern University
(cf. http://www.iam.unibe.ch/~til/ for further information about our
group). Both positions are available from January 1, 2001 for a
period of two years, after which time an extension for another 2
years may be possible.
* One position is within a research project concerned with explicit
mathematics, metapredicativity, abstract computations and related
proof-theoretic questions. The second is centered around
non-classical logics and their computational aspects.
* Requirements: Good background in logic and/or theoretical computer
science; relevant degree (e.g. diploma or MS) in computer science or
mathematics.
* For further information contact the head of the research group
G. Jaeger (email: jaeger@iam.unibe.ch, phone: +41 31 631 85 60, fax:
+41 31 631 32 60).
POSTDOCTORAL FELLOW/ RESEARCH FELLOW
Model Checking Logics Of Knowledge And Belief
* School of Computer Science and Engineering
University of New South Wales, Sydney, Australia
* Salary Range: $A 39,868 - 45,049
* A postdoctoral fellowship/research fellowship is available in
applications of modal logic to distributed systems. The project,
supported by a grant from the Australian Research Council, concerns
the development of a model checker for logics of knowledge and belief
and its application to the verification of knowledge-based programs
and security protocols. Applicants should have, or be about to
complete, a Ph.D. in computer science, or equivalent research
experience appropriate to the project, expertise in modal logic
(particularly epistemic logic and temporal logic) and/or model
checking, and significant programming experience. Information
concerning the position, including a duty statement listing selection
criteria, is available at URL:
http://cse.unsw.edu.au/~meyden/positions.html
* Assoc. Prof. Ron van der Meyden
School of Computer Science and Engineering
University of New South Wales
Sydney 2052 Australia
email: meyden@cse.unsw.edu.au
www: http://www.cse.unsw.edu.au/~meyden
Back to the LICS web page.
Martin Grohe