BLC Newsletter January 2004


BRITISH LOGIC COLLOQUIUM
Registered Charity No 275541

http://www.cs.bham.ac.uk/~exr/blc

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

---------------------------------------------------------
Dear members,

A number of announcements for this first newsletter of the year:

(1) ESSLLI 2004, Nancy, France 9-20 August, 2004
(preliminary announcement).

(2) LICS Newsletter

(3) ALAN MATHISON TURING 2004 Conference, June 5th, 2004,
University of Manchester

(4) FINAL CALL FOR PAPERS
                 Nineteenth Annual IEEE Symposium on
                LOGIC IN COMPUTER SCIENCE (LICS 2004)
               July  14th - 17th, 2004, Turku, Finland

(5) Nominations invited: BCS Roger Needham award and Lovelace medal

(6) MATHEMATICAL LOGIC SEMINARS, Oxford

(7) MATHEMATICAL LOGIC SEMINARS, Leeds

(8)  1st Call for Papers / Participation

                   ELEVENTH WORKSHOP ON AUTOMATED REASONING:
               BRIDGING THE GAP BETWEEN THEORY AND PRACTICE

                         (co-located with AISB'04)

                       University of Leeds, Leeds, UK
                        31st March - 1st April 2004**

    Best wishes, Mirna.
----------------------------------------------------------------
---------------------------------------------------------------

=======================================================================
ESSLLI 2004 ESSLLI 2004 ESSLLI 2004 ESSLLI 2004 ESSLLI 2004 ESSLLI 2004 

                   Preliminary Announcement 

                          ESSLLI 2004

               Nancy, France 9-20 August, 2004
=======================================================================
ESSLLI 2004, the 16th European Summer School in Logic, Language and
Information will be held in Nancy, France 9-20 August, 2004.  It is
being hosted by LORIA (the Laboratoire lorrain de recherche en
informatique et ses applications) and will be held on the Campus
Scientifique of the University of Nancy 1 (University Henri Poincare).

ESSLLI is the annual summer school of FoLLI, the European Association
for Logic, Language and Information. Like previous ESSLLIs, ESSLLI
2004 will offer a two week program of foundational lectures,
introductory lectures, advanced lectures, and workshops. All in all,
48 lectures and workshops will be offered.  You can find more
information, including a timetable, at the ESSLLI 2004 website:

   http://esslli2004.loria.fr

Registration for ESSLLI 2004 is not yet open, but on this website you
will already find preliminary information about registration,
accomodation and prices. An email announcement will be sent around
when registation opens.

We look forward to seeing you in Nancy this August!

Carlos Areces, Patrick Blackburn  (for the organising committee)
Helene Kirchner (Director of Loria)

=======================================================================
ESSLLI 2004 ESSLLI 2004 ESSLLI 2004 ESSLLI 2004 ESSLLI 2004 ESSLLI 2004
=======================================================================

(2) 

*******************************************************************  
* 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) 

(3)

   Conference Announcement
  ALAN MATHISON TURING 2004:
 A celebration of his life and achievements

  June 5th, 2004, University of Manchester, UK
  http://www.maths.man.ac.uk/logic/turing2004/



