BLC Newsletter April 2005

BRITISH LOGIC COLLOQUIUM
Registered Charity No 275541

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

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

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

I enclose the next edition of the BLC newsletter.
    You will also receive another two messages from me later today. The
first will contain
email addresses of all members that are reachable by email, for your record=
s,
This message will have empty body, only the addresses will be enclosed
in the cc format, so no reason to wade through all those addresses, just
save  them in your address books! The message after that will be just a
reminder of how to reach the BLC members only area.
    The newsletter follows, best wishes, Mirna.

(1) LICS 2005 accepted papers
(2) BPA members area
(3) Conference on Technology, Knowledge and Society, Hyderabad, India, 12/0=
5
(4) FLOC 2006 Preliminary Announcement
(5) CAI 2005 Call for Participation
(6) A book announcement of a book by D Makinson, with a special discount fo=
r BLC members!
(7) Logic seminar in Leeds schedule
(8) LICS Newsletter 98


---------------------------------------------------------------------
--------------------------------------------------------------------


List of Papers Accepted at IEEE Symposium On Logic In Computer Science 2005

Geoffrey Washburn and Stephanie Weirich. Generalizing Parametricity Using
Information-flow

Clemens Kupke and Yde Venema. Closure properties of coalgebra automata

Abbas Edalat and Dirk Pattinson. Inverse and Implicit Functions in Domain
Theory

Jerome Leroux. A Polynomial Time Presburger Criterion and Synthesis for
Number Decision Diagrams

Patrice Godefroid and Michael Huth. Model Checking Vs. Generalized Model
Checking: Semantic Minimizations for Temporal Logics

Giuseppe Castagna, Rocco De Nicola and Daniele Varacca. Semantic Subtyping
for the PI-calculus

Paul-Andre Mellies and Jerome Vouillon. Recursive polymorphic types and
parametricity in an operational framework

Pawel Sobocinski and Vladimiro Sassone. Reactive systems over cospans

Anuj Dawar and Martin Otto. Modal Characterisation Theorems over Special
Classes of Frames

Emanuel Kieronski and Martin Otto. Small Substructures and Decidability
Issues for First-Order Logic with Two Variables

Richard Mayr, Parosh Abdulla and Noomene Ben Henda. Verifying Infinite
Markov Chains with a Finite Attractor or the Global Coarseness Property

Hongseok Yang, Lars Birkedal and Noah Torp-Smith. Semantics of
Separation-logic Typing and Higher-order Frame Rules

Kohei Honda, Martin Berger and Nobuko Yoshida. An Observationally Complete
Logic for Imperative Higher-Order Functions

Bernd Finkbeiner and Sven Schewe. Uniform Distributed Synthesis

Leonid Libkin and Pablo Barcelo. Temporal Logics over Unranked Trees

Victor Dalmau. Generalized Majority-Minority Operations are Tractable

Glynn Winskel. Name Generation and Linearity

Ugo Dal Lago. The Geometry of Linear Higher-Order Recursion

Maarten Marx and Evan Goris. Looping Caterpillars

Luigi Santocanale. Completions of mu-algebras

Soren Lassen. Normal Form Bisimulation for Call-By-Value Lambda Calculus

Javier Esparza, Antonin Kucera and Richard Mayr. Quantitative Analysis of
Probabilistic Pushdown Automata: Expectations and Variances

Lutz Strassburger and Francois Lamarche. Constructing free Boolean
categories

Joel Ouaknine and James Worrell. On the Decidability of Metric Temporal
Logic

Martin Escardo and Ho Weng Kin. Operational domain theory and topology of a
sequential programming language

Albert Atserias. Definability on a Random 3-CNF Formula

Bruno Blanchet, Martin Abadi and Cedric Fournet. Automated Verification of
Selected Equivalences for Security Protocols

Alexis Saurin. Separation with streams in the $\Lambda\mu$-calculus

Krishnendu Chatterjee, Thomas A. Henzinger and Marcin
Jurdzinski. Mean-Payoff Parity Games

Hannu Niemisto. On locality and uniform reduction

Claudia Faggian and Francois Maurel. Ludics nets, a model of concurrent
interaction

Christel Baier and Marcus Groesser. Recognizing omega-regular languages
with probabilistic automata

Iovka Boneva, Jean-Marc Talbot and Sophie Tison. Expressiveness of a
spatial logic for trees

Christopher Hardin. Proof Theory for Kleene Algebra

Benjamin Rossman. Existential Positive Types and Preservation under
Homomorphisms

Paul-Andre Mellies. A fully complete model of propositional linear logic

Markus Lohrey. Model-Checking Hierarchical Structures

Masahito Hasegawa. Relational Parametricity and Control

Martin Hofmann. Proof-theoretic approach to description-logic

Thorsten Altenkirch and Jonathan Grattage. A functional quantum programming
language

Michael Maher. Herbrand Constraint Abduction

Jos C.M. Baeten and Flavio Corradini. A Characterization of Regular
Expressions in Process Algebra

Limin Jia, Frances Spalding, David Walker and Neal Glew. Certifying
Compilation for a Language with Stack Allocation

Albert Atserias. On Digraph Coloring Problems and Treewidth Duality

(2)


Announcing a new feature on the web site

We now have a new Member's page which is available for members to
communicate with other members about anything relevant to their work
or interests in Philosophy - e.g., asking about suitable teaching
materials on a particular topic, enquiring whether anyone is working
on a particular area or problem, or offering books or journals for
sale.

Material is to be sent to the web master Robin Cameron -
j.r.cameron@abdn.ac.uk The decision of the webmaster on whether a
matter is appropriate for inclusion (made in consultation with the
Secretary if necessary) shall be final.

Comments on format are welcomed.
Finally, the list of visiting speakers has some new information. If
you have details of visiting speakers who could be added to the list,
please send speaker names and email addresses, the date and location
of the planned visit and, if known, the subject matter of their
seminar or paper, to Robin Cameron (j.r.cameron@abdn.ac.uk).The BPA
hopes that this list of philosophers who are to be visiting the UK
will be helpful to British philosophy departments and individual
philosophers, and perhaps also to the visitors themselves. Please
help us to maintain it.

May we also remind you that you can publicise conferences through the
philosophical events page. Details to be sent to Robin Cameron.

Georgia Testa
Executive Secretary BPA
Room 260, Senate House
Malet Street
London WC1E 7HU
email: admin@britphil.ac.uk
web: http://www.britphil.ac.uk

(3)

Dear Colleague,

I am writing to you on behalf of the Conference Organising Committee to inf=
orm you of the call-for-papers for:

