BLC Newsletter May 2003


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

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

    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



Home Index

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

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

Last modified: Tue Mar 4 13:27:10 GMT 2003



Home Index

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

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

Last modified: Mon Jun 16 21:07:33 BST 2003