The `Turing 2004' meeting will be held at Manchester University to
celebrate Turing's life and achievements on the 50th anniversary of
his death. Some funds are available to subsidise students to travel to
the meeting. See the conference webpage for full details and
registration forms.

The speakers, covering all aspects of Turing's  mathematical
heritage, will be:

Andrew Hodges (Oxford)
Barry Cooper (Leeds)
Jack Copeland (Canterbury, NZ)
David Anderson (Portsmouth)
Jonathan Swinton (Cambridge) 	


The meeting is jointly organised  by:
British Logic Colloquium
British Society for the History of Mathematics.

Sponsored by:
London Mathematical Society
British Logic Colloquium

...................................................................

(4) 


Subject: LICS 2004: Final CFP


The deadlines for submitting to LICS 2004 are approaching:

  Titles & Short Abstracts Due : January 26, 2004
  Extended Abstracts Due       : February 2, 2004  

-----
  
                       FINAL CALL FOR PAPERS

                 Nineteenth Annual IEEE Symposium on 
                LOGIC IN COMPUTER SCIENCE (LICS 2004)

               July  14th - 17th, 2004, Turku, Finland
              http://www.lfcs.informatics.ed.ac.uk/lics/


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.


Important Dates: 
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 are
available from the LICS website.

Submission Instructions:  
Extended abstracts must be submitted electronically in the IEEE
Proceedings two-column camera-ready format.  Each abstract must be in
English and provide sufficient detail to allow the program committee
to assess the merits of the paper. It should begin with a succinct
statement of the issues, a summary of the main results, and a brief
explanation of their significance and relevance to the conference and
to computer science, all phrased for the non-specialist.  Technical
development directed to the specialist should follow. References and
comparisons with related work should be included.  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 are accessible from the LICS website).  If necessary,
detailed proofs of technical results can be included in a
clearly-labelled appendix in the same two-column format following the
10-page extended abstract. This material may be read at the discretion
of the program committee.  Extended abstracts not conforming to the
above requirements concerning format and length may be rejected
without further consideration.  The results must be unpublished and
not submitted for publication elsewhere, including the proceedings of
other symposia or workshops.  All authors of accepted papers will be
expected to sign copyright release forms.  One author of each accepted
paper will be expected to present it at the conference.


Short Presentations:  
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.


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.  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.

Affiliated Workshops:  
As in previous years, there will be a number of workshops affiliated
with LICS 2004; information will be posted at the LICS website.


Program Chair:
Harald Ganzinger
MPI Informatik, Saarbruecken, Germany
http://www.mpi-sb.mpg.de/~hg/


Program Committee:
Rajeev Alur, U. of Pennsylvania
Andrew Appel, Princeton U.
Albert Atserias, UPC, Barcelona
Franz Baader, Dresden U.
Samuel Buss, U. of California, San Diego
Roberto Di Cosmo, U. de Paris VII 
Gilles Dowek, Ecole Polytechnique, Paris
Harald Ganzinger, MPI, Saarbruecken (chair)
Martin Hofmann, LMU Muenchen
Achim Jung, U. of Birmingham
Kim Larsen, Aalborg U.
Leonid Libkin, U. of Toronto 
Rocco de Nicola, U. di Firenze
Damian Niwinski, Warsaw U.
Prakash Panangaden, McGill U., Montreal
Albert Rubio, UPC, Barcelona
Vitaly Shmatikov, SRI International
Moshe Vardi, Rice U., Houston
Helmut Veith, TU Wien
Andrei Voronkov, U. of Manchester


Conference Chair:
Lauri Hella
Department of Math., Stat., and Phil.
Kanslerinrinne 1
33014 University of Tampere,
Finland
Email: lauri.hella@uta.fi


Workshops Chair:
Phil Scott, U. of Ottawa
Email: phil@site.uottawa.ca


Publicity Chair:
Alex Simpson, U. of Edinburgh
Email: Alex.Simpson@ed.ac.uk


General Chair:
Phokion G. Kolaitis, UC Santa Cruz
Email: kolaitis@cse.ucsc.edu


Organizing Committee:
S. Abramsky, A. Broder, E. Clarke, A. Felty,
H. Ganzinger, H. Gabow, J. Halpern, L. Hella,
U. Kohlenbach, P. Kolaitis (chair), D. Leivant, 
G. Longo, H. Mairson, A. Middeldorp, J. Mitchell, 
M. Nielsen, P. Panangaden, G. Plotkin,  F. Pfenning, 
P. Scott, R. Shore, A. Simpson, I.A. Stewart.

Advisory Board:
Y. Gurevich, C. Kirchner, D. Kozen, U. Martin, L. Pacholski,
V. Pratt, A. Scedrov, M.Y. Vardi, G. Winskel.



Sponsorship: 
The symposium is sponsored by the IEEE Technical Committee on
Mathematical Foundations of Computing in cooperation with the
Association for Symbolic Logic, and the European Association for
Theoretical Computer Science.


Invited Speakers:
The following distinguished speakers have agreed to
give invited talks at LICS 2004 : 
Samson Abramsky (Oxford U.),
Robert Harper (Carnegie Mellon University),
Alexander Razborov (IAS, Princeton, and Steklov Math. Inst., Moscow),
Davide Sangiorgi (U. di Bologna),
Igor Walukiewicz (U. Bordeaux), and
Mihalis Yannakakis (Stanford U.).


Collocated events: 
ICALP'04 will be collocated with LICS'04; for details see
http://www.math.utu.fi/ICALP04/. 

(5) 


Nominations invited: BCS Roger Needham award and Lovelace medal

The BCS is delighted to invite nominations for the Roger Needham award 
and the Lovelace medal, with a deadline of 31st January.

The first Roger Needham award, sponsored by Microsoft Research, and 
established in memory of the late Roger Needham, is for a distinguished 
research contribution in computer science by a UK based researcher 
within ten years of their PhD.  It consists of a UKP5000 prize together 
with an opportunity to give a public lecture on their work. Roger 
Needham, 1935-2003, was Professor of Computer Systems, Head of the 
Computer Laboratory and Pro-Vice Chancellor at the University of 
Cambridge. In 1997 he became first director of Microsoft Research in 
Cambridge. His work in computer science was wide ranging: in the 1950s 
he worked on information retrieval and cluster analysis; in the 1960s 
on design automation and operating systems (during which time he 
invented the practice of storing passwords under one way functions); in 
the 1970s on protection, local area networks and distributed computing; 
and thereafter on authentication protocols and logics for analysing 
them.

The BCS is also seeking nominations for its Lovelace Medal, which was 
established in 1998. Ada Lovelace was a mathematician and scientist who 
worked with, and was an inspiration to, the computer pioneer Charles 
Babbage. The Medal is intended to be presented to individuals who have 
made a contribution which is of major significance in the advancement 
of Information Systems or which adds significantly to the understanding 
of Information Systems. The essence of the award is to recognise people 
who may not have been widely recognised before, and these may include 
international candidates. Equally, the panel will be pleased to 
consider those who may have made a managerial, as opposed to a purely 
technical, contribution.  Previous winners of the Lovelace Medal have 
included:
  Ian Foster and Carl Kesselman (2002), Douglas C. Engelbart (2001), 
Linus Torvalds (2000) and  Michael Jackson and  Chris Burton (1998).

Nominations for both awards will be considered by the BCS Learned 
Society Awards Committee:
Professor Ursula Martin, Queen Mary University of London and University 
of Cambridge (Chair)
Professor Samson Abramsky, University of Oxford
Dr Stephen Bourne, Palo Alto (Past President ACM)
Prof Peter Johnstone, Bath University (Chair Distinguished 
dissertations committee)
Professor Paul Luker, University of Bournemouth (Chair CPHC)
Professor Derek Macauley, Intel Research Cambridge
Dr Ian Nussey, IBM UK
Professor Nigel Shadbolt, University of  Southampton (Vice President 
Knowledge Services, BCS)
Professor Susan Stepney, University of York
Sir Peter Williams FRS, Chair ETB
Dr Mike Rodd, Director of Knowledge Services, BCS

Criteria and nominations: Roger Needham award

The Roger Needham award will be made annually for distinguished 
research contribution in computer science by a UK based researcher 
within ten years of being awarded their PhD.  "UK based" means that 
candidates have been ordinarily resident in the UK for three years 
prior to nomination, or have an equivalent substantial connection to 
the UK. Thus if nominated in year N they should normally have been 
resident in the UK from 1st January year N-3, and received their PhD 
after 1st January year N-10.

A nomination for the Roger Needham award should consist of:
(i) Full name and contact details of the nominee,
(ii) full name and contact details of the nominator,
(iii) a description in up to 500 words of the distinguished research 
contribution in computer science of the nominee, and its importance, in 
a form accessible to a general computing science audience, and
(ii) a CV of up to four pages of the nominee.
Nominations should be in the form of a single electronic file in Word 
or pdf format. Document security levels should be set so that the file 
can be copied, printed and extracted from. The name of the nominee must 
be in the title of the file. They should be sent, by 31st January 2004, 
to needhamaward@hq.bcs.org.uk.

Criteria and nominations: Lovelace medal

The Medal is intended to be presented to individuals who have made a 
contribution which is of major significance in the advancement of 
Information Systems or which adds significantly to the understanding of 
Information Systems. The essence of the award is to recognise people 
who may not have been widely recognised before, and these may include 
international candidates. Equally, the BCS is pleased to consider those 
who may have made a managerial, as opposed to a purely technical, 
contribution.

A nomination for the Lovelace Medal should consist of:
(i) Full name and contact details of the nominee,
(ii) full name and contact details of the nominator,
(iii) a description in up to 500 words of the candidates significance 
in the advancement of Information Systems or to the understanding of 
Information Systems, in a form accessible to a general computing 
science audience, and
(ii) a CV of up to four pages of the nominee.
Nominations should be in the form of a single electronic file in Word 
or pdf format. Document security levels should be set so that the file 
can be copied, printed and extracted from. The name of the nominee must 
be in the title of the file. They should be sent, by 31st January 2004, 
to lovelaceaward@hq.bcs.org.uk.

Further enquiries about either award may be made to Dr Mike Rodd, (UK) 
01793 417 610, mrodd@hq.bcs.org.uk.
Information may also be found on the web at
http://www.bcs.org.uk

The 2004 winners will be announced at the Grand Challenges in Computing 
conference, a joint BCS/CPHC event taking place in Gateshead, 29-31 
March 2004.

(6)




              MATHEMATICAL LOGIC SEMINARS

The following seminars will take place in the Mathematical Institute at
3.15 on Fridays.PLEASE NOTE THE NEW TIME.

23 Jan  T Pheidas (Crete)

        "Solvability of polynomial equations in algebraic domains:a
         survey"


30 Jan  M Taitslin (Tver)

        "Pseudo-finite homogeneity and isolation"


6 Feb   T De Piro (Edinburgh)

        "The group configuration for 2-simple theories"


13 Feb  N Vorobjov (Bath)

        "Betti numbers of definable sets"


20 Feb  A Borovik (UMIST)

        "Groups of finite Morley rank"


27 Feb  S Abramsky (Oxford)

        "Towards a logic of entanglement"


5 Mar   A Shlapentokh (East Carolina)

        "Hilbert's 10th problem and Mazur's conjectures"


12 Mar  H Braun (Oxford)

        "Definability questions for classes of holomorphic functions"



                                                              A J Wilkie

(7) 



 
                           UNIVERSITY OF LEEDS
                      Department of Pure Mathematics
                        MATHEMATICAL LOGIC SEMINAR
                                Spring 2003
                            Preliminary notice

January 14th Sergei Tupailo (Leeds) Some open problems in proof theory

Feb 4th Anton Setzer (Swansea) The \Pi_3-reflecting universe

Feb 11th Mikhail Taitslin (Tver State University, visiting Oxford) 
          Collapse results in database theory

Feb 18th Angus Macintyre (Edinburgh) Title to be announced

Feb 25th Katie Chicot (Leeds) Countable 1-transitive trees

     The lectures will be held on Wednesdays at 4 pm in room H,
Mathematics building. Tea at 3.30 pm. 

                          J. K. Truss

(8)




                     1st Call for Papers / Participation

                   ELEVENTH WORKSHOP ON AUTOMATED REASONING:
               BRIDGING THE GAP BETWEEN THEORY AND PRACTICE

                         (co-located with AISB'04)

                       University of Leeds, Leeds, UK
                        31st March - 1st April 2004**

            ** Provisional upon final scheduling of AISB events
                    (certainly between 30th Mar & 1st Apr)

               http://www.comp.leeds.ac.uk/brandon/ARW04.html

Continuing  the highly  successful  series of  Workshops on  Automated
Reasoning, this event will provide an informal forum for the automated
reasoning community.   The ARW workshop series aims  to bring together
researchers from all  areas of automated reasoning in  order to foster
links  and facilitate cross-fertilisation  of ideas  among researchers
from  various disciplines; among  researchers from  academia, industry
and government; and between theoreticians and practitioners.

Details  of the ARW  organisation and  of previous  ARW events  can be
found at http://www.dcs.kcl.ac.uk/staff/endriss/ARW/.

Topics
******

The workshop  will cover the  full breadth and diversity  of automated
reasoning and will include topics such as:

  * Theorem proving in classical and non-classical logics
  * Reasoning systems and mechanisms:
      - Description logics
      - Equational reasoning, unification
      - Induction
      - Constraint Satisfaction
      - Specialised decision procedures
  * Formal methods in software analysis:
     - specification, verification
  * Non-classical inference:
       - Nonmonotonic reasoning, abduction
       - intuitionistic reasoning
  * Logic-based knowledge representation:
       - Ontology specification,
       - Domain specific reasoning (spatial, temporal, epistemic etc)
  * Reasoning for agents (or about agents)
  * Interactive theorem proving
  * Implementation issues and empirical results

Invited Speakers
****************

To be announced shortly.

Submission of Abstracts
***********************

We  invite  interested  persons  to  submit  a  camera-ready  two-page
abstract  about  recent  work  or   work  in  progress,  or  a  system
description. Anyone wishing to attend but not interested in presenting
should send a shorter position statement (1/2 - 1 page).

Submissions should  be sent in in  either Postscript or  PDF format by
email to Brandon Bennett: brandon@comp.leeds.ac.uk

Each  submission  should  include  the names  and  complete  addresses
(including email) of  all authors. Correspondence will be  sent to the
first author,  unless otherwise indicated.  The main objective  of the
abstracts  is   to  spread  information  about  recent   work  in  our
community. Abstracts will be  published in informal workshop notes and
be made available by WWW.

Panel Sessions
**************

Proposals for panel sessions should be made as soon as possible.
Please email the proposal to Brandon Bennett (brandon@comp.leeds.ac.uk).

Student Grants
**************

We have a limited number of  grants available to PhD students who wish
to  attend ARW 2002.  To indicate  your interest  please send  a short
email  to  Ulle Endriss  (endriss@dcs.kcl.ac.uk)  anytime before  15th
March 2002.

Important Dates
***************

   Abstract submission:       up to 23rd February 2004
   Notification of authors:   shortly after submission
   Grant application:         up to 1st March 2004
   Early registration:        up to 14th March 2004
   Workshop dates:            31st March and 1st April 2004 **

   ** This is provisional on final scheduling and room allocation for
      AISB symposia. Final date will be announced very soon.
      In any event ARW will take place in the range 29th March to 1st
      April.


Format of the Workshop
**********************

The workshop is  intended to be an inclusive  event, with participants
encouraged from the  broad spectrum covered by the  field of automated
reasoning. We  encourage the participation  of experienced researchers
as well as those new to the field, especially students.

There will  be invited talks,  panel sessions, short  presentations of
the papers,  and poster  sessions. The workshop  will last 2  days and
will be co-located  with the AISB'04 convention which  runs 29th March
to 1st April 2002.

Details of AISB'04 can be found at: http://www.leeds.ac.uk/aisb/.

Organising Committee
********************

Brandon Bennett (University of Leeds) -- 2004 Programme chair
Alan Bundy (University of Edinburgh)
Simon Colton (Imperial College London)
David Crocker (Escher Technologies Limited)
Clare Dixon (University of Liverpool)
Ulle Endriss (King's College London) -- Secretary/Treasurer
Michael Fisher (University of Liverpool)
Alan Frisch (University of York) -- Organising Committee Chair
Ian P. Gent (University of St. Andrews)
Ullrich Hustadt (University of Liverpool)
Manfred Kerber (University of Birmingham)
Tom Melham (Oxford University Computing Laboratory)
Renate Schmidt (University of Manchester)
Andrei Voronkov (University of Manchester)
Toby Walsh (University College Cork)


-----------
Dr Mirna Dzamonja
Reader
School of Mathematics
University of East Anglia
Norwich, NR47TJ
UK

phone: +44-1603-592981
fax: +44-1603-593868



Home Index

+++++++++++++++++++++++++++

Page maintained by E.Ritter@cs.bham.ac.uk

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