THE SECOND INTERNATIONAL CONFERENCE ON TECHNOLOGY, KNOWLEDGE AND SOCIETY
Hyderabad, India, 12-15 2005
http://www.Technology-Conference.com

Following the success of the inaugural International Conference on Technolo=
gy, Knowledge and Society held at the University of California Berkeley, US=
A, we are pleased to announce the second conference, to be held in one of t=
he emerging IT centres of the world, Hyderabad.

The conference will take a broad and cross-disciplinary approach to technol=
ogy in society. With a particular focus on digital information and communic=
ations technologies, the conference will address: human usability, technolo=
gies for citizenship and community participation, and learning technologies=
=2E Participants will include researchers, teachers and practitioners whose=
 interests are either technical or humanistic, or whose work crosses over b=
etween the applied technological and social sciences.

As well as an impressive line up of international main speakers, the confer=
ence will also include numerous paper, workshop and colloquium presentation=
s. We would particularly like to invite you to respond to the conference ca=
ll for papers. Papers submitted for the conference proceedings will be full=
y peer-refereed and published in print and electronic formats in the new In=
ternational Journal of Technology, Knowledge and Society. If you are unable=
 to attend the conference in person, virtual registrations are also availab=
le which allow you to submit a paper for refereeing and possible publicatio=
n in this fully refereed academic journal, as well as access to the electro=
nic version of the conference proceedings. The deadline for the first round=
 call for papers is 1 June 2005. Proposals are reviewed within four weeks o=
f submission.

Full details of the conference, including an online call for papers form, a=
re to be found at the conference website.

Yours Sincerely,


Prof. Amar Galla
The Australian National University
Canberra, Australia

***
(4)




 =09=09   Preliminary Announcement --- FLoC'06
 =09=09    The 2006 Federated Logic Conference
 =09               Seattle, Washington, USA
                         August 10 -- August 22, 2006
           http://research.microsoft.com/projects/FLoC2006/home.html
                     http://research.microsoft.com/floc06/


