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

Please find attached the Report of the BLC Commitee for 2002.
I am attaching both a Latex and a ps file.
   The rest of the newsletter contains various announcements, as=20
listed below.
    With best wishes, Mirna.

Table of contents:

(1) LICS Newsletter No. 84

(2)=20
                 19th British Combinatorial Conference
                   University of Wales, Bangor, U.K.
                      June 29th - July 4th, 2003

(3) Topological Events Site

(4) Ramsey Centenary Conference, Cambridge, UK
    30 June - 2 July 2003

(5) XIIth SLALM (Latin American Symposium on Mathematical Logic)

 San Jos\351, COSTA RICA - January 12-16, 2004.

(6) Midlands Graduate School in the Foundations of Computing Science
                       University of Leicester
                     31st March - 4th April 2003
--------------------------------------------------------------
(1)


******************************************************************* =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=20
  http://www.lfcs.informatics.ed.ac.uk/lics/newsletters/inst.html
*******************************************************************


TABLE OF CONTENTS
* CONFERENCES AND WORKSHOPS
  LICS 2003, Call for Short Presentations
  Workshop on Logic and Computational Linguistics, Call for Abstracts
  PPDP '03, Call for Papers
  Types 2003, Call for Talks, Demos and Participation
  FTP 2003, Call for Papers
  Workshop on Semantics and Verification of Hardware and Software Systems,
    Call for Papers
  Workshop on Formal Techniques for Java-like Programs, Call for Papers
  ICLP '03, Call for Contributions
  WAIT 2003, Call for Papers
  International Conference on Algebraic and Topological Methods in
    Non-classical Logics, Call for Papers
* SUMMER SCHOOLS
  Summer School on Foundations of security
* VACANCIES
  Research/Postdoc Psition at ENS Paris
* MAILING LISTS
  Proof theory mailing list


EIGHTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2003)
  June 22nd - 25th, 2003, Ottawa, Canada
  http://www.lfcs.informatics.ed.ac.uk/lics/
  Call for Short Presentations
* The LICS Symposium is an annual international forum on theoretical and
  practical topics in computer science that relate to logic in a broad
  sense. LICS 2003 will take place in Ottawa, Canada, June 22-25, 2003
  and will feature invited talks, invited tutorials, and presentations
  of papers that will appear in the LICS 2003 proceedings.=20
  In addition, LICS 2003 will have a session of short (5-10 minutes)
  presentations. This session is intended for descriptions of work in
  progress, student projects, and relevant research being published
  elsewhere; other brief communications may be acceptable.=20
* Submissions for these presentations, in the form of short abstracts=20
  (1 or 2 pages long), should be entered by following the=20
  "Instructions for short presentations" link at the LICS 2003 website=20
    http://www.lfcs.informatics.ed.ac.uk/lics/lics03
  between March 17th and March 21st, 2003. Authors will be notified of=20
  acceptance or rejection by April 4th, 2003.
* Suggested, but not exclusive, topics of interest for submissions
  include: automata theory, automated deduction, categorical models and
  logics, concurrency and distributed computation, constraint
  programming, constructive mathematics, database theory, domain theory,
  finite model theory, formal aspects of program analysis, formal
  methods, hybrid systems, lambda and combinatory calculi, linear logic,
  logical aspects of computational complexity, logics in artificial
  intelligence, logics of programs, logic programming, modal and
  temporal logics, model checking, programming language semantics,
  reasoning about security, rewriting, specifications, type systems and
  type theory, and verification.
* Program Chair: Phokion G. Kolaitis, Computer Science Department,
  University of California Santa Cruz. Email: kolaitis@cs.ucsc.edu
* Program Committee: Michael Benedikt, Bell Laboratories; Andreas R. Blass,=
=20
  University of Michigan; Maria Luisa Bonet, UPC, Barcelona; Witold=20
  Charatonik, University of Wroclaw; Marcelo Fiore, University of Cambridge=
;
  Giorgio Ghelli, Universita di Pisa; Thomas A. Henzinger, UC Berkeley;
  Alan Jeffrey, DePaul University; Assaf J. Kfoury, Boston University;
  Phokion G. Kolaitis, UC Santa Cruz; Orna Kupferman, Hebrew University=20
  of Jerusalem; Ursula Martin, University of St Andrews; Paul-Andre=20
  Mellies, CNRS & University of Paris 7; Eugenio Moggi, Universita di Genov=
