------------------------------------------------------- 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: email@example.com * 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 (firstname.lastname@example.org) and Leonid Libkin (email@example.com). * 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 firstname.lastname@example.org * 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 email@example.com. * 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 (firstname.lastname@example.org) 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 (email@example.com). 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 (firstname.lastname@example.org) or Pat Morandi (email@example.com). 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 firstname.lastname@example.org. 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: email@example.com 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: firstname.lastname@example.org 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 (email@example.com): 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 (firstname.lastname@example.org): Intuitionistic Logic (int) Natasha Alechina (email@example.com): 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 (firstname.lastname@example.org): 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=3DReport of the BLC-committee for 2002.
Page maintained by E.Ritter@cs.bham.ac.uk