In 1996, as part of its Special Year on Logic and Algorithms, DIMACS hosted
the first Federated Logic Conference (FLoC). It was modeled after the
successful Federated Computer Research Conference (FCRC), and synergeticall=
y
brought together conferences that apply logic to computer science.  The
second Federated Logic Conference (FLoC'99) was held in Trento, Italy,=20
in 1999, and the third (FLoC'02) was held in Copenhagen, Denmark, in 2002.

We are pleased to announce the fourth Federated Logic Conference (FLoC'06)
to be held in Seattle, Washington, in August 2006, at the Seattle Sheraton
(http://www.sheraton.com/seattle).

The following conferences will participate in FLoC.

Int'l Conference on Computer-Aided Verification (CAV)
Int'l Conference on Rewriting Techniques and Applications (RTA)
IEEE Symposium on Logic in Computer Science (LICS)
Int'l Conference on Logic Programming (ICLP)
Int'l Conference on Theory and Applications of Satisfiability Testing (SAT)
Int'l Joint Conference on Automated Reasoning (IJCAR)

Pre-conference workshops will be held on August 10-11.  LICS, RTA,=20
and SAT will be held in parallel on August 12-15, to be followed
by mid-conference workshops and excursions on August 15-16.=20
CAV, ICLP, and IJCAR will be held in parallel on August 16-21,
to be followed by post-conference workshops on August 21-22.=20
Plenary events involving all the conferences are planned.

Calls for papers and call for workshop proposals will be issued in the=20
near future.  For additional information regarding the participating=20
meetings, please check the FLoC web page (see above) later this summer.

 =09=09FLoC'06 Steering Committee

 =09=09Moshe Y. Vardi      (General Chair)
 =09=09Jakob Rehof         (Conference Chair)
 =09=09Edmund Clarke       (CAV)
 =09=09Reiner Hahnle       (IJCAR)
                 Manuel Hermenegildo (ICLP)
 =09=09Phokion Kolaitis    (LICS)
 =09=09Henry Kautz         (SAT)
 =09=09Aart Middeldorp     (RTA)
 =09=09Andrei Voronkov     (IJCAR)

(5)



Registration for CiE 2005 is now open.

CALL FOR PARTICIPATION

COMPUTABILITY IN EUROPE 2005: NEW COMPUTATIONAL PARADIGMS (CiE 2005)
http://www.illc.uva.nl/CiE/

June 8 - June 12, 2005
Amsterdam, The Netherlands

The organizers of CiE 2005 cordially invite researchers working in all
areas of computability theory, ranging from mathematics to computer
science, to participate in the conference taking place in Amsterdam in
June 2005.

CiE 2005 is an interdisciplinary venue for researchers from computer
science and mathematics focusing on New Computational Paradigms. These
include prominently connections between computation and physical systems
but also higher mathematical models of computation. The researchers from
the different communities will exchange ideas, approaches and techniques
in their respective work, thereby generating a wider community for work on
computational issues that allows uniform approaches to diverse areas, the
transformation of theoretical ideas into applicable projects, and general
cross-fertilization transcending disciplinary borders.

There will be two three-hour tutorials, eight plenary talks, six special
sessions with altogether 25 talks and over 50 contributed talks covering
the entire range of research in computability theory.

PLENARY TALKS:
http://www.illc.uva.nl/CiE/index.php?page=3D12

Three-hour tutorials - Harry Buhrman (Amsterdam), Klaus Weihrauch (Hagen).

Plenary talks - Samson Abramsky (Oxford), Joel D. Hamkins (New York NY),
Ulrich Kohlenbach (Darmstadt), Jan van Leeuwen (Utrecht), Yuri
Matiyasevich (St.Petersburg), Yiannis Moschovakis (Athens/Los Angeles CA),
Gheorghe Paun (Bucharest), Uwe Schoening (Ulm).

Introductory lecture - Andrew Hodges (Oxford).

SPECIAL SESSIONS:
http://www.illc.uva.nl/CiE/index.php?page=3D6

Biological Computation
Organiser: Thomas Baeck (Leiden).

Complexity
Organiser:  Elvira Mayordomo (Zaragoza).

Epistemology and Methodology of Computing
Organisers: Hartmut Fitz (Amsterdam) and Guglielmo Tamburrini (Pisa).

Proofs and Computation
Organisers: Arnold Beckmann (Swansea) and Laura Crosilla (Firenze).

Real Computation
Organiser: Abbas Edalat (Imperial College, London).

Relative Computation
Organisers: Barry Cooper (Leeds) and Andrea Sorbi (Siena).

CONTRIBUTED PAPERS:
http://www.illc.uva.nl/CiE/index.php?page=3D15

INFORMAL PRESENTATIONS:
http://www.illc.uva.nl/CiE/index.php?page=3D17

In addition to the formal presentations based on the LNCS proceedings
volume, we invite researchers to present informal presentations. For this,
please send us a brief description of your talk (between one paragraph and
half a page) before April 15th, 2005. Submission form:
http://www.illc.uva.nl/CiE/index.php?page=3D_6

REGISTRATION AND ACCOMMODATION:
http://www.illc.uva.nl/CiE/index.php?page=3D13

Regular registration (EUR 95, EUR 75 for students) will be possible until
April 30th, 2005. After May 1st, 2005, there will be an option of Late
Registration with higher fees.
Registration form:
https://www.science.uva.nl/research/illc-secure/CiE/index.php?page=3D10

We have reserved some rooms in Amstel Botel at a special university rate.
The Amstel Botel (reservation deadline April 25th, 2005) is located at
Oosterdokskade 2-4, next to the Central Station, and is a modern and
luxurious floating hotel. A unique experience and an alternative way to
get to know the lively city of Amsterdam. From the Botel it takes 20
minutes by tram to the conference site.

IMPORTANT DATES:

April 15th, 2005 - Deadline for submission of informal presentations.
April 25th, 2005 - Deadline for booking at Amstel Botel.
April 30th, 2005 - Deadline for regular conference registration.

SPONSORSHIP:

The conference is sponsored/supported by the Association for Symbolic
Logic (ASL), European Association for Theoretical Computer Science
(EATCS), Netherlands Organisation for Scientific Research (NWO), Royal
Netherlands Academy of Arts and Sciences (KNAW).

PROGRAM COMMITTEE:

Klaus Ambos-Spies (Heidelberg), Albert Atserias (Barcelona), Barry Cooper
(Leeds, co-chair), Sergei Goncharov (Novosibirsk), Benedikt Loewe
(Amsterdam, co-chair), Dag Normann (Oslo), Helmut Schwichtenberg
(Muenchen), Andrea Sorbi (Siena), Ivan Soskov (Sofia), Leen Torenvliet
(Amsterdam), John Tucker (Swansea), Johan van Benthem
(Amsterdam/Stanford), Peter van Emde Boas (Amsterdam), Jiri Wiedermann
(Praha).

ORGANISING COMMITTEE:

Stefan Bold, Barry Cooper, Samson de Jager, Benedikt Loewe, Leen
Torenvliet, Peter van Emde Boas, Marjan Veldhuisen.

*************************************************************************

(6)



Author: David Makinson

Title: Bridges from Classical to Nonmonotonic Logic.

Publication Data: London: King~Rs College Publications. Series: Texts in
Computing, vol 5. ISBN 1-904987-00-1. Published March 2005. Paperback.

Brief Description: The purpose of this book is to take some of the mystery
out of nonmonotonic logic, and make it accessible to anybody with a
minimal background in classical propositional logic and a few basic
mathematical tools. It is written as a textbook to suit the needs of
graduate or upper-level undergraduate students and their instructors, as
well as for solitary readers. One of its strengths is the clear overall
picture that it provides of the three main ways for constructing
nonmonotonic logics, and of the supraclassical but still monotonic systems
that serve as bridges towards them.  The text contains recapitulations at
the end of each chapter, exercises and problems, selected solutions,
suggested projects, and guides to further reading.

Price from Amazon: =A310 or US$ 19.50, plus postage.

Special discount for BLC members: When purchased in multiples of 5 shipped
to a single address, =A37 per copy and no postage charge in the UK. For thi=
s
offer, contact directly makinson@dcs.kcl.ac.uk.

Contents:

Preface
Acknowledgements

1.Introduction
1.1. We are all nonmonotonic
1.2. Recalling some features of classical consequence
1.3. Some misunderstandings and a habit to suspend
1.4. Three ways of getting more conclusions out of your premises

2. Using background assumptions
2.1. From classical consequence to pivotal assumptions
2.2. From pivotal assumptions to default assumptions
2.3. Specializations and generalizations
2.4. Review and explore

3. Restricting the set of valuations
3.1. From classical consequence to pivotal valuations
3.2. From pivotal valuations to default valuations
3.3. Specializations and generalizations
3.4. Review and explore

4. Using additional rules
4.1. From classical consequence to pivotal rules
4.2. From pivotal rules to default rules
4.3. Generalizations and variants
4.4. Review and explore

5. Connections with probabilistic inference
5.1. Basic concepts and axioms for probability
5.2. Probabilistic characterizations of classical consequence
5.3. Supraclassical probabilistic consequence relations
5.4. Bringing probabilistic and qualitative inference closer together 5.5.
Review and explore

6. Some brief comparisons
6.1. Relations with belief revision
6.2. Links with update, counterfactuals, and conditional directives 6.3.
Some representation theorems for consequence relations
6.4. Review and explore

Appendix: Proof of Theorem 4.3-1.
Glossary of Special Symbols
Answers to Selected Exercises
References

(7)





                            UNIVERSITY OF LEEDS
                       Department of Pure Mathematics
                         MATHEMATICAL LOGIC SEMINAR
                               Summer term 2005

April 20th Yuri Ershov (Novosibirsk)
      Fine structure of Rodgers semilattices of finite partially ordered se=
ts.

May 18th Lorenz Halbeisen (Queens University, Belfast)
      Cardinal relations in the absence of the Axiom of Choice

May 25th Mehrnoosh Sadrzadeh (visiting Oxford)
      An algebraic approach to the logic of information flow

June 1st Noam Greenberg (Notre Dame)
      True finiteness in admissible recursion theory




Advanced notice

Sept 28th John Mayberry (Bristol)

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

                           J. K. Truss


Details on the web page at http://www.amsta.leeds.ac.uk/pure/logic/seminar.=
html

(8)



*******************************************************************=20
* 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 2005 - Call for Participation
   CiE '05 - Call for Participation
   PLS 5 - Call for Papers (deadline April 15)
   Logic Colloquium '05 - Call for Abstracts (deadline April 15)
   ARSPA'05 - Call for Papers (deadline April 15)
   WS-FM 2005 - Call for Papers (deadline April 22)
   FAST 2005 - Call for Papers (deadline April 29)
   Bounded Model Checking - Call for Papers (Deadline May 1)
   ESCAR - Call for Papers (Deadline May 1)
   Workshop on Automated Reasoning - Call for Abstracts (Deadline May 1)
   SOS 2005 - Call for Papers (deadline May 13)
   ICFEM 2005 - Call for Papers (deadline May 20)
   FORMATS '05 - Call for Papers (deadline May 20)
   MERLIN 2005 - Call for Papers (deadline May 23)
   EXPRESS'05 - Call for Papers (deadline June 1)
   FSEN 2005 - Call for Papers (deadline June 1)
   WCFLP 2005 - Call for Papers (deadline June 5)
   PMCCS-7 - Call for Papers (deadline June 20)
   LPAR-12 - Call for Papers (deadline July 18)
   FMCO 2005 - Call for Tutorial Papers (deadline September 5)
   FLOC 06 - Preliminary Announcement
* SUMMER SCHOOLS
   Summer School on Logic-based Knowledge representation, Dresden
* VACANCIES
   Lecturer in Computer Science, University of Edinburgh


TWENTIETH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2005)
   June 26th-29th, 2005, Chicago, Illinois
   Affiliated workshops: June 24-25, 30 and July 1, 2005
   Call for Participation
   http://www.lfcs.informatics.ed.ac.uk/lics/lics05/
* The LICS Symposium is an annual international forum on theoretical and
   practical topics in computer science that relate to logic broadly
   construed.
* Registration is now open.
* Important dates:
   May 1st 2005: Club Quarters room block booking expires. Reserve
     your hotel room before this date!
   May 20th 2005: University Center of Chicago room block booking
     expires. Reserve your dorm room before this date!
   May 20th 2005: Early registration discount expires.
* Invited Speakers:
   Michael Benedikt, Bell Laboratories;
   Solomon Feferman, Stanford University;
   Walter Fontana, Harvard University;
   Jane Hillston, University of Edinburgh
   Glynn Winskel, University of Cambridge.
* Affiliated Workshops:
   Logic and Computational Complexity, June 24-25.
     Organizer: Jim Royer
   Intuitionistic Modal Logics and Applications, June 30.
     Organizers: Valeria de Paiva and Frank Pfenning
   Foundations of Computer Security June 30-July 1.
     Organizer: Andrei Sabelfeld
   Workshop on Quantum Programming Languages, June 30-July 1.
     Organizer: Peter Selinger
* For more information see webpage


COMPUTABILITY IN EUROPE: NEW COMPUTATIONAL PARADIGMS (CiE'05)
   Call for Participation
   June 8 - 12, 2005, Amsterdam, The Netherlands
   http://www.illc.uva.nl/CiE/
* CiE 2005 is an interdisciplinary venue for researchers from computer
   science and mathematics focusing on New Computational Paradigms. These
   include prominently connections between computation and physical systems
   but also higher mathematical models of computation. The researchers from
   the different communities will exchange ideas, approaches and techniques
   in their respective work, thereby generating a wider community for work
   on computational issues that allows uniform approaches to diverse areas,
   the transformation of theoretical ideas into applicable projects, and
   general cross-fertilization transcending disciplinary borders.
* There will be two three-hour tutorials (Buhrman and Weihrauch), eight
   plenary talks, six special sessions with altogether 25 talks and over 50
   contributed talks covering the entire range of research in computability
   theory:
* Plenary Talks: http://www.illc.uva.nl/CiE/index.php?page=3D12
   Special Sessions: http://www.illc.uva.nl/CiE/index.php?page=3D6
   Contributed Papers: http://www.illc.uva.nl/CiE/index.php?page=3D15
* Regular registration (EUR 95, EUR 75 for students) will be possible
   until April 30th, 2005. After May 1st, 2005, there will be an option of
   Late Registration with higher fees.
* Klaus Ambos-Spies (Heidelberg), Albert Atserias (Barcelona), Barry
   Cooper (Leeds, co-chair), Sergei Goncharov (Novosibirsk), Benedikt Loewe
   (Amsterdam, co-chair), Dag Normann (Oslo), Helmut Schwichtenberg
   (Muenchen), Andrea Sorbi (Siena), Ivan Soskov (Sofia), Leen Torenvliet
   (Amsterdam), John Tucker (Swansea), Johan van Benthem
   (Amsterdam/Stanford), Peter van Emde Boas (Amsterdam), Jiri Wiedermann
   (Praha).


5TH PANHELLENIC LOGIC SYMPOSIUM (PLS5)
   Dedicated to Y. N. Moschovakis upon his retirement from the University
   of Athens
   25-28 July 2005, Athens, Greece
   http://www.di.uoa.gr/~pls5
   Call for Papers
* The Panhellenic Logic Symposium (PLS) is a biannual scientific event
   that aims to promote interaction and cross-fertilization between
   different areas of logic. PLS brings together researchers from Greece
   and other countries who work on logic broadly conceived.
* Topics of interest include: Computer Science Logic, Mathematical Logic
   and Set Theory, History of Logic, Methodology and Philosophy of Science.
* Invited Tutorials: O. Belegradek (Bilgi U., Turkey),
   I. Pratt-Hartmann (U. Manchester, U.K.).
* Invited Plenary Talks: P. Aczel (U. Manchester, U.K.), K. Apt (U. Amsterd=
am,
   Netherlands), M. Fitting (CUNY, USA), A. Kechris (CalTech, USA),
   L. Kirousis (U. Patras, Greece), Ph. Kolaitis (IBM Almaden and UCSC, USA=
),
   E. Kranakis (Carleton U., Canada), L. Moss (Indiana U., USA), Z. Petric
   (Serbian Academy, Serbia), D. Skordev (Sofia U., Bulgaria).
* Original papers falling within the scope of the symposium are solicited.
   Authors are invited to submit electronically short papers (up to six pag=
es).
   Deadline for submission: April 15
   Notification of acceptance: May 15
   Deadline for camera-ready papers: May 25
* Programme Committee: C. Dimitracopoulos (Athens, Chair), K. Dosen
   (Belgrade), K. Hatzikiriakou (Volos), A. Kakas (Nicosia),
   G. Koletsos (Athens), M. Mytilinaios (Athens), Th. Pheidas (Crete),
   P. Rondogiannis (Athens), J. Sifakis (VERIMAG), I. Soskov (Sofia),
   A. Tzouvaras (Thessaloniki), S. Zachos (Athens).


LOGIC COLLOQUIUM '05 - ASL EUROPEAN SUMMER MEETING
   July 28-August 3, 2005, Athens, Greece
   Call for Abstracts
   http://www.math.uoa.gr/lc2005
* The conference will highlight the following areas: Computability Theory,
   Computer Science Logic, Model Theory, Philosophical Logic, Proof Theory
   and Set Theory. The scientific program of the conference will consist of
* four short courses, twelve plenary lectures, four special sessions and
   presentations of contributed papers.=20
* Authors of contributed papers are invited to submit abstracts by
   April 15, 2005. Each accepted paper will be allocated a twenty-minute
   period for presentation and questions.
* For more information see webpage


SECOND WORKSHOP ON AUTOMATED REASONING FOR SECURITY PROTOCOL ANALYSIS
(ARSPA'05)
   co-located with ICALP'05
   Lisboa, Portugal, July 16, 2005
   http://www.avispa-project.org/arspa
* The ARSPA workshop aims to bring together researchers and
   practitioners from both the security and the formal methods communities,
   from academia and industry, who are working on developing and applying
   automated reasoning techniques and tools for the formal specification
   and analysis of security protocols.
* Submission deadline: April 15, 2005
* For more information see webpage


WEB SERVICES AND FORMAL METHODS (WS-FM 2005)
   1-3 September 2005, Versailles, France
   http://cs.unibo.it/WS-FM05
* The aim of the workshop is to bring together researchers working
   on Web Services and Formal Methods in order to activate a fruitful
   collaboration in this direction of research. This, potentially, could
   also have a great impact on the current standardization phase of Web
   Service technologies.
* Submission deadline: April 22
* For more information see webpage


FORMAL ASPECTS IN SECURITY & TRUST (FAST2005)
   Newcastle, UK, 18-19 July 2005.
   www.iit.cnr.it/FAST2005
   Call for Papers
* Paper Submission: 29 April 2005
* For more information see webpage


THIRD INTERNATIONAL WORKSHOP ON BOUNDED MODEL CHECKING
   (Affiliated with CAV'05)
   11 July, 2005, Edinburgh, Scotland, UK
   http://iew3.technion.ac.il/BMC05/bmc05.html
   Call for Papers
* All theoretical and practical aspects of Bounded Model Checking,
   including, but not limited to, using SAT technology for unbounded
   model checking, combining BMC with other tools and techniques,
   experimental results in an industrial setting, BMC of infinite
   state systems, translation schemes, and dedicated SAT techniques
   for BMC.
* Submissions: May 1, 2005
* Please send submissions to bmc05@ie.technion.ac.il. Further instructions
   can be found in the workshop's home page as stated above.
* Chairs: Armin Biere, John Kepler Univ., Austria
   Ofer Strichman, Technion, Israel
* Program Committee:
   Armin Biere  (Johannes Kepler University, Linz, Austria),
   Per Bjesse (Synopsys, USA), Alessandro Cimatti (IRST,Italy),
   Koen Claessen (Chalmers Univ. of Technology, Sweden),
   Raanan Fraer (Intel, Israel), Danny Geist (IBM, Israel),
   Alan Hu (Univ. of British Columbia, Canada), Sharad Malik
   (Princeton  Univ., USA), Ken McMillan  (Cadence, USA),
   Joao M. Silva (Technical Univ. of Lisbon, Portugal),
   Fabio Somenzi (Univ. of Colorado, USA), Ofer Strichman
   (Technion, Israel),  Yunshan Zhu (Synopsys,  USA)


EMPIRICALLY SUCCESSFUL CLASSICAL AUTOMATED REASONING (ESCAR)
   a CADE-20 Workshop
   22nd-23rd July 2005, Tallinn, Estonia
   http://www.cs.miami.edu/~geoff/Conferences/ESCAR/
* The CADE-20 Workshop on Empirically Successful Classical Automated
   Reasoning (ESCAR) will bring together practioners and researchers
   who are concerned with the  implementation and deployment of working
   automated reasoning systems for classical logic (propositional,
   first order, and higher order). The workshop will discuss "really
   running" systems, and not theoretical ideas that have not
   yet been translated into working software. ESCAR is the successor
   to the successful ESFOR workshop held at IJCAR 2004. CADE-20 will
   be 22nd to 27th July 2005, with ESCAR on the 22nd and 23rd.
* Submission deadline: 1st May,
* For more information see webpage


TWELFTH WORKSHOP ON AUTOMATED REASONING: BRIDGING THE GAP BETWEEN=20
THEORY AND PRACTICE
   (co-located with IJCAI 2005)
   University of Edinburgh, Edinburgh, UK
   29th and 30th July 2005
   Call for Abstracts
   http://www.inf.ed.ac.uk/events/conferences/arw-05
* 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.
* Abstract submission: 1st May 2005
* For more information see webpage


SECOND WORKSHOP ON STRUCTURAL OPERATIONAL SEMANTICS (SOS 2005)
   (a satellite event of ICALP 2005)
   Call for Papers
   Lisbon, Portugal, July 10, 2005
   http://www.cs.le.ac.uk/events/SOS2005
* Theme. A forum for researchers, students and practitioners interested
   in new developments, and directions for future investigation, in the
   field of structural operational semantics. Aims to establish synergies
   between the concurrency and programming language communities working
   on the theory and practice of SOS.
* Topics of interest include (but are not limited to): programming
   languages; process algebras; higher-order formalisms; rule formats for
   operational specifications; meaning of operational specifications;
   comparisons between denotational, axiomatic and SOS; compositionality
   of modal logics with respect to operational specifications; congruence
   with respect to behavioural equivalences; conservative extensions;
   derivation of proof rules from operational specifications; software
   tools that automate, or are based on, SOS; and applications of SOS to
   software engineering and other areas of computer science.
* All submissions must be done electronically.  Please email your
   submissions to sos2005 AT mcs.le.ac.uk
* Submission deadline for abstracts: Friday, 13 May 2005.
   Submission deadline for full papers: Monday, 23 May 2005.
* The proceedings of the workshop will appear in ENTCS. If the quality
   and quantity of the papers accepted for the workshop warrant it,
   submissions will be invited for a special issue of an archival
   ournal.
* Programme committee: Luca Aceto (BRICS, Aalborg, DK), Wan Fokkink
   (Amsterdam, NL), Rob van Glabbeek (NICTA, AU), Matthew Hennessy
   (Sussex, UK), Ralf Laemmel (CWI, NL), Peter Mosses (Swansea, UK,
   (co-chair), David Sands (Chalmers, SE), Alex Simpson (Edinburgh, UK),
   Simone Tini (Insubria, IT), Irek Ulidowski (Leicester, UK, co-chair),
   Erik de Vink (Eindhoven, NL).
* Invited speakers: Jan Friso Groote, Jose Meseguer.


INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS (ICFEM 2005)
   1-4 November 2005, Manchester, UK
   Call for Papers
   http://www.cs.man.ac.uk/icfem05/
* Theme. Formal engineering methods are formal methods applied to
   practical computer system development. These methods have been
   extensively researched and their use in industry is increasing.
   Recent applications to the development of mission-critical,
   safety-critical and security-critical systems have significantly
   increased trustworthiness, without increasing overall development
   costs. Nowadays, it is more and more the case that formal techniques
   have gone hand in hand with the construction of systems displaying
   the highest level of dependability.
* Proceedings. The proceedings will be published by Springer as a
   volume in the Lecture Notes in Computer Science series. Every
   accepted paper will be included in the proceedings if it is presented
   at the conference by (at least one of) its authors.
* Conference Chair: Richard Banach, The University of Manchester
   Programme Chair: Kung-Kiu Lau, The University of Manchester
   Email: icfem05@cs.man.ac.uk
* Important Dates.
   Paper submission: 20 May 2005
   Author notification: 19 August 2005
   Camera-ready copies: 16 September 2005=20
* Invited Speakers.
   Egon Boerger, University of Pisa, Italy
   Anthony Hall, Independent consultant, UK
   John Rushby, SRI, USA


FORMAL MODELLING AND ANALYSIS OF TIMED SYSTEMS (FORMATS'05)
   September 26-28, 2005, Uppsala, Sweden
   http://www.it.uu.se/formats05/
   Call for Papers
* The aim of FORMATS is to promote the study of fundamental and
   practical aspects of timed systems, and to bring together researchers
   from different disciplines that share interests in modelling and
   analysis of timed systems.
* Submission deadline: May 20, 2005
* For more information see webpage


WORKSHOP ON MECHANIZED REASONING ABOUT LANGUAGES WITH VARIABLE BINDING=20
AND NAMES (MERLIN 2005)
   Affiliated with ICFP 2005
   Call for Papers
   Talinn, Estonia, 30 September 2005
   http://merlin.dimi.uniud.it/
* Topics of interest include:
   - Automation of the meta-theory of programming languages and
     related calculi, particularly work which involves variable
     binding and fresh name generation.
   - Theoretical and practical issues concerning the encoding of
     variable binding and fresh name generation, especially the
     representation of, and reasoning about, datatypes defined from
     binding signatures.
* Invited speaker: Frank Pfenning (Carnegie Mellon University).
* Submissions can be done electronically by email to merlin@dimi.uniud.it,
   or via post to Alberto Momigliano, LFCS, School of Informatics,
   University of Edinburgh, Mayfield Road, Edinburgh EH9 3JZ, Scotland, UK.
* Important dates:
   Abstract submission:  23 May 2005
   Paper submission:     30 May 2005
   Notification:          1 July 2005
   Final Version:        12 July 2005
   Workshop:             30 September 2005
* Program committee: James Cheney (U. Edinburgh, UK),
   Roy L. Crole (U. Leicester, UK), Joelle Despeyroux (INRIA, France),
   Amy Felty (U. Ottawa, Canada), Martin Hofmann (Ludwig-Maximilians-
   Universitaet  Muenchen, Germany), Marino Miculan (U. Udine, Italy),
   Alberto Momigliano (U. Edinburgh, UK), Randy Pollack (U. Edinburgh, UK)
* See the workshop website for further information.


12th INTERNATIONAL WORKSHOP ON EXPRESSIVENSS IN CONCURRENCY (EXPRESS'05)
    (Affiliated with CONCUR 2005)
    Call for Papers
    San Francisco, California, 27 August 2005
    http://www.win.tue.nl/Express05
* Theme. The EXPRESS workshops aim at bringing together researchers
   interested in the relations between various formal systems,
   particularly in the field of Concurrency. More specifically,
   they focus on the comparison between programming concepts
   (such as concurrent, functional, imperative, logic and
   object-oriented programming) and between mathematical models
   of computation (such as process algebras, Petri nets, event
   structures, modal logics, rewrite systems etc.) on the basis
   of their relative expressive power.
* Submissions may be of two forms:
   - Short papers (not included in the proceedings):
     up to 4 pages, typeset 11 points
   - Full papers: up to 12 pages, typeset 11 points
     (excluding bibliography and technical appendices)
   Simultaneous submission to other conferences or journals is
   only allowed for short papers. Submissions may already use
   the ENTCS-style format.
* The proceedings will be published after the workshop in the
   ENTCS (Electronic Notes in Theoretical Computer Science).
   A printed preliminary version of the proceedings will be
   available at the workshop. Authors will be asked to prepare
   their final version using the ENTCS-style format.
* Authors of selected papers will be invited after the
   workshop to submit a full version for publication in a
   Special Issue of a leading journal; those submissions will
   then be subject to a separate reviewing procedure matching
   the standards of the journal.
* Submission deadline: 1 June 2005
* Invited speakers: Thomas Henzinger (EPFL, CH), Glynn Winskel (Univ. of
   Cambridge, UK)
* Programme committee: Roberto Amadio (Univ. de Provence, CMI Marseille,
   FR), Jos Baeten (Co-chair, Eindhoven Univ. of Technology, NL), Julian
   Bradfield (Univ. of Edinburgh, UK), Michele Bugliesi (Univ. Ca'
   Foscari, IT), Mariangiola Dezani-Ciancaglini (Univ. di Torino, IT),
   Wan Fokkink (Vrije Univ. Amsterdam, NL), Thomas Hildebrandt (IT Univ.
   of Copenhagen, DK), Kohei Honda (Queen Mary Univ. of London, UK),
   Richard Mayr (North Carolina State Univ. US), Catuscia Palamidessi
   (INRIA Futurs, LIX Ecole Polytechnique, FR), Iain Phillips (Co-chair,
   Imperial College London, UK), Julian Rathke (Univ. of Sussex, UK),
   Eugene Stark (SUNY Stony Brook, US)
* Contact: Jos Baeten (josb@win.tue.nl), Iain Phillips
   (iccp@doc.ic.ac.uk)


IPM INTERNATIONAL WORKSHOP ON FOUNDATIONS OF SOFTWARE ENGINEERING=20
(FSEN 2005)
   1-3 October 2005, Tehran, Iran.
   http://cs.ipm.ac.ir/FSEN05
   Call for Papers
* The aim of the workshop is to bring together researchers and
   practitioners working on different aspects of formal methods in software
   engineering. The specific goal is to facilitate transfer of experience,
   adaptation of methods, and where possible, collaboration between
   different groups. The topics may cover any aspect in formal methods,
   especially those related to advancing the application of formal methods
   in software industry and promoting their integration with practical
   engineering techniques.
* June 1, 2005: Submissions deadline
* For more information see webpage


INTERNATIONAL WORKSHOP ON CURRY AND FUNCTIONAL LOGIC PROGRAMMING (WCFLP 200=
5)
   Tallinn, Estonia, September 29, 2005
   http://www.informatik.uni-kiel.de/~mh/wcflp2005
* The aim of this workshop is to bring together researchers interested
   in Curry, related functional logic languages, and general aspects of
   integrating declarative programming paradigms. It promotes the
   cross-fertilizing exchange of ideas and experiences among researches
   and students from the different communities interested in the
   foundations, applications, and combinations of high-level, declarative
   programming languages and related areas.
* Deadline for submissions: June 5, 2005
* For more information see webpage


PERFORMABILITY MODELING OF COMPUTER AND COMMUNICATION SYSTEMS (PMCCS-7)
   Torino, Italy, September 23-24, 2005
   http://www.di.unito.it/~horvath/PMCCS
   Call for Papers
* The workshop aims to bring together academic and industrial
   researchers in the area of integrated performance and dependability
   modeling, with emphasis on bridging theory and practice.  Theoretical
   contributions as well as application-oriented work are welcome.  Case
   studies and industrial applications of performability modeling and
   evaluation are solicited in the field of computer and communication
   systems as well as in related fields, such as flexible manufacturing
   systems, product-in-process software development, medical systems,
   transportation systems, and complex infrastructures.
* Submission deadline: June 20, 2005
* For more information see webpage


LOGIC FOR  PROGRAMMING ARTIFICIAL INTELLIGENCE AND REASONING (LPAR-12)
   Montego Bay, Jamaica, 2nd-6th December 2005
   http://www.lpar.net/2005=20
* The  12th  International  Conference on  Logic for  Programming Artificia=
l
   Intelligence  and Reasoning (LPAR-12) will  be held 2nd-6th December 200=
5,
   at the  Wexford Hotel,  Montego Bay,  Jamaica.  Submission of  papers  f=
or
   presentation at the conference is now invited.
* Full and short papers are welcome. Full papers may be either regular pape=
rs
   containing new results,  or experimental papers describing  implementati=
ons
   or evaluations  of systems.  Short papers may  describe work in progress=
 or
   provide  system descriptions.  Submitted papers  must be original,  and =
not
   submitted concurrently to a journal or another conference.
* Submission of full paper abstracts: 11th July
   Submission of full papers: 18th July
   Submission of short papers: 26th September
* For more information see webpage


FORMAL METHODS FOR OBJECTS AND COMPONENTS (FMCO 2005)
   1-4 November 2005, CWI, Amsterdam
   http://fmco.liacs.nl/fmco05.html
   Preliminary Call for Tutorial Papers
* The FMCO symposium is an annual international event on the application
   and development of formal methods in software engineering, with a specia=
l
   focus on component-based and object-oriented software systems. We invite
   submissions of tutorial papers on topics that fit under that rubric.
   Suggested, but not exclusive, topics of interest for submissions
   include: models and logics for object-oriented and component-based
   systems, formal aspects of analysis of large systems, prediction,
   analysis and monitoring of extra-functional system properties,
   applications of modal logics, temporal logics, and model checking
   for the specification and verification of object-oriented languages,
   type systems and type theory for objects and components, probabilistic
   systems, process calculi, and semantics of object and component oriented
   language, reasoning about security, trustworthiness and dependability
   of component-based systems.
* Authors are invited to submit a title and a short abstract of one
   or two pages providing a tutorial perspective on research results
   or experience related to the topics above. Accepted abstracts will
   be presented at the symposium and an extended tutorial paper of
   about 20 pages in LNCS style will be refereed  and eventually
   published together with the contributions of the keynote speakers
   after the symposium, in a proceeding of Lecture Notes in Computer
   Science by Springer-Verlag. Selected papers will be published in
   revised and extended version in the Elsevier journal Theoretical
   Computer Science.
* Title and short abstract due: 5 Sep 2005
   Author notification: 1 Oct 2005
   Symposium: 1-4 Nov 2005
   Tutorial paper due: 28 Feb 2006
   Author notification: 15 Apr 2006
   Camera-ready paper due: 15 May 2006
* For more information see webpage


2006 FEDERATED LOGIC CONFERENCE (FLoC'06)
   Seattle, Washington, USA
   August 10-August 22, 2006
   http://research.microsoft.com/projects/FLoC2006/home.html
   http://research.microsoft.com/floc06/
* In 1996, as part of its Special Year on Logic and Algorithms, DIMACS host=
ed
   the first Federated Logic Conference (FLoC). It was modeled after the
   successful Federated Computer Research Conference (FCRC), and synergetic=
ally
   brought together conferences that apply logic to computer science.  The
   second Federated Logic Conference (FLoC'99) was held in Trento, Italy,
   in 1999, and the third (FLoC'02) was held in Copenhagen, Denmark, in 200=
2.
* We are pleased to announce the fourth Federated Logic Conference (FLoC'06=
)
   to be held in Seattle, Washington, in August 2006, at the Seattle Sherat=
on
   (http://www.sheraton.com/seattle).
* The following conferences will participate in FLoC.
   Int'l Conference on Computer-Aided Verification (CAV)
   Int'l Conference on Rewriting Techniques and Applications (RTA)
   IEEE Symposium on Logic in Computer Science (LICS)
   Int'l Conference on Logic Programming (ICLP)
   Int'l Conference on Theory and Applications of Satisfiability Testing (S=
AT)
   Int'l Joint Conference on Automated Reasoning (IJCAR)
* Pre-conference workshops will be held on August 10-11.  LICS, RTA,
   and SAT will be held in parallel on August 12-15, to be followed
   by mid-conference workshops and excursions on August 15-16.
   CAV, ICLP, and IJCAR will be held in parallel on August 16-21,
   to be followed by post-conference workshops on August 21-22.
   Plenary events involving all the conferences are planned.
* Calls for papers and call for workshop proposals will be issued in the
   near future.  For additional information regarding the participating
   meetings, please check the FLoC web page (see above) later this summer.
* FLoC'06 Steering Committee:
   Moshe Y. Vardi      (General Chair)
   Jakob Rehof         (Conference Chair)
   Edmund Clarke       (CAV)
   Reiner Hahnle       (IJCAR)
   Manuel Hermenegildo (ICLP)
   Phokion Kolaitis    (LICS)
   Henry Kautz         (SAT)
   Aart Middeldorp     (RTA)
   Andrei Voronkov     (IJCAR)


ICCL SUMMER SCHOOL 2005 ON LOGIC-BASED KNOWLEDGE REPRESENTATION
   Technische Universitat Dresden
   2nd-17th July 2005
   http://www.computational-logic.org/iccl-ss-2005
* The topic of this year's summer school is Logic-based
   Knowledge Representation.=20
* For more information see webpage


LECTURER IN COMPUTER SCIENCE, UNIVERSITY OF EDINBURGH
* The School of Informatics invites applications for a Lecturership in
   Computer Science. The position is permanent, and the successful
   candidate is expected to join the Laboratory for Foundations of
   Computer Science (LFCS).
* The successful candidate will have an excellent research record in
   types, logic and security, with a demonstrated ability to apply
   theoretical constructs to application problems. They will be expected
   to play a key role in the LFCS's mobile computation group, and to
   establish collaborations locally and internationally. Expertise in the
   design and implementation of relevant software will be advantageous.
   The successful candidate will also have a demonstrated commitment to
   excellence in teaching, and should be able to teach and develop
   courses in computer security and related areas. Experience of
   successful course administration will be an advantage.
* Closing date: 15 April 2005.
* Further information:
   https://www.jobs.ed.ac.uk/jobs/index.cfm?action=3Djobdet&jobid=3D3004028
   Informal enquiries: Dr Julian Bradfield 




Registration for CiE 2005 is now open.

CALL FOR PARTICIPATION

COMPUTABILITY IN EUROPE 2005: NEW COMPUTATIONAL PARADIGMS (CiE 2005)
http://www.illc.uva.nl/CiE/

June 8 - June 12, 2005
Amsterdam, The Netherlands

The organizers of CiE 2005 cordially invite researchers working in all
areas of computability theory, ranging from mathematics to computer
science, to participate in the conference taking place in Amsterdam in
June 2005.

CiE 2005 is an interdisciplinary venue for researchers from computer
science and mathematics focusing on New Computational Paradigms. These
include prominently connections between computation and physical systems
but also higher mathematical models of computation. The researchers from
the different communities will exchange ideas, approaches and techniques
in their respective work, thereby generating a wider community for work on
computational issues that allows uniform approaches to diverse areas, the
transformation of theoretical ideas into applicable projects, and general
cross-fertilization transcending disciplinary borders.

There will be two three-hour tutorials, eight plenary talks, six special
sessions with altogether 25 talks and over 50 contributed talks covering
the entire range of research in computability theory.

PLENARY TALKS:
http://www.illc.uva.nl/CiE/index.php?page=12

Three-hour tutorials - Harry Buhrman (Amsterdam), Klaus Weihrauch (Hagen).

Plenary talks - Samson Abramsky (Oxford), Joel D. Hamkins (New York NY),
Ulrich Kohlenbach (Darmstadt), Jan van Leeuwen (Utrecht), Yuri
Matiyasevich (St.Petersburg), Yiannis Moschovakis (Athens/Los Angeles CA),
Gheorghe Paun (Bucharest), Uwe Schoening (Ulm).

Introductory lecture - Andrew Hodges (Oxford).

SPECIAL SESSIONS:
http://www.illc.uva.nl/CiE/index.php?page=6

Biological Computation
Organiser: Thomas Baeck (Leiden).

Complexity
Organiser:  Elvira Mayordomo (Zaragoza).

Epistemology and Methodology of Computing
Organisers: Hartmut Fitz (Amsterdam) and Guglielmo Tamburrini (Pisa).

Proofs and Computation
Organisers: Arnold Beckmann (Swansea) and Laura Crosilla (Firenze).

Real Computation
Organiser: Abbas Edalat (Imperial College, London).

Relative Computation
Organisers: Barry Cooper (Leeds) and Andrea Sorbi (Siena).

CONTRIBUTED PAPERS:
http://www.illc.uva.nl/CiE/index.php?page=15

INFORMAL PRESENTATIONS:
http://www.illc.uva.nl/CiE/index.php?page=17

In addition to the formal presentations based on the LNCS proceedings
volume, we invite researchers to present informal presentations. For this,
please send us a brief description of your talk (between one paragraph and
half a page) before April 15th, 2005. Submission form:
http://www.illc.uva.nl/CiE/index.php?page=_6

REGISTRATION AND ACCOMMODATION:
http://www.illc.uva.nl/CiE/index.php?page=13

Regular registration (EUR 95, EUR 75 for students) will be possible until
April 30th, 2005. After May 1st, 2005, there will be an option of Late
Registration with higher fees.
Registration form:
https://www.science.uva.nl/research/illc-secure/CiE/index.php?page=10

We have reserved some rooms in Amstel Botel at a special university rate.
The Amstel Botel (reservation deadline April 25th, 2005) is located at
Oosterdokskade 2-4, next to the Central Station, and is a modern and
luxurious floating hotel. A unique experience and an alternative way to
get to know the lively city of Amsterdam. From the Botel it takes 20
minutes by tram to the conference site.

IMPORTANT DATES:

April 15th, 2005 - Deadline for submission of informal presentations.
April 25th, 2005 - Deadline for booking at Amstel Botel.
April 30th, 2005 - Deadline for regular conference registration.

SPONSORSHIP:

The conference is sponsored/supported by the Association for Symbolic
Logic (ASL), European Association for Theoretical Computer Science
(EATCS), Netherlands Organisation for Scientific Research (NWO), Royal
Netherlands Academy of Arts and Sciences (KNAW).

PROGRAM COMMITTEE:

Klaus Ambos-Spies (Heidelberg), Albert Atserias (Barcelona), Barry Cooper
(Leeds, co-chair), Sergei Goncharov (Novosibirsk), Benedikt Loewe
(Amsterdam, co-chair), Dag Normann (Oslo), Helmut Schwichtenberg
(Muenchen), Andrea Sorbi (Siena), Ivan Soskov (Sofia), Leen Torenvliet
(Amsterdam), John Tucker (Swansea), Johan van Benthem
(Amsterdam/Stanford), Peter van Emde Boas (Amsterdam), Jiri Wiedermann
(Praha).

ORGANISING COMMITTEE:

Stefan Bold, Barry Cooper, Samson de Jager, Benedikt Loewe, Leen
Torenvliet, Peter van Emde Boas, Marjan Veldhuisen.

*************************************************************************





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: Fri Jun 10 13:37:02 BST 2005