a;
  Ugo Montanari, Universita di Pisa; Paliath Narendran, University at=20
  Albany SUNY; Luke Ong, University of Oxford & National University=20
  of Singapore; Martin Otto, University of Wales Swansea; Frank Pfenning,=
=20
  Carnegie Mellon University; Mirek Truszczynski, University of Kentucky.


WORKSHOP ON LOGIC AND COMPUTATIONAL LINGUISTICS=20
  Affiliated with LICS'03=20
  Ottawa, June 26, 2003=20
  http://www.cs.toronto.edu/~gpenn/CL-LICSworkshop.html=20
  Call for abstracts
* The purpose of this workshop is for people in logic and
  computational linguistics to discuss the "state of the art" in our
  respective fields, with the intent of breathing a bit more vitality
  into the logical and mathematical approaches used in formal
  linguistics, and introducing logicians and computer scientists to
  problems in the empirical domain of natural language that might
  serve as the impetus for important theoretical work.  This will be
  an informal meeting, with no published proceedings. Abstracts of
  invited and contributed talks will be available on the workshop
  webpage.
* Invited speakers. Frank Pfenning and Mark Steedman.
* Organizers. Gerald Penn (gpenn@cs.toronto.edu) and Leonid Libkin
  (libkin@cs.toronto.edu).
* Submission procedure. Email an abstract, not exceeding two pages,
  to one of the organizers. Deadline for submissions: March 31, 2003.
  Workshop program will be posted on April 15, 2003.
* ASL sponsorship. The workshop is sponsored by the ASL; consequently,=20
  student ASL members can apply for ASL travel funds; see
  http://www.aslonline.org/student%20travel%20awards.html for
  details.


PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP'03)
  (sponsored by ACM SIPLAN, member of PLI'03)
  Uppsala, Sweden, 27-29 August 2003
  http://www.it.uu.se/ppdp03/
  Call for Papers
* Themes: Logic and Constraint Programming; Functional Programming;
  Object-Oriented Programming; Concurrent Extensions; Mobile Computing;
  Integration of Paradigms; Proof Theoretic and Semantic Foundations;
  Program Design and Development; Type and Module Systems; Program
  Analysis and Verification; Program Transformation; Abstract Machines
  and Compilation; Programming Environments; and Application of
  Declarative Programming.
* All submissions made electronically via the conference web site.
* Submission Deadline: 29 March 2003, noon CET
* Program committee. Maria Alpuente (Univ. Politecnica de Valencia,
  ES), Alessandra Di Pierro (Univ. of Pisa, IT), Masami Hagiya
  (Univ. of Tokyo, JP), Fergus Henderson (Univ. of Melbourne, AU),
  Dale Miller, PC Chair (INRIA/Futurs, FR), Alberto Momigliano
  (Univ. of Leicester, UK), Benjamin Pierce (Univ. of Pennsylvania,
  US), C.R. Ramakrishnan (SUNY Stony Brook, US), Mario Rodriguez
  Artalejo (Univ. Complutense, ES), Amr Sabry (Univ. of Indiana, US),
  Konstantinos Sagonas, Conference Chair (Uppsala University, SW),
  Frank Valencia (Uppsala University, SW)


TYPES 2003
  Torino, April 30 - May 4, 2003
  http://types2003.di.unito.it/
  Call for Talks, Demos, and Participation
* Types 2003 will be held in Villa Gualino, a peaceful Villa with park
  and a scenic viewpoint, located in the hills facing the centre of
  Torino, Italy, from April 30 to May 4.
* Topics include, but are not limited to: Applications of type theory,=20
  type theory and functional programming, industrial uses of type theory=20
  technology; meta-theoretic studies of type systems; iImplementation of=20
  proof-assistants, automation in computer-assisted reasoning;
  formalizing mathematics using type theory; constructivism and foundations=
=20
  of mathematics.
* Invited speakers include Per Martin-Lof and Frank Pfenning.=20
  More informations about the workshop can be found at:
* For more information see: http://types2003.di.unito.it/
* Registration deadline: March 20, 2003


WORKSHOP ON FIRST-ORDER THEOREM PROVING (FTP 2003)
  (event of RDP'03)
  Valencia, Spain, June 12 - 14, 2003
  http://rewriting.loria.fr/FTP-2003/
  Call for Papers
* Theme.  Theorem proving in first-order classical, many-valued, modal
  and description logics, including nonexclusively: resolution,
  equational reasoning, term-rewriting, model construction, constraint
  reasoning, unification, description logics, propositional logic,
  specialized decision procedures; strategies and complexity of
  theorem proving procedures; implementation techniques and
  applications of first-order theorem provers to verification,
  artificial intelligence, mathematics and education.
* All submissions must be done electronically.
  Please email your submission to ftp2003@uni-koblenz.de
* Submission Deadline: April 1, 2003
* Program committee. M. P. Bonacina (Verona), R. Caferra (Grenoble),
  I. Dahn (Koblenz, co-Chair), B. Gramlich (Vienna), P. Narendran
  (Albany), D. Plaisted (Chapel Hill), C. Ringeissen (Nancy), A. Rubio
  (Barcelona), J. Slaney (Canberra), T. Uribe (Menlo Park), L. Vigano
  (Zuerich), L. Vigneron (Nancy, co-Chair), C. Weidenbach
  (Saarbruecken), H. Zhang (Iowa City).


WORKSHOP ON SEMANTICS AND VERIFICATION OF HARDWARE AND SOFTWARE SYSTEMS
  Tel Aviv, Israel, MAY 20-22=20
  http://www.cs.tau.ac.il/~svhss/
  Call for Papers
* The workshop aims to provide a forum for the presentation and discussion=
=20
  of new ideas and results, recent developments, new research directions,=
=20
  as well as surveys on existing knowledge in semantics and verification=20
  of hardware and software systems.
* Prospective authors are invited to submit an abstract (up to three pages)
  describing innovative techniques, results or a survey addressing topics i=
n
  the semantics or verification of hardware or software systems. Electronic
  submission in the form of postscript file can be send to
  svhss@post.tau.ac.il.
* Important dates:=20
    March 12, 2003: Deadline for electronic submission of papers
    March 30, 2003: Notification of acceptance of papers
* Invited speakers: Eugene Asarin (Grenoble); Daniele Beauquier (Paris 12);
  Mike Gordon (Cambridge); David Harel (Weizmann); Yoram Hirshfeld (Tel Avi=
v);
  Zohar Manna (Stanford); Oded Maler( Grenoble); Anca Muscholl (Paris 6);
  Amir Pnueli (Weizmann); Philippe Schnoebelen (LSV Cachan);
  Anatol Slissenko (Paris 12); Boaz Trakhtenbrot (Tel Aviv).
* Organizing committee: Gideon Ariely (Israeli Ministry of Science);
  Cindy Eisner (IBM Haifa); Orna Grumberg (Techion); Orna Kupferman=20
  (Hebrew University); Alexander Rabinovich (Tel Aviv University, Chair);
  Mooly Sagiv (Tel Aviv University)


WORKSHOP ON FORMAL TECHNIQUES FOR JAVA-LIKE PROGRAMS
  Darmstadt, Germany, July 21-25, 2003
  In conjunction with ECOOP 2003
  Call for Papers
* We solicit extended abstracts on new developments or interesting
  applications of formal techniques in the context of Java or similar
  languages, notably C#. Each submission should state a clear position,
  explain the technical background that motivates/supports this position
  (up to 7 pages).
* Send submissions by email to Peter Mueller (p.mueller@web.de) by=20
  April 25, 2003
* http://www.cs.kun.nl/~erikpoll/ftfjp/


INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'03)
  (in conjunction with FSTTCS'03 and ASIAN'03)
  Call for Contributions
  Mumbai (Bombay), INDIA, 9 - 13 Dec, 2003
  http://www.tcs.tifr.res.in/~iclp03
* Conference scope. Contributions (papers and posters)
  are sought in all areas of logic programming including:
  Theory (semantic foundations, formalisms, non-monotonic reasoning,
    knowledge representation, inductive logic programming)
  Language issues (constraints, concurrency, objects, coordination,
    higher order, types, modes, programming techniques)
  Implementation (compilation, memory management, virtual machines,
    parallelism)
  Environments (program analysis, program transformation, validation
    and verification, debugging)
  Applications (deductive databases, software engineering, natural
    language, web tools, internet agents, artificial intelligence,
    molecular biology)
* Papers must describe original, previously unpublished research, and
  not be simultaneously submitted for publication elsewhere. They must
  be written in English and not exceed 15 pages in Springer LNCS format.
  Posters provide an excellent forum for presenting late-breaking or
  speculative work in an interactive and informal setting. Poster
  submissions are explicitly solicited.
  Submission details for papers and posters can be found on the
  conference webpage.
* Publication. The proceedings of the conference will be published
  by Springer-Verlag in the LNCS series.
* Submission deadlines: May 12, 2003 for papers; June 28, 2003 for posters
* Programme Committee: Bart Demoen, Agostino Dovier, Mireille Ducasse,
  Sandro Etalle, Moreno Falaschi, Maria Garcia de la Banda, Andy King,
  Kung-Kiu Lau, Catuscia Palamidessi (programme chair), Enrico Pontelli,
  German Puebla, Mario Rodriguez Artalejo, Francesca Rossi,
  Dietmar Seipel, R.K. Shyamasundar (conference chair), Zoltan Somogyi,
  Hudson Turner, Kazunori Ueda, David Scott Warren


ARGENTINIAN WORKSHOP ON THEORETICAL COMPUTER SCIENCE (WAIT 2003)
  Buenos Aires, Argentina, September 1-5, 2003
  Call for Papers
* The Argentinian  Workshop on  Theoretical Computer Science  (WAIT) has
  become an important Latin American forum for the exchange of ideas and
  the presentation  of research in theoretical computer  science and its
  applications. The  workshop aims  are  to build  a  bridge  between
  academic and applied  research and to stimulate the  exchange of ideas
  and experience between theory and practise in computer science.
* The  meeting includes  contributed and  invited talks,  and tutorials.
  Further, we are very pleased to  announce that there will be a special
  issue of ENTCS (http://www.elsevier.nl/locate/entcs) dedicated to WAIT
  2003 publishing a selection of outstanding contributions.
* Submissions are welcome in all fields of Theoretical Computer Science.
* Submission deadline: May 4, 2003
* http://wait2003.famaf.unc.edu.ar


INTERNATIONAL CONFERENCE ON ALGEBRAIC AND TOPOLOGICAL METHODS IN
  NON-CLASSICAL LOGICS
  Tbilisi, Georgia, 7 - 11 July 2003
  http://piscopia.nmsu.edu/morandi/TbilisiConference
  Call for papers
* The aim of this conference is to present some recent advances in the
  use of algebraic, order-theoretic, and topological methods in=20
  non-classical logics. We also hope to bring together researchers=20
  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=20
  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=20
  State University; John Harding, New Mexico State University;
  Ramon Jansana, University of Barcelona; Daniele Mundici, Milan=20
  University; Yde Venema, University of Amsterdam; Michael Zakharyaschev,=
=20
  King's College; Marek Zawadowski, University of Warsaw
* Call for papers: If you wish to speak at the conference, please send=20
  by email a title and abstract of your talk to Guram Bezhanishvili=20
  (gbezhani@nmsu.edu). The deadline for submissions is 1 May. We will=20
  let you know by 15 May if you will be invited to speak at the conference.=
=20
  The deadline to register for the conference is 1 June.
* Location: Tbilisi State University, Tbilisi, Georgia
* Web Site: http://piscopia.nmsu.edu/morandi/TbilisiConference
* Important Dates:=20
    Submission deadline: 1 May 2003
    Notification of acceptance: 15 May 2003
    Registration deadline: 1 June 2003
    Conference: 7 - 11 July 2003
* Program Committee: Guram Bezhanishvili; Patrick Morandi; Willem Blok;
  Roberto Cignoli; Josep Maria Font; Dick de Jongh; Larisa Maksimova;
  Hiroakira Ono; Rohit Parikh; Lazare Zambakhidze.
* Organizational Committee: Merab Abashidze; Nick Arevadze;
  Nick Bezhanishvili; David Gabelaia; Revaz Grigolia;
  Giorgi Japaridze; Mamuka Jibladze; Ioseb Khutsishvili;
  Dimitri Pataraia; Levan Uridia.
* Organizing Institutions: New Mexico State University; Tbilisi State=20
  University;  Georgian Academy of Sciences.
* This conference is part of the activity of a grant funded by the Civil
  Research Development Fund and the Georgian Research Development Fund.
* For further information, contact Guram Bezhanishvili
  (gbezhani@nmsu.edu) or Pat Morandi (pmorandi@nmsu.edu).


SUMMER SCHOOL ON THE FOUNDATION OF SECURITY
  Eugene, Oregon, USA, June 16 - 27 , 2003=20
* The summer school on the Foundation of Security
  is a two week course for computer scientists and mathematicians
  interested in formal methods applied to software security.=20
  The program runs from Monday, June 16 to Friday, June 27, 2003.
* Graduate students who wish to attend should send an application
  consisting of a short description of their educational background
  and one letter of reference to summer-school-security@cs.uoregon.edu.
  We anticipate making available a number of grants to cover travel and
  lodging costs for qualified graduate students.=20
* http://www.cs.uoregon.edu/activities/summerschool/summ


RESEARCH/POSTDOC POSITION AT ENS PARIS
* A research position for one or two years is available Ecole
  Normale Superieure in Paris. This position is opened in the
  context of an European project on formal models for mobility and
  security. It will correspond to the position of an average
  CNRS's CR2 researcher, that is, the retribution of a young tenure
  researcher with few years of post-doc career.
* Applicants should have (or expect soon to have) a Ph.D. and
  justify experience with at least one of these themes:
    concurrency, process calculi and mobility
    type systems=20
    static analysis
    formal methods for language-based security
    XML documents transformation languages
* For application and further information please contact Giuseppe
  Castagna (Giuseppe.Castagna@ens.fr) and consult the following
  pages: http://www.myths.eu.org  http://www.cduce.org


PROOF THEORY MAILING LIST
  For more information and a list of subscribers see:
  http://www.ki.inf.tu-dresden.de/~guglielm/Research/list.html



(2)



                 19th British Combinatorial Conference
                   University of Wales, Bangor, U.K.
                      June 29th - July 4th, 2003

                e-mail: bcc2003@informatics.bangor.ac.uk
  web: http://www.informatics.bangor.ac.uk/public/mathematics/bcc2003/

This is the second email announcement of the 19th BCC, organised by the=20
British Combinatorial Committee, to be held at Bangor in June/July 2003.

The online booking form is now operational, and has already been used by
a number of delegates.   Notes on completing this form are now at:
http://www.informatics.bangor.ac.uk/public/mathematics/bcc2003/register.htm=
l

The British Combinatorial Conference is held every two years.
All areas of combinatorics are covered.
The titles of the talks given by the 9 invited speakers, together with
the abstracts of the associated articles, are available on the web site.

Call for papers: contributed talks of 15 minutes in length are invited.
See the website for submission details.

The conference has financial support from the London Mathematical Society.

If any of you are awaiting a reply to an email, please accept my apologies.
The conference book, "Surveys in Combinatorics, 2003", went to the
publishers at the weekend, and this has been taking up all my time.

To remove your entry from the mailing list, or to add names of colleagues,
please send me a message using the REPLY-TO address.

Chris Wensley (local organiser).

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
BCC19 : British Combinatorial Conference : June 29 - July 4, 2003
 http://www.informatics.bangor.ac.uk/public/mathematics/bcc2003/
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

(3)=20


                        Topological Events Site
   We are happy to announce the availability of the new web site,
Topology Events, at the link:  =20
http://home.att.net/~topann/TopEvents.html
   This site will note upcoming events in general and computational
topology in the UK, and give links to other relevant sites. At the
moment, we call your attention to the "Galway Conference" and Analytic
Topology splinter session at BMC2003, and the Pym Retirement Conference.
As they
become available, we will give the schedules of the Birmingham Topology
Seminar and Oxford Anaytic Topology Seminar, beginning after Easter, and
we give references to titles, and in some cases, the abstracts and slides
of talks already given at these seminars.
   If you would like us to list a relevant event, please contact us
through the Topological Events site.
=20
                                Ralph Kopperman


(4)



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

Ramsey Centenary Conference, Cambridge, UK=20
30 June - 2 July 2003

Please note that the organisers remind the interested parties to =20
book early (abridged by MD).

We hope you will want to attend this conference and look forward to seeing =
you at it if you do.
With best wishes,
Professor D H Mellor
Dr Hallvard Lillehammer
Conference Organisers


Frank Ramsey Centenary Conference
Monday 30 June - Wednesday 2 July 2003
Newnham College, Cambridge, UK

An international conference celebrating the work of Frank Ramsey in the cen=
tenary year of his birth.

Speakers
Simon Blackburn (Cambridge)=20
Pierre Cruse (Louvain) =09
Partha Dasgupta (Cambridge) =09
J=E9r=F4me Dokic (Paris) =09
Dorothy Edgington (Birkbeck) =09
Pascal Engel (Paris) =09
Hartry Field (NYU) =09
John Forrester (Cambridge)
Dan Isaacson (Oxford)
Frank Jackson (ANU)
Fraser MacBride (St Andrews)
Hugh Mellor (Cambridge)
Michael Potter (Cambridge)
Peter Sullivan (Stirling)
Wlodek Rabinowicz (Lund)


Organisers
Professor D. H. Mellor and Dr Hallvard Lillehammer

Registration
For information about registration, please consult the conference website a=
t:

http://www.crassh.cam.ac.uk/events/ramsey.html

A number of subsidised places for graduate students will be available. To a=
pply, follow the instructions on the online registration form.

The Ramsey Centenary Conference is generously supported by The Analysis Tru=
st, the Mind Association, the Aristotelian Society, the British Society for=
 the Philosophy of Science, the Cambridge University Faculty of Philosophy,=
 and the Cambridge University Centre for Research in the Arts, Social Scien=
ces and  Humanities (CRASSH).


****************
Charlotte Rennie
Publications and Publicity Secretary
Centre for Research in the Arts, Social Sciences, and Humanities (CRASSH)
University of Cambridge
Old Press Site
Silver Street
Cambridge
CB3 9EW
Tel: 01223-(7)66838
http://www.crassh.cam.ac.uk
****************

(5)


 XIIth SLALM (Latin American Symposium on Mathematical Logic)=20

 San Jos=E9, COSTA RICA - January 12-16, 2004.

 Escuela de Matem=E1tica, Universidad de Costa Rica.

 www.vinv.ucr.ac.cr/slalm04

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


We are pleased to announce that the 12th LATIN AMERICAN SYMPOSIUM
IN MATHEMATICAL LOGIC will be held in San Jos=E9, Costa Rica, from
January 12 to 16, 2004.=20

Topics to be covered includes Algebraic logic, History and
philosophy of logic, Model theory, Philosophical logic, Proof
theory, Recursion theory and Algorithm complexity, and Set theory.
As in previous editions, a SCHOOL IN MATHEMATICAL LOGIC will be
held from January the 7th to 10th, consisting in four short
courses (see below).=20

The following INVITED SPEAKERS have accepted to participate in the
symposium:=20

Joan Bagaria, Universidad de Barcelona, Spain.
Sam Buss, University of California at San Diego, USA.
Lou van den Dries, University of Illinois at Urbana-Champaign,
U.S.A. E. G. Ken L=F3pez Escobar, University of Maryland, U.S.A.
Alexander Prestel, Universit=E4t Konstanz, Germany. Stevo
Todorcevic, Universit=E9 Paris 7, France. Jouko V=E4=E4n=E4nen, University
of Helsinki, Finland. Andr=E9s Villaveces, Universidad Nacional de
Colombia. Istvam Nemeti, Alfr=E9d R=E9nyi Institute of Mathematics,
Budapest, Hungary


PROGRAM COMITTEE :=20

Xavier Caicedo, Universidad de los Andes, Colombia.
Carlos Di Prisco, Instituto Venezolano de Investigaciones
Cient=EDficas and Universidad Central de Venezuela. Jorge I. Guier,
Universidad de Costa Rica. Renato Lewin, Pontificia Universidad
Cat=F3lica de Chile. E. G. Ken L=F3pez Escobar, University of
Maryland, U.S.A. Francisco Miraglia, Universidade do S=E3o Paulo,
Brazil.


ORGANIZING COMITTEE:=20

Eugenio Chinchilla, Jorge Guier and Bernardo Montero, from
Universidad de Costa Rica.


CONTRIBUTED TALKS

The deadline for submitting abstracts of contributed talks is July
1, 2003. The general ASL rules concerning abstracts apply. They
should be sent to the XIIth SLALM e-mail address:

      abstractslalm@ns.vinv.ucr.ac.cr


LATIN AMERICAN SCHOOL ON MATHEMATICAL LOGIC:

From=207 to 10 January, previous to the symposium,=20
the following short courses will be held :

"Teor=EDa de Modelos y Formas cuadr=E1ticas", by Max Dickmann,=20
Universit=E9 Paris VII, France.

"Teor=EDa de la Complejidad para C=E1lculo Num=E9rico", by Felipe
Cucker, City University of Hong Kong, Chine.

"Introduction to Determinacy", by Itay Neeman, University of
California at Los Angeles, U.S.A.

"Introduction to Proof Theory", by Luiz Carlos Pereira, Pontif=EDcia
Universidade Cat=F3lica do Rio de Janeiro, Brazil.=20


SPONSORS:

Universidad de Costa Rica =20

Universidad Nacional de Costa Rica.

CONICIT (Consejo Nacional de Investigaci=F3n en Ciencia y
Tecnolog=EDa).

Ministerio de Ciencia y Tecnolog=EDa.

German Academic Exchange Service.

Centro Cultural Espa=F1ol, Embajada de Espa=F1a en Costa Rica

Ambassade de France au Costa Rica.


More information about registration and other, will be soon
available in the page www.vinv.ucr.ac.cr/slalm04.


(6)


   Midlands Graduate School in the Foundations of Computing Science
=09=09       University of Leicester
=09=09     31st March - 4th April 2003


Purpose and history
The Universities of Birmingham, Leicester, and Nottingham have been
collaborating since 1999 in providing introductory courses for
graduate students in foundational areas of Computer Science. They are
directed primarily at students in their first year of PhD studies but
are open to other participants as well. More information on this
initiative is available at http://www.cs.nott.ac.uk/MGS

The 2003 Graduate School
This year's event will take place as a one-week intense Spring School
at the University of Leicester, immediately preceding the 19th British
Colloquium on Theoretical Computer Science, also held in Leicester
(http://www.mcs.le.ac.uk/events/bctcs19). It will consist of 10 short
courses, three at the foundational level and seven at advanced level.
See below for a list of topics covered. The School is organised by
Neil Ghani (Leicester) and Achim Jung (Birmingham).

Fees
There are no fees to be paid by participants for taking part in all or
some of the School's events, but students from further afar may wish
to stay in residence. For this purpose we have reserved a number of
rooms in University Halls which we will asign on a first-come
first-serve basis. Accommodation is 45 pounds per day, including three
meals and refreshments. Contact Neil Ghani (N.Ghani@mcs.le.ac.uk) if
you need accommodation.

Scholarships
PhD students affiliated with a British university are eligible to EPRSC
support towards their accommodation costs (but not travel
expenditure). We intend to have the scholarship start at a minimum of 100
pounds but may be able to increase this in special cases depending on
the level of demand. Please contact Achim Jung (A.Jung@cs.bham.ac.uk)
directly if you need financial support.

Courses at foundation level
Harold Simmons (hsimmons@cs.man.ac.uk): Lambda Calculi and Arithmetic
(lam)
Neil Ghani (N.Ghani@mcs.le.ac.uk): Basic Category Theory (cat)
Achim Jung (A.Jung@cs.bham.ac.uk): Domain Theory (dom)

Courses at advanced level
Thorsten Altenkirch (txa@cs.nott.ac.uk): Intuitionistic Logic (int)
Natasha Alechina (nza@cs.nott.ac.uk): Modal Logic (mod)
Eike Ritter (E.Ritter@cs.bham.ac.uk): Type Theory (typ)
Alexander Kurz (Kurz@mcs.le.ac.uk): Coalgebras (coa)
Martin Escardo (M.H.Escardo@cs.bham.ac.uk): Semantics of Exact Real-Number
                                  Computation (erc)
Paul Levy (P.B.Levy@cs.bham.ac.uk): Semantics of Effects (eff)
Roy Crole (rlc3@mcs.le.ac.uk): Pre-sheaf Models of Variable Binding (var)

(We have included email addresses in case you wish to receive more
detailed information about the material covered.)

Schedule
               Mon   Tue   Wed   Thu   Fri

9-10           cat   cat   cat   cat   cat

10-11          lam   lam   lam   lam   lam

break

11:30-12:30    dom   dom   dom   dom   dom

lunch

2-3            erc   erc   eff   var   var
               int   int   typ   mod   mod

3-4            erc   eff   eff   var   var
               int   typ   typ   mod   mod

break and exercise session for all courses

5-6            eff   erc   coa   coa
               typ   int   (x2)  (x2)

Registration
Please send your registration to both Neil Ghani (N.Ghani@mcs.le.ac.uk)
and Achim Jung (A.Jung@cs.bham.ac.uk). We only need to know name,
affiliation, and current status (phd student, post doc, visiting
researcher, etc). If you need accommodation, please write to Neil; if you
need money, write to Achim.

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D





Report of the BLC-committee for 2002.


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: Tue Apr 15 22:30:59 BST 2003