BLC Newsletter February 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,

I was away most of January so this newsletter is reaching you
a little later than intended. There are many things that I shall be
sending you soon, such as the complete list of members. For the 
moment though, let me simply send you several announcements that
might interest you and wish you all a very nice semester/term!
    Mirna.

Table of contents:

(1) Logic Seminars at the University of Leeds
(2)  55th British Mathematics Colloquium
                        University of Birmingham
                         7th to 10th of April, 2003  
(3)          University of Leeds
                   CONFERENCE ON GROUPS AND MODEL THEORY
                         April 11th and 12th 2003  
(4) TENTH WORKSHOP ON AUTOMATED REASONING:
             BRIDGING THE GAP BETWEEN THEORY AND PRACTICE

             Liverpool University, UK, 15-16th April 2003
(5)  LICS Newsletter No.83  
(6)  U. of Birmingham Topology Seminar
(7)   Deadline for the submission of contributed papers for the



      XII International Congress of Logic, Methodology and
      Philosophy of Science.

      has been extended until March the 10th. 2003
----------------------------------------------------------
(1)

   
                           UNIVERSITY OF LEEDS
                      Department of Pure Mathematics
                        MATHEMATICAL LOGIC SEMINAR
                         Winter and Spring 2002-3
                            Remaining seminars

February 5th  Ian Hodkinson (Imperial College, London)
Finite model property for guarded fragments, and extending partial isomorphisms

February 12th  Katherine Thompson (University of East Anglia)
   $\kappa$-scattered orders and a poset hierarchy.

February 19th  Sergei Tupailo (Leeds)
   On the intuitionistic strength of monotone inductive definitions

February 26th  Paul Bankston (Marquette)
   Hereditarily indecomposable continua via model theory

March 19th Andrew Lewis (Leeds)
   Aspects of complementing in the Turing degrees

April 2nd 2 pm Steffen Lempp  (Wisconsin)
   Lattice embeddings into the computably enumerable Turing degrees - a
status survey
          4 pm Theodore A. Slaman (Berkeley)
   $\Sigma_1$-bounding and $\Delta_1$-induction
  

     The lectures will be held on Wednesdays at 4 pm in room H,
Mathematics building (except for the extra lecture at 2 on April 2nd). 
Tea at 3.30 pm. 

                          J. K. Truss
(2)


                55th British Mathematics Colloquium
                        University of Birmingham
                         7th to 10th of April, 2003

                    http://www.mat.bham.ac.uk/bmc/

This is the second e-mail announcement of the 55th BMC to be held at
Birmingham in April 2003. Please consider registering at
                    http://www.mat.bham.ac.uk/bmc/
before the start of the new university term.


The plenary speakers will be:

            Jonathan Alperin (Chicago)
            George Andrews (Penn State)
            John Conway (Princeton)
            Tim Gowers (Cambridge)
            Michael Harris (Paris VII).


Additionally there will be a special lecture by Simon Singh on Wednesday
evening before the conference dinner.

The morning speakers include:
    Vladimir Bavula (Sheffield)
    Tom Bridgeland (Edinburgh)
    Martin Bridson (Imperial)
    Joe Chuang (Bristol)
    Marianna Csörnyei (UCL)
    Karin Erdmann (Oxford)
    Roderick Gow (Dublin)
    Ian Grojnowski (Cambridge)
    Tom Körner (Cambridge)
    David Preiss (UCL)
    Caroline Series (Warwick)
    Ted Slaman (Berkeley)
    Neil Strickland (Sheffield)
    Alex Wilkie (Oxford)
    George Willis (Newcastle NSW)


