-------------------------------------------------------
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]
Secretary Dr M Dzamonja [East Anglia]
Dr E Ritter [Birmingham]
Professor T Williamson FBA FRSE [Oxford]
---------------------------------------------------------
Dear members,
In the attachment of this message you will find our members list.
Please find attached two lists: one containing the e-mail addresses
of those members that have one, and the other file containing
postal addresses of those members that do not have an e-mail address.
The rest of the newsletter contains various announcements, as
listed below, but in addition to them I would like to remind you of some
important dates for your dairy: the BLC 2003 Annual will be held
at St Andrews from the 3rd to the 6th September 2003. The web site
of the meeting is at
http://www.dcs.st-and.ac.uk/~rd/blc03/
With best wishes, Mirna.
Table of contents:
(1) CONFERENCE IN MODEL THEORY,
PARIS, JUNE 6 and 7, 2003
(2) LICS Newsletter no. 85
(3) Some seminar announcements
(4) ASL Summer Meeting, Helsinki, Finland , August 14-20, 2003
website
http://www.helsinki.fi/lc2003/
(5) Georg Henrik von Wright
-------------------------------------
(1)
CONFERENCE IN MODEL THEORY,
PARIS, JUNE 6 and 7, 2003
The Logic Team of the University Paris 7 - Denis Diderot will organise
in Paris an international conference in Model Theory.
This meeting is an opportunity to express our appreciation to Daniel
Lascar, our friend and
colleague, who will retire at the end of June 2003.
The meeting will take place at the Institut Henri Poincare
11 rue Pierre et Marie Curie, Paris 5eme,
Amphitheatre Hermite,
from June 6 in the morning (9 am) to June 7 mid-day.
Talks will be given by:
Itai Ben Yaacov, Enrique Casanovas, Francoise Delon, Wilfrid Hodges,
Ehud Hrushovski, Markus Junker, Anand Pillay and Frank Wagner.
Web page of the meeting:
http://www.logique.jussieu.fr/RITMenglish.html
Zoe Chatzidakis and Rene Cori.
(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 2003 - Call for Participation
Typical Case Complexity and Phase Transitions - Announcement and Call
for Papers
Foundations of Global Computing - Call for Papers
MERLIN 2003 - Call for Papers
Kalmar Workshop on Logic and Computer Science - Call for Papers
Algebraic and Topological Methods in Non-classical Logics - Call
for Papers
Workshop on Feature Interactions in Telecommunications and Software
Systems - Call for Participation
ACSD 2003 - Call for Participation
* SUMMER SCHOOLS
EEF Global Computing Summer School
* BOOK ANNOUNCEMENTS
Computability and Models Perspectives East and West, edited by
S. Barry Cooper and Sergei S. Goncharov
Abstract State Machines. A Method for High-Level System Design
and Analysis, by Egon Boerger and Robert Staerk
Aspects of Complexity, Minicourses in Algorithmics, Complexity,
and Computational Algebra, edited by Rod Downey and
Denis Hirschfeldt - Price Reduction
EIGHTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2003)
June 22 - 25, 2003, Ottawa, Canada
http://www.dcs.ed.ac.uk/home/als/lics/lics03/
Call for Participation
* The LICS Symposium is an annual international forum on theoretical and
practical topics in computer science that relate to logic in a broad
sense. The conference is intended to emphasize the relevance of logic
to computer science.
* The program of LICS 2003 features 4 invited talks, 2 invited tutorials,
34 contributed papers, and 14 short presentations. As in previous years,
there will be a number of workshops affiliated with the conference.
The full program is available on the conference website.
* Pre-LICS Summer School: The Fields Institute Summer School on Logic
and Foundations of Computation will be held at the University of
Ottawa, June 2-20, 2003. For information, see the summer school
web site at: http://www.mathstat.uottawa.ca/lfc/fields2003/
* Registration: LICS 2003 registration and conference information is
now available on the LICS 2003 website or directly at:
http://www.mathstat.uottawa.ca/lfc/lics2003/
* The deadline for early registration is Tuesday, May 20, 2003.
WORKSHOP ON TYPICAL CASE COMPLEXITY AND PHASE TRANSITIONS
Affiliated with LICS 2003
June 21, 2003, Ottawa, Canada
Announcement and Call for Papers
http://www.scs.carleton.ca/~kranakis/LICS-03.html
* Typical-case complexity refers to algorithmic complexity that holds
with high probability for a class of random instances of a problem.
Usually, the class of instances considered is parameterized by a
"control parameter." It has been observed that for many computationally
interesting problems, their typical-case complexity undergoes an abrupt
change (phase transition) about a critical value of the control
parameter. At the same critical region, other phenomena of combinatorial
interest are often observed. Papers reporting on experimental and
theoretical research in this area are solicited, especially if they are
the outcome of cross-fertilization between computer simulation results
and mathematical advances in discrete mathematics, probability theory or
theoretical computer science. Of particular interest are threshold
phenomena in which logic comes into play and connections to Proof
Complexity, Satisfiability, and Statistical Physics.
* Program committee: J. Chayes; N. Creignou; L. Kirousis;
E. Kranakis; D. Krizanc.
* Invited speakers (confirmed): Jennifer Chayes (Seattle);
Nadia Creignou (Marseille); Paul Beame (Seattle); John Franco (Cincinnati)
* Submit short abstracts of at most five pages in ps or pdf either to
kirousis@ceid.upatras.gr or kranakis@scs.carleton.ca
* Submission deadline: April 28, 2003
FOUNDATIONS OF GLOBAL COMPUTING (FGC), 2nd EATCS WORKSHOP
co-located with ICALP 2003, 28-29 June 2003, Eindhoven, The Netherlands
Call for Papers
http://www.cogs.susx.ac.uk/users/vs/fgc
* Foundations of Global Computing focuses on foundational aspects of
global computing, and invites submissions of original scientific work
thereof.
* The workshop proceedings will be published in the ENTCS series and a
selection of papers will appear in a special issue of a leading
Computer Science journal. It will be held as a ICALP 2003 satellite
event under the auspices of the EATCS.
* Invited Speakers: Cedric Fournet (Microsoft Research); Robert Harper (CMU);
Martin Hofmann (LMU Munich); Li Gong (SUN Microsystems)
* Authors are invited to submit an extended abstract of their papers,
presenting original contributions to the workshop themes. Submissions
should be in English and not exceed 15 standard pages. They should be
sent as PS or PDF files to fgc@cogs.susx.ac.uk and be accompanied by
a text-only message containing: title, abstract and keywords, the
authors' full names, and address and e-mail for correspondence.
Simultaneous submission to other meetings with published proceedings
is not allowed.
* Submission deadline: 27 Apr 2003
SECOND ACM WORKSHOP ON MECHANIZED REASONING ABOUT LANGUAGES WITH
VARIABLE BINDING (MERLIN 2003)
Affiliated with PLI 2003
Uppsala, Sweden, August 26, 2003
Call for papers
http://merlin.dimi.uniud.it/
* Theme. The automation of the metatheory of programming languages,
particularly work which involves variable binding and fresh name
generation. Theoretical and practical problems of encoding variable
binding, especially the representation of, and reasoning about,
datatypes defined from binding signatures.
* Invited speaker: Simon Peyton Jones
* Papers should be submitted electronically as a PostScript or PDF file
to the email address merlin03@dimi.uniud.it.
* Deadline for paper submission: June 16, 2003
* Program Committee: Simon Ambler (University of Leicester), Furio
Honsell (University of Udine), Marino Miculan (University of Udine,
Italy), Dale Miller (INRIA/Futurs, France), Ugo Montanari (University of
Pisa, Italy), Tobias Nipkow (Technische Universitat Muenchen Germany),
Andrew M. Pitts (University of Cambridge, UK), Carsten Schuermann (Yale
University, USA).
KALMAR WORKSHOP ON LOGIC AND COMPUTER SCIENCE
Call for Papers
Szeged, Hungary, October 1 - 2, 2003
http://www.rgai.hu/kalmar2003
* Laszlo Kalmar (1905 - 1976) was a pioneer in mathematical
logic and computer science. The objective of the workshop is to
commemorate his work, and to present recent research results in
the broad area of logic and computer science.
* Workshop Chair: F. Gecseg (Szeged)
* Workshop Co-Chairs: J. Csirik (Szeged), Gy. Turan (Szeged, Chicago)
* Invited speakers include: E. Graedel (Aachen), A. Hajnal (New
Brunswick, Budapest), J. Lloyd (Canberra), G. Proszeky (Budapest)
* Co-located Event: 13th International Conference on Inductive Logic
Programming (ILP 2003), September 29 - October 1, 2003.
* Publication: the accepted papers will be available in a booklet of
notes at the workshop. A special journal issue is under consideration.
* Important dates:
Paper submission: June 30, 2003
Notification of acceptance: August 15, 2003
Final version submission: September 15, 2003
* Submission information: Submitted papers should be extended abstracts
up to 10 pages. The papers are to be submitted electronically in PDF
or PostScript form. For additional details, please see the workshop
home page.
* Program Committee: H. Andreka (Budapest), A. Atserias (Barcelona),
S. Bloom (Hoboken), J. Csirik (Szeged), J. Demetrovics (Budapest),
B. Domolki (Budapest), M. Grohe (Edinburgh), J. Makowsky (Haifa),
A. Salomaa (Turku), Gy. Turan (chair, Szeged, Chicago)
* Organizing Committee: D. Csendes, T. Koles, B. Szorenyi
ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS
Tbilisi, Georgia, 7 - 11 July 2003
Final Call for Papers
http://piscopia.nmsu.edu/morandi/TbilisiConference
* The aim of this conference is to present some recent advances in the
use of algebraic, order-theoretic, and topological methods in
non-classical logics. We also hope to bring together researchers
in the fields of non-classical logics, lattice theory, universal algebra,
category theory, and general topology in order to foster collaboration
and to get new ideas for further research.
* Conference Topics: lattices with operators, topological semantics of
modal logic, topological and topos semantics of intuitionistic logic,
ordered topological spaces.
* Invited Speakers: Johan van Benthem, University of Amsterdam;
Leo Esakia, Georgian Academy of Sciences; Mai Gehrke, New Mexico
State University; John Harding, New Mexico State University;
Ramon Jansana, University of Barcelona; Daniele Mundici, Milan
University; Yde Venema, University of Amsterdam; Michael
Zakharyaschev, King's College; Marek Zawadowski, University of Warsaw.
* Call for papers: If you wish to speak at the conference, please send
by email a title and abstract of your talk to Guram Bezhanishvili
(gbezhani@nmsu.edu). The deadline for submissions is 1 May. We will
let you know by 15 May if you will be invited to speak at the
conference. The deadline to register for the conference is 1 June.
* For further information, contact Guram Bezhanishvili
(gbezhani@nmsu.edu) or Pat Morandi (pmorandi@nmsu.edu).
SEVENTH INTERNATIONAL WORKSHOP ON FEATURE INTERACTIONS IN
TELECOMMUNICATIONS AND SOFTWARE SYSTEMS
10th June to 13th June, 2003, Ottawa, Canada.
http://www.site.uottawa.ca/fiw03/
Call for Participation
* The Feature Interaction Workshop is the primary international forum for
discussion and reporting on research in the feature interaction problem
in telecommunications and software systems. The workshop aims to bring
together representatives of the telecommunications industry, the
software industry, and the research community working on various aspects
of feature interactions in order to discuss possible solutions and their
practical applications, as well as setting directions for further
research. Active debates will be encouraged.
* Proposals for poster presentations and tool demonstrations, including
title, authors, and short description (400 words maximum) should be sent
to FIW03@site.uottawa.ca before May 17th.
* Registration forms are available on the Workshop's Web site. Early
birds' rates are valid until May 9th. Special rates for students are
also available, but places are limited. It is possible to register to
the tutorials, to the Workshop, or to both. Register now!
APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD 2003)
18-20 June, 2003 Guimaraes, Portugal
Call for Participation
* The registration form, the list of accepted papers, and
other information are available from
http://get.dsi.uminho.pt/acsd03/
EEF GLOBAL COMPUTING SUMMER SCHOOL
Edinburgh, Scotland, 7th to 11th July 2003
http://www.lfcs.informatics.ed.ac.uk/events/global-computing/
* Description. This school provides researchers with insights into
the problems of the design and construction of global computing
systems. Global computation is an active field of research which
includes distributed and mobile computation and addresses the
foundational problems in the area such as security, access control,
resource control, discovery, architecture and decentralised
organisation. The fundamental tools used to analyse and build such
systems are type systems, process algebras, modelling languages and
state-of-the-art programming languages and environments.
* Speakers. Ian Clarke (provisional); Andrew Gordon; Martin Hofmann;
Rocco de Nicola; Davide Sangiorgi; and Martin Wirsing.
* Applications. A number of scholarships are available. Whether or
not they are applying for funding, anyone who wishes to attend must
apply via the form on the Web page by Friday 16th May 2003.
BOOK ANNOUNCEMENT
Computability and Models Perspectives East and West
edited by S. Barry Cooper and Sergei S. Goncharov
Kluwer Academic/Plenum Publishers, Hardbound, ISBN 0-306-47400-X
January 2003, 388 pp.
EUR 142.00 / USD 135.00 / GBP 90.50
Book Series: University Series in Mathematics
* There are few notions as fundamental to contemporary science as those of
computability and modelling. 'Computability and Models' attempts to make
some of the exciting and important new research developments in this area
accessible to a wider readership. Written by international leaders drawn
from major research centres both East and West, this book is an essential
addition to scientific libraries serving both specialist and the
interested non-specialist reader.
* Order at: http://www.wkap.nl/prod/b/0-306-47400-X
BOOK ANNOUNCEMENT
Abstract State Machines. A Method for High-Level System Design and Analysis
Egon Boerger and Robert Staerk
Springer Verlag, 2003, ISBN 3-540-00702-4
http://www.di.unipi.it/AsmBook/
* The systems engineering method proposed in this book, which is based
on Abstract State Machines (ASMs), guides the development of software
and embedded hardware-software systems seamlessly from requirements
capture to actual implementation and documentation. Within a single
conceptual framework it covers design, verification by reasoning
techniques, and validation by simulation and testing. ASMs improve
current industrial practice by using accurate high-level modeling and
by linking the descriptions at the successive stages of system
development in an organic and efficiently maintainable chain of
rigorous and coherent system models at stepwise-refined abstraction
levels.
* The book combines the features of a textbook and a
handbook. Researchers will find here the most comprehensive
description of ASMs available today and professionals will use it as a
"modeling handbook for the working software engineer." As a textbook
it supports self-study or it can form the basis of a lecture
course. The book is complemented by a CD containing the whole book
text, additional course material, solutions to exercises, and
additional examples.
* Ordering from www.springer.de or http://www.di.unipi.it/AsmBook/
or send an email to orders@springer.de
BOOK ANNOUNCEMENT - PRICE REDUCTION
Aspects of Complexity
Minicourses in Algorithmics, Complexity, and Computational Algebra,
MathematicsWorkshop, Kaikoura, New Zealand, January 7-15, 2000
Editors: Rod Downey, Denis Hirschfeldt
de Gruyter Series in Logic and Its Applications, Volume 4
2001. vi, 172 pages. ISBN 3-11-016810-3
USA, Canada, Mexico: Cloth US$ 59.95
All other countries: EUR 58.00 [D] / sFr 93,-
http://www.degruyter.com
* The contributions in this volume are a result of the sixth
summer workshop of the New Zealand
Mathematical Sciences Research Institute. The title of this
workshop was Computability, Complexity,
and Computational Algebra.
* The lecture notes presented here are based on minicourses
from leading experts on various
aspects of complexity. The minicourses are from areas
including basic complexity, Kolmogorov
complexity, enumeration complexity, complexity in algebra,
real complexity and the BlumShub
Smale model, parametric complexity, and aspects of the
continuum.
* The material and level of presentation are aimed at
beginning graduate students, and the
resulting text will be a valuable resource for the working
mathematician and computer scientist.
* Ordering Information: see URL above.
(3) Some seminars:
UNIVERSITY OF LEEDS
Department of Pure Mathematics
MATHEMATICAL LOGIC SEMINAR
June 11th 2 pm Deirdre Haskell (McMaster and Paris),
Notions of independence in algebraically closed valued fields
----------
UNIVERSITY OF EAST ANGLIA
Pure Maths Colloquium
June 2nd, Massoud Pourmahdian (Edinburgh/Oxford)
"Some new examples in simple theory"
-----------
The Birmingham Topology Seminar:
It
meets Fridays at 4pm in G40, the
Computer Science Building. Our web site contains some slides for previous
talks, and links with other sites relevant to topology, and relevant to
getting to the seminar. It is regularly updated:
http://www.cs.bham.ac.uk/~mhe/topology.html
Organizers: Martin Escardo, Chris Good, Achim Jung, Ralph Kopperman, Steve
Vickers.
May 23 Hideki Tsuiki, Kyoto Univ., "Subbases that give a canonical
representation of the elements in a space"
May 30 Mike Mislove, Tulane Univ., TBA
The Oxford Seminar on Analytic topology in Mathematics and Computer
Science meets Mondays at 4pm in L3, in the mathematical institute, 24 - 29
St Giles', Oxford. Our schedule is at:
http://www.maths.ox.ac.uk/notices/events/seminars/analtop.shtml
Organizers: S.Abramsky,P.J. Collins, R.W. Knight, R. Kopperman, H.A.
Priestley, G.M. Reed, A.W. Roscoe
May 26 TWO TALKS:
3:00 Mai Gehrke, New Mexico State U., "Topologies on canonical extensions
and their role in the extension of maps."
4:15 Eric Goubault, DTSI/SLA CEA/Saclay, "Geometrical invariants of
concurrent programs."
June 2 TWO TALKS:
3:00 Mike Mislove, Tulane Univ., TBA
4:15 Jimmie Lawson, Louisiana State U., "Quotients of second countable
spaces: a convenient category."
Meetings are posted on the web site through June 9.
Reminders of future meetings will go out early each week. Note that there
is a conference in honor of Pym taking place at Sheffield May 30-June 1. A web
site with schedules of topological events in England can be found at:
http://home.att.net/~topann/TopEvents.html
Ralph Kopperman
for the organizers
The first is that S. Feferman received the Rolf Schock prize
worth 400, 000 SEK from the Royal Swedish Academy
"for his works on the arithmetization of metamathematics,
transfinite progressions of theories, and predicativity"
Details:
http://www.kva.se/KVA_Root/swe/_news/detail.asp?NewsId=353&br=ie&ver=4up
Members also might wish to be alerted to the
obituary of Peter Wason, a UK psychologist who devised one of the
most influential psychological experiments ever, showing (it has
been argued) that we don't have any built-in skills of propositional
logic at all.
http://www.guardian.co.uk/obituaries/story/0,3604,943208,00.html
Thanks to Wilfrid Hodges for passing on these news.
Please also note that the newsletter sent earlier today had
an incomplete list of the members of the BLC Committee, please
refer to the above for a corrected list.
(5)
Finnish philosopher and logician, influential cultural critic and
essayist. Georg Henrik von Wright died on 16th of June 2003 at the age
of 87. He
was the successor of Ludwig Wittgenstein at the University of Cambridge
and after Wittgenstein's death was one of the excecutors of his literary
estate. Before obtaining the position in Cambridge von Wright was a professor
at the University of Helsinki, where he eventually returned in 1951.
He did crucial work in modal logic including 'An Essay in
Modal Logic' (1951) and 'Deontic Logic (Mind 60, 1951,
pp.1-15) and philosophy of logic. He will be remembered for the Feys/ von Wright
modal system T (which lies between Lewis's S2 and S4, but is independent
of S3), as
well as for his seminal contributions to deontic and epistemic logic.
He also had a strong interest in cybernetics and mathematical behavioral science as
well as other branches of philosophy. His books include
The Logic of Preference (1963) and Explanation and Understanding (1971).
His work was recognised by a number of awards including a
membership at the Academy
of Finland in 1961, the Humboldt prize in 1986, the great prize of the Academy
of Sweden in 1986 and the Critical European Prize in 2002.
Among von Wright's students was J. Hintikka, one of the founders of the
Finnish school of mathematical logic. The web site
http://www.kirjasto.sci.fi/gwright.htm
gives more information about von Wright, including an explanation of his
family's origins in Scotland. 'Daily Telegraph' had an obituary of von Wright on
June 23rd at
http://www.telegraph.co.uk/news/main.jhtml?view=DETAILS
&grid=&targetRule=10&xml=%2Fnews%2F2003%2F06%2F23%2Fdb2301.xml
There is also a Swedish obituary
at http://se.news.yahoo.com/030618/58/18bmy.html
With best wishes, Mirna.
------------
Dr Mirna Dzamonja
Reader
School of Mathematics
University of East Anglia
Norwich, NR47TJ
UK
phone: +44-1603-592981
fax: +44-1603-593868
Page maintained by E.Ritter@cs.bham.ac.uk