We have planned  three special sessions:
Groups and their applications (Ulrich Meierfrankenfeld (Michigan State
University ) , Dan Segal (Oxford))
Analytic Topology (Steve Watson (York University, Canada), Jan van Mill
(Vrije Universiteit, Netherlands)
Mathematics education and university mathematics (Ron Aharoni (Haifa) ,
Kjeld Laursen (Aarhus), Chris Robson (Leeds) ).



Additionally we have arranged for 10 splinter groups and wish to encourage
people to present talks in these sessions as well as to suggest topics for
additional splinter sessions.  These splinter groups  suggested so far  will
be chaired as follows:
 Algebra:                                            Ken Brown (Glasgow)
 Algebraic Topology:                         John Greenlees (Sheffield)
 Analysis:                                            Graham Jameson
(Lancaster)
 Analytic Topology:                            Peter Collins (Oxford)
 Combinatorics:                                  Graham Brightwell (LSE)
 Functional Analysis:                          Richard Haydon (Oxford)
 Group Theory:                                    Alex Zalesskii (East
Anglia)
 History of Mathematics:                     June Barrow-Green (Open)
 Logic:                                                 Dugald Macpherson
(Leeds)
 Number Theory:                                 Martin Taylor (UMIST)
 Several Variable Spectral Theory:     Robin Harte (Dublin)



Registration for BMC2003 is 40 pounds for early registration (on or before
31st Jan 2003) and 50 pounds after that date. It is also possible to
register on a daily basis at 20 pounds per day. Students and unwaged
participants do not need to pay the registration fee. Information about
accommodation and conference dinner can be found on our website or read from
the LMS newsletter.


 Chris Parker
 Meeting Secretary


(3)



                        PRELIMINARY ANNOUNCEMENT

                           University of Leeds
                   CONFERENCE ON GROUPS AND MODEL THEORY
                         April 11th and 12th 2003
              Supported by the London Mathematical Society and
                       the British Logic Colloquium

     There will be a two-day meeting at the University of Leeds from April 11th
to 12th 2003 on Groups and Model Theory. There will be up to 8 main lectures,
and up to four contributed talks from postgraduates. Speakers will include
     John Wilson (Birmigham)
     Ian Chiswell (Queen Mary, University of London)
     Tristram de Piro (Edinburgh) 
     Ivan Tomasic (Leeds)
     Katrin Tent (Wuerzburg)
     Eric Jaligot (Paris)
    
The first lecture will be at 11 am on April 11th, and the meeting will end
about tea-time on April 12th..

     There will be a registration fee of £10. Some reasonably priced 
accommodation will be available in Devonshire Hall, or in cheap hotels fairly 
close to the university. 
     We are able to offer some support for UK-based research students to
attend from the London Mathematical Society grant.
     There will be a display of posters, and current or recent PhD students are 
encouraged to submit posters at the meeting. They should let the organisers 
know beforehand. 
     Enquiries to pmtjkt@leeds.ac.uk.
     Note that the British Mathematical Colloquium will be held immediately
before this meeting, on April 7th-10th 2003. Details on 
                   http://www.mat.bham.ac.uk/bmc/

                                        H D Macpherson, J K Truss.

(4)



                 1st Call for Papers / Participation

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

             Liverpool University, UK, 15-16th April 2003

                 http://www.csc.liv.ac.uk/~clare/arw03/
              http://www.dcs.kcl.ac.uk/staff/endriss/ARW/

Following in the highly successful series of Workshops on Automated
Reasoning, this workshop will provide an informal forum for the
automated reasoning community. This 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.

Topics
******

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

  - Theorem proving in classical and non-classical logics
  - Equational reasoning
  - Unification
  - Induction - Verification
  - Specification
  - Constraint solving
  - Decision procedures
  - Formal methods
  - Interactive theorem proving
  - Nonmonotonic reasoning
  - Abduction
  - Logic-based knowledge representation
  - Description logics
  - Implementation of automated reasoning systems
  - Experiments

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

We invite interested persons to submit a camera-ready two-page
abstract in either Postscript or PDF format by email to Clare Dixon
at clare@csc.liv.ac.uk about recent work or work in progress, or a
system description. Each submission should include the names and
complete addresses (including email) of all authors. Correspondence
will be sent to the first author, unless otherwise indicated. The
main objective of the abstracts is to spread information about recent
work in our community. Abstracts will be published in informal
workshop notes and be made available by WWW.

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

Proposals for panel sessions should be made as soon as possible.
Please email the proposal to Clare Dixon at clare@csc.liv.ac.uk

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

We have a limited number of grants available to PhD students who
wish to attend ARW 2003. To indicate your interest please send a
short email to Ulle Endriss at ue@doc.ic.ac.uk anytime before
19 March 2003.

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

Abstract submission: any day before 3 March 2003
Notification of authors: shortly after submission
Grant application: any day before 19 March 2003
Workshop dates: 15th-16th April 2003

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

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

There will be invited talks, panel sessions, short presentations of
the papers, and poster sessions. The workshop will last 2 days.
More precise programme details will be announced later.

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

Brandon Bennett (University of Leeds)
Alan Bundy (University of Edinburgh)
David Crocker (Escher Technologies)
Clare Dixon (University of Liverpool) -- ARW 2003 Programme Chair
Ulle Endriss (Imperial College London) -- Secretary/Treasurer
Michael Fisher (University of Liverpool)
Alan Frisch (University of York) -- Organising Committee Chair
Ian P. Gent (University of St. Andrews)
Ullrich Hustadt (University of Liverpool)
Andrew Ireland (Heriot-Watt University)
Manfred Kerber (University of Birmingham)
Renate Schmidt (University of Manchester)
Andrei Voronkov (University of Manchester)
Toby Walsh (University College Cork)



-- 
Ulle Endriss
Department of Computing   Tel: +44 20 7594 8204
Imperial College London   Fax: +44 20 7581 8024
180 Queen's Gate          Email: ue@doc.ic.ac.uk
London SW7 2AZ (UK)       http://www.doc.ic.ac.uk/~ue/

(5) 



TABLE OF CONTENTS
* CONFERENCES AND WORKSHOPS
  ETAPS 2003: Call for Participation
  Joint Conference CSL'03 and KGC: Call for Papers
  ICC'03: Call for Papers
  Fourth Panhellenic Logic Symposium: Call for Papers
  EWSCS'03: Call for Participation
  First APPSEM-II Workshop: Call for Participation
  International Workshop in Formal Methods: Call for Papers
  GPCE 2003: Call for Contributions
  Methods and Models for Codesign: Call for Papers
* JOURNALS
  Special Issue of HOSC: Krivine's Abstract Machine
  Special Isssue of TCS: Game Theory Meets Theoretical Computer Science


ETAPS 2003: THE EUROPEAN JOINT CONFERENCES ON THEORY AND PRACTICE OF SOFTWARE
  Warsaw, Poland, April, 5-13, 2003   
  http://www.mimuw.edu.pl/etaps03/
  Call for Participation
* The European Joint Conferences on Theory and Practice of Software (ETAPS)
  is the primary European forum for academic and industrial researchers working
  on topics related to Software Science. It is a confederation of five main 
  conferences, 15 workshops and 7 tutorials.
* Registration: To register for ETAPS 2003 visit the conference Web page:
  http://www.mimuw.edu.pl/etaps03/
* Grants: A grant from the European Commission, High-Level Scientific
  Conferences, has been approved for supporting the participation in the
  Conference of young researchers (up to the age of 35 years at
  the time of the conference) who are nationals of a Member State or an
  Associated State, and who are actively participating in one of the
  ETAPS 2003 main conferences or in a satellite event.
* The organizers offer additional limited support possibilities for
  ETAPS 2003 participants who are not eligible for the EC-HSC grants above.
* Important dates:
  January 31 - Grant Application Deadline
  February 5 - Discount Registration Deadline  
  March 3    - Early Registration Deadline    
* Main conferences:
  CC 2003: International Conference on Compiler Construction,
    http://www.cs.lth.se/~gorel/cc03/
  ESOP 2003, European Symposium on Programming,
    http://www.di.unipi.it/ESOP03/
  FASE 2003, Fundamental Approaches to Software Engineering,
    http://www.lta.disco.unimib.it/fase2003/
  TACAS 2003, Tools and Algorithms for the Construction and Analysis 
    of Systems, http://www.inrialpes.fr/vasy/tacas03/
  FOSSACS 2003, Foundations of Software Science and Computation Structures,
    http://research.microsoft.com/~adg/FOSSACS03/
* Invited speakers:
  Samson Abramsky, Oxford University, UK
  Tony Hoare, Microsoft Research, Cambridge, UK
  Peter Lee, Carnegie Mellon University, USA
  Xavier Leroy, INRIA and Trusted Logic, France
  Catherine Meadows, Naval Research Laboratory, USA
  Barbara Ryder, Rutgers University, USA
  Michal Young, Oregon University, USA
* Workshops:
  SE-WMT - Structured Programming: The Hard Core of Software Engineering
    (special event to honour W.M.Turski's 65th birthday)
  AVIS - Automated Verification of Infinite-State Systems
  CMCS - Coalgebraic Methods in Computer Science
  COCV - Compiler Optimization Meets Compiler Verification
  Feyerabend - Feyerabend - Redefining Computing
  FAMAS - Formal Approaches to Multi-Agent Systems
  FICS - Fixed Points in Computer Science
  LDTA - Language Description, Tools and Applications
  RSKD - Rough Sets in Knowledge Discovery and Soft Computing
  SC - Software Composition
  TACoS -  Test and Analysis of Component Based Systems 
  USE -  Unanticipated Software Evolution
  UniGra - Uniform Approaches to Graphical Specification Techniques
  WITS - Workshop on Issues in the Theory of Security
  WOOD - Workshop on Object-Oriented Developments
* Tutorials:
  Foundations of Constraint Programming
  XML Documents Using Tree Automata
  Multi-Media Instruction in Safe and Secure Systems
  Advanced Compilation Techniques for the Itanium Processor Family
  Formal Development of Critical Systems with UML
  An Inside Look at Rotor, Microsoft's "Shared Source"
    Implementation of the Common Language Infrastructure 
  Theory and Practice of Co-Verification Process: UniTesk Story
* For more information and to register visit the Web page:
    www.mimuw.edu.pl/etaps03  


JOINT CONFERENCE CSL'03 and KGC 
  (Annual Conference of the European Association for Computer Science Logic
    and 8th Kurt Goedel Colloquium)
  Vienna, August 25 - 30, 2003
  http://www.logic.at/csl03/
  Call for Papers
* Topics include: 
  automated deduction and interactive theorem proving,
  constructive mathematics and  type theory, equational logic and term
  rewriting, fuzzy logic, modal and temporal logics, computational proof
  theory, linear logic, finite model theory, bounded arithmetic, logical
  aspects of computational complexity, higher order logic, logic
  programming and constraints, lambda and combinatory calculi, logical
  foundations of programming paradigms, model checking, specification and
  extraction and transformation of programs, categorical logic and
  topological semantics, game semantics, domain theory, database theory.
* Program committee:  Matthias Baaz (chair), Arnold Beckmann, Lev Beklemishev,
  Maarten de Rijke, Chris Fermueller, Didier Galmiche, Harald Ganzinger,
  Erich Graedel, Petr Hajek, Martin Hyland, Reinhard Kahle, Helene Kirchner,
  Daniel Leivant, Johann Makowsky (co-chair), Jerzy Marcinkowski, Franco 
  Montagna, Robert Nieuwenhuis, Michel Parigot, Jeff Paris, Helmut 
  Schwichtenberg, Jerzy Tiuryn
* Invited speakers (tentative):
  Sergei Artemov (CUNY, USA)
  Bruno Buchberger (Johannes Kepler University)
  Dov Gabbay (King's College London)
  Helmut Veith (Vienna University of Technology)
  Nikolai Vorobjov (University of Bath)
  Andrei Voronkov (University of Manchester)
* Invited tutorials (tentative): 
  Ahmed Bouajjani (University Paris 7)
  Georg Moser (University of Muenster)
  Richard Zach (University of Calgary)
  Nikolai Vorobjov (University of Bath)
  Igor Walukiewicz (University of Bordeaux)
* Submission is in two stages
  Deadline for title and abstract:  March 31, 2003
  Deadline for the full paper: April 7, 2003
* For the required format of submissions see the Website:
  http://www.logic.at/csl03/


WORKSHOP ON IMPLICIT COMPUTATIONAL COMPLEXITY (ICC'03)  
  (affiliated with LICS 2003)
  Ottawa, Canada, June 26 - 27, 2003 
  http://www.cis.syr.edu/~royer/icc/ICC03/
  Call for Papers
* Topics of interest include: automatic complexity analysis of
  programs, complexity analysis for functional languages, complexity
  in database theory, complexity in formal methods, foundations of
  implicit computational complexity, higher-type computational
  complexity, logical and machine-independent characterizations of
  complexity classes, logics closely related to complexity classes,
  software that applies ICC ideas, type systems for controlling
  complexity
* All submissions must be done electronically.  Please email your
  submission to Anuj.Dawar@cl.cam.ac.uk 
* Submission Deadline : March 28, 2003
* Program committee. Michael Benedikt (Bell Labs) Ralph Benzinger
  (McKinsey & Company, Berlin) Sam Buss (University of
  California/San Diego) Anuj Dawar (Cambridge University), chair
  Martin Grohe (Edinburgh) Jan Johannsen (Ludwig-Maximilians
  Universitat Munchen) Neil Jones (University of Copenhagen) Bruce
  Kapron (University of Victoria) Karl-Heinz Niggl (Technische
  Universitat Ilmenau) Luke Ong (University of Oxford) 


FOURTH PANHELLENIC LOGIC SYMPOSIUM
  July 7-10, 2003, Thessaloniki, Greece
  Call for Paapers
* Original papers on all aspects of logic are solicited.
  Authors are invited to submit an extended abstract of at most five
  pages with a statement classifying the paper in one of the following 
  areas: Mathematical Logic, Set Theory, Logic in Computer Science, 
  History of Logic, Philosophy of Logic, other Logic related area 
  (specified).
* Invited talks: D. Bjorner, P. Peppas, K. Sagonas, I. Soskov
* Tutorials:
  Philosophy  of Logic: W. Demopoulos 
  Complexity of Logic-Related Problems: E. Koutsoupias 
  Logic-Based Information Integration: M. Lenzerini 
  Set Theory:  A. Louveau 
* Scientific committee: S. Cosmadakis, C. Dimitracopoulos), A. Kakas,
  A. Kechris, L. Kirousis (Chair), Ph. Kolaitis, G. Koletsos, E. Kranakis,
  M. Mytilinaios, Th. Pheidas, A. Sinachopoulos, P. Spirakis, Th. Tzouvaras,
  S. Zachos
* Address for submission: kirousis@ceid.upatras.gr
* Important dates
  Submission: March 28, 2003
  Notification: May 9, 2003
  Camera-ready abstracts: May 30, 2003
* http://www2.cs.ucy.ac.cy/pls4


8TH ESTONIAN WINTER SCHOOL IN COMPUTER SCIENCE (EWSCS'03)
  Palmse, Estonia, 2-7 March 2003
  Call for Participation
* EWSCS is a series of regional-scope international winter schools held
  annually in Estonia. The main objective of EWSCS is to expose Estonian, 
  Baltic, and Nordic graduate students in computer science (but also 
  interested students from elsewhere) to frontline research topics usually 
  not covered within the regular curricula. The subject of the schools 
  is general computer science, with a bias towards theory, this comprising 
  both algorithms, complexity and models of computation, and semantics, 
  logic and programming theory. The working language of the schools is
  English. This time the focus of the winter school will be on
  randomness, cryptography and abstract interpretation.
* The schools' scientific programme consists of short courses by
  renowned specialists and a student session. The course list for
  EWSCS'03 is the following:
  Gregory Chaitin:  Algorithmic Information Theory
  Patrick Cousot: Abstract Interpretation
  Ivan Damgard: Theory and Practice of Multiparty Computation
  Johan Hastad: The PCP Theorem with Some Applications to Inapproximability
* The purpose of the student session is to give students an opportunity
  to present their own ongoing work (typically, thesis work) and get
  feedback. Registrants to EWSCS'03 are invited to propose short talks
  (20 min) or posters. The selection will be based on abstracts of
  150-400 words.
* The deadline for registration and submission of abstracts is 24
  January 2003. All registrants will be notified of acceptance to school
  and of acceptance of their talks/posters by 31 January 2003.
* For full details see: http://www.cs.ioc.ee/yik/schools/win2003/


FIRST APPSEM-II WORKSHOP
  26th - 28th March 2003, Nottingham, United Kingdom
  First Announcement and Call for Participation
* The first annual workshop of  the IST working group APPSEM-II (Applied
  Semantics II) will be held  at the University of Nottingham from 26-28
  March 2003.  All  members of the working group  are invited to attend,
  but participation of non-members  from both academia and industry with
  interests  in application-oriented  programming language  semantics is
  actively encouraged. The purpose of  the workshop is to  present new
  results and plan future work in each of the nine themes of the group:
  A - Program structuring: OO programming, modules (Didier Remy);
  B - Proof assistants, functional programming, and dependent 
    types (Thierry Coquand);
  C - Program analysis, generation, and configuration (Neil Jones);
  D - Specification and verification methods (Uday Reddy);
  E - Types and type inference in programming (Fritz Henglein);
  F - Games, sequentiality, and abstract machines (Pierre-Louis Curien);
  G - Semantic methods for distributed computing (Glynn Winskel);
  H - Resource models and web data (Peter O'Hearn, Philippa Gardner);
  I - Continuous phenomena in Computer Science (Achim Jung).
* For each theme there will  be a session of presentations, organised by
  the theme leader (in parentheses  above).  There will also be a number
  of invited presentations, an industrial panel session, a brainstorming
  session, and  a business meeting.   Following on from the  workshop an
  informal proceedings will be published on the web.
* Further  details regarding  registration,  accommodation, travel,  etc
  will  be available shortly.   In the  meantime, if  you would  like to
  attend  the workshop,  please email  appsem03@cs.nott.ac.uk  by FRIDAY
  31ST JANUARY.  If you would like to give a talk, please also include a
  title,  short abstract (and  paper if  available), and  a list  of the
  themes to which it is relevant in order from most to least.
* Note that the fun of programming symposium in honour of Richard Bird's
  60th birthday  will be held in  Oxford during the two days before the
  workshop, so participants may like to attend both events.
* Useful links:
  APPSEM-II working group:
    http://www.tcs.informatik.uni-muenchen.de/~mhofmann/appsem2/
  First APPSEM-II workshop:
    http://www.cs.nott.ac.uk/~gmh/appsem03.html
  Fun of programming symposium:
    http://web.comlab.ox.ac.uk/oucl/research/areas/ap/fop/


SIXTH INTERNATIONAL WORKSHOP IN FORMAL METHODS
  Dublin City University, Dublin, Ireland, 10-11 July, 2003
  Call for Papers
* Submission deadline: 1 April, 2003
* For details see: http://www.computing.dcu.ie/~baziz/iwfm03


2ND INTERNATIONAL CONFERENCE ON GENERATIVE PROGRAMMING AND 
  COMPONENT ENGINEERING
  September 22-25, 2003, Erfurt, Germany
  Part of NetObjectDays'03
  In Cooperation with ACM SIGPLAN and SIGSOFT
  Call for Contributions
* Important dates:
  Technical paper submission: Apr  6, 2003
  Workshop proposal submission: Apr  6, 2003
  Practitioner report submission: May 18, 2003
  Tutorials proposal submission: May 18, 2003
  Demonstration proposal submission: May 18, 2003
  Poster proposal submission: Jul 13, 2003
* For details see: http://gpce.org


FIRST ACM-IEEE INTERNATIONAL CONFERENCE ON METHODS AND MODELS FOR CODESIGN
  June 24th-26th, 2003, Mont Saint-Michel, France 
  Announcement and Call for Papers
* Programming models, formal analysis methods and verification techniques
  for high-level system design: towards convergence of formal methods
  and industrial trends.
* Opening speaker: Jose Meseguer (SRI)
* Invited speakers: Ahmed Jerraya (IMAG), Nancy Lynch (MIT), Ken 
  McMillan (Cadence)
* General chair: Rajesh Gupta (University of California at San Diego)
* Prospective authors are invited to submit original
  and unpublished papers describing innovative techniques and results
  addressing one or several of the following topics:
  1. From general-purpose languages to formal semantic models
  2. Analysis and verification of system-level models
  3. System-level design methodologies
  4. Formal methods for various aspects of system -evel design
  5. Distribution, fault-tolerance, scheduling, non-functional
    requirements (portability, availability, maintainability, etc)
* Problem solving sessions: the technical program committee has identified 
  the following specific problem areas where the need for innovation and
  community contribution is important:
  1. Levels of abstraction, notion of conformance and equivalence
  2. Hierarchical verification
  3. Should the space of implementation possibilities be determined
    by the abilities of high-level synthesis and validation ?
  4. Functional coverage, test generation, and incremental verification
  5. Post-fabrication verification, update and patch
* More details on the problem background and discussions can be found on
  the conference website at http://www.irisa.fr/MEMOCODE.  We especially
  seek contributions addressing these problem areas while contributions
  within the larger scope of the conference charter are welcome. Papers
  submitted to problem solving sessions and general sessions will be
  reviewed in the same manner, and papers submitted to one session may
  be moved to another session if deemed appropriate by the committee.
* Conference proceedings will be published by ACM or IEEE Press.
  Selected papers from the conference will be published as a special
  volume by Kluwer Academic Publishers on a later date.
* Important dates
  Feb 1, 2003    - submission deadline (firm)
  March 15, 2003 - authors notification
  March 31, 2003 - final versions of accepted papers due and authors 
    registration deadline


SPECIAL ISSUE OF HIGHER-ORDER AND SYMBOLIC COMPUTATION
  Krivine's Abstract Machine
  Call for Papers
  http://www.wkap.nl/journals/hosc
* The Krivine machine has been rediscovered many times and in many
  settings, be it by inventive power, by derivation, or by reconstruction.
  The goal of this special issue is to document the variety of these
  rediscoveries, derivations, and reconstructions.  The articles we are
  seeking can be either formal, informal, or experimental, as long as they
  are insightful and shed light on the Krivine machine or a variant of it.
* Submission deadline: February 14, 2003.
* Submissions, in pdf or ps format, should be sent to .
* Questions (e.g., about the appropriateness of a submission) and
  comments should be directed to Olivier Danvy .


SPECIAL ISSUE OF THEORETICAL COMPUTER SCIENCE
  Game Theory Meets Theoretical Computer Science
  Guest Editors: Samson Abramsky and Marios Mavronicolas
  Call for Papers
* The Special Issue falls under both TCS-A (Algorithms, Automata,
  Complexity and Games) and TCS-B (Logic, Semantics and Theory of
  Programming).
* The coverage aim of the Special Issue is two-fold. Specifically,
  the Special Issue is intended to cover:
  research results in areas of Theoretical Computer Science which
  have benefited from the application of concepts, methods and techniques
  from (classical) Game Theory;
  research results and approaches to Game Theory that build upon tools
  from Theoretical Computer Science and address algorithmic questions,
  thus giving rise to the emerging discipline of Algorithmic Game Theory. 
* High-calibre papers are solicited that address the intended issues.
  Topics of particular interest include (but are not limited to):
  Algorithmic Mechanism Design, Applications of Games to Model-Checking, 
  Combinatorial Games, Computation of Equilibria in Games, Computational 
  Complexity of Games, Computational Issues in Game Representations,
  Distributed Computing as a Game, Games as Models for Programming
  Languages and Logics, Game Models for Security and Cryptography,
  Game Paradoxes in Computer Science and Engineering, Game Semantics
  and Interactive Models of Computation, Game-Theoretic Approaches to
  Networking, Game-Theoretic Techniques in Computational Complexity
  Theory, Quantum Games, Reasoning about Games, Uses of Games in Finite 
  Model Theory
* Only work that contains rigorous analysis and proofs is sought.
  Theoretical work accompanied by experimental results is especially
  valued. Surveys and tutorial expositions of permanent reference value
  will also be considered. All submitted papers must be original,
  exclusively submitted to this Special Issue.
* Authors are encouraged to submit their papers electronically.
  Please email a postscript file of your manuscript to either 
  Samson.Abramsky@comlab.ox.ac.uk or mavronic@ucy.ac.cy, together with
  a plain text cover letter. Authors unable to submit electronically
  may send five copies of their manuscripts to one of the Guest Editors:
  Samson Abramsky, Computing Laboratory, Oxford University,      
    Wolfson Building, Parks Road, Oxford, OX1 3QD, England
  Marios Mavronicolas, Department of Computer Science, University of
    Cyprus, P.O. Box 20537, Nicosia CY-1678, Cyprus
* Important Dates:
  Submission deadline: March 31, 2003 (firm)
  Decision deadline: July 15, 2003
  Final version due: August 31, 2003
  Publication date: October 2004 (tentative)
* Additional information may be obtained by communicating with
  either of the Guest Editors

(6)


Subject: U. of Birmingham Topology Seminar.

Folks,
     The Birmingham Topology Seminar meets Fridays at 4pm in G40, the 
Computer Science Building. Our spring schedule so far, is:

24/1 Steve Vickers        TBA
24/1 Ralph Kopperman      (Theory seminar, 2pm, G40): Ask "What can
                          computer science do for topology?")
31/1 Harold Simmons       "What is an what is not point-free topology?"
07/2 Homeira Pajoohesh    "Partial metrizability in quantales."
14/2 Pawel Waszkiewicz    TBA
21/2 Mirna Dzamonja       "Compact topological spaces and boolean algebras
                          coming from functional analysis"
07/3 M.B. Smyth           TBA
14/3 C.F. Townsend        "Moving directed complete partial orders between
                          toposes"

     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/research/events/topology-seminar/topology.html
     It is accessible both directly and from the U. of Birmingham School 
of Computer Science page, via the research link. It is maintained by 
Martin Escardo, who welcomes suggestions for improvements.

     We would be happy if you could join us.
                                         Sincerely,
                                         Martin Escardo
                                         Chris Good
                                         Achim Jung
                                         Ralph Kopperman
                                         Steve Vickers
                                         Organizers

(7) 


      REMINDER

       

      1: Deadline for the submission of contributed papers for the

       

      XII International Congress of Logic, Methodology and
      Philosophy of Science.

      has been extended until March the 10th. 2003.

       

      2: University-type accomodation, bed and breakfast, between
      13 - 20 Euros (Aprox.). Soon to be announced on the Congress
      web page

       

       

      Additional information at

      http://www.uniovi.es/Congresos/2003/DLMPS

      E-mail: frege@correo.uniovi.es

       

      12 th. International Congress of Logic Methodology and
      Philosophy of Science Director: Luis Manuel Vald^Îs
      Villanueva E-mail: frege@correo.uniovi.es Tfno: 985 10 46 88
      / Fax: 985 10 46 98





Home Index

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

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

Last modified: Tue Feb 25 14:12:41 GMT 2003