BRITISH LOGIC COLLOQUIUM Registered Charity No 275541 http://www.cs.bham.ac.uk/~exr/blc President Professor J B Paris FBA [Manchester] Vice-President Professor J M E Hyland [Cambridge] Treasurer Dr R Dyckhoff [St Andrews] Secretary Dr M Dzamonja [East Anglia] Professor D Macpherson [Leeds] Dr E Ritter [Birmingham] Professor T Williamson FBA FRSE [Oxford] --------------------------------------------------------- Dear members, Various announcements below. Recall also that=20 our Annual Meeting will be held in Leeds from 6-8 of September. Watch the web site http://www.cs.bham.ac.uk/~exr/blc/blc-meetings.html for further announcements and please note the enclosed announcement and the attached poster. (1) positions at Swansea (2) Infinite Games Conference in Bonn, November 26-29, 2004 (3) BLC Annual Meeting (4) LICS Newsletter + Conference (5) Unilog '05 Montreux Best wishes to all, Mirna. -------------------------------------------------- (1) Professorships, Readerships, Lectureships, Tutorships. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D The department of computer science at Swansea (Wales, UK) is currently advertising academic positions at all levels. We hope expecially to expand our groups in visual computing and in logic/theoretical computer science. Our department was rated 5 in the last research assessment exericse. It has a strong group in logic and theoretical computer science which is amongst the biggest in UK. The members of that group are Ulrich Berger (proof theory, computability theory, type theory), Phil Grant (artificial intelligence), Andy Gimblett (algebraic specification), Neal Harman (hardware verification, models of computation, algebraic specification), Oliver Kullmann (satisfiability problems), Markus Michelbrink (proof theory, type theory), Faron Moller (automata theory, modal and temporal logic), Markus Roggenbach (algebraic specification), Monika Seisenberger (proof theory, type theory, computability theory), Anton Setzer (proof theory, type theory) and John Tucker (algebraic specification, algebraic methods, computability theory). We have as well strong links to the mathematics department, with Roger Hindley (lambda-calculus) and Jiang-Lun Wu (nonstandard analysis). The deadline for application is 25 June 2004 (I have been signalled that late applications might still be acceptable). The official advertisements can be found at=20 http://www.jobs.ac.uk/jobfiles/IS433.html and http://www.jobs.ac.uk/jobfiles/IS434.html --=20 ---------------------------------------------------------------------------= -- Anton Setzer Telephone: Department of Computer Science (national) (01792) 513368=20 University of Wales Swansea (international) +44 1792 513368 Singleton Park Fax: Swansea SA2 8PP (national) (01792) 295708 UK (international) +44 1792 295708 =20 Visiting address: Email: a.g.setzer@swan.ac.uk Faraday Building, WWW: Computer Science Dept. http://www.cs.swan.ac.uk/~csetzer/=20 2nd floor, room 211. -------------------------------------------------= ----------------------------- =20 (2) FOUNDATIONS OF THE FORMAL SCIENCES V: Infinite Games http://www.math.uni-bonn.de/people/fotfs/V/ Rheinische Friedrich-Wilhelms-Universit=E4t Bonn Mathematisches Institut November 26th to 29th, 2004 Infinite Games have been investigated by mathematicians since the beginning of the twentieth century and have played a central role in mathematical logic. However, their applications go far beyond mathematics: they feature prominently in theoretical computer science, philosophical Gedankenexperiments, as limit cases in economical applications, and in many other applications. The conference FotFS V wants to bring together researchers from the various areas that employ infinitary game techniques to talk about similarities and dissimilarities of the different approaches and develop cross-cultural bridges. We invite all researchers from areas applying infinitary game-theoretic methods (economists, mathematicians, logicians, philosophers, computer scientists, sociologists) to submit their papers before September 15th, 2004. Topics will include Games in Algebra and Logic, Games in Higher Set Theory, Games in Set-Theoretic Topology, Infinite Games & Computer Science, Infinite Games in Philosophy, Infinite Evolutionary Games, Machine Games, Game Logics, Infinite Games in the Social Sciences. Invited Speakers: * Samson Abramsky, Oxford UK * Alessandro Andretta, Torino * Natasha Dobrinen, State College PA * Ian Hodkinson, London UK * Kevin Kelly, Pittsburgh PA * Hamid Sabourian, Cambridge UK * Marion Scheepers, Boise ID =20 * Brian Skyrms, Irvine CA Organizing & Scientific Committee: Stefan Bold (Bonn / Denton TX), Boudewijn de Bruin (Amsterdam), Peter Koepke (Bonn), Benedikt L=F6we (Amsterdam / Bonn, Coordinator), Thoralf R=E4sch (Potsdam), Johan van Benthem (Amsterdam / Stanford). Coordinating e-mail Address: fotfs@math.uni-bonn.de (3)=20 British Logic Colloquium 2004, University of Leeds, September 6--8.=20 Registrations are now invited for this event, and there is an online=20 registration form on the website, http://www.maths.leeds.ac.uk/Pure/logic/blc04.html A late registration fee is incurred for registrations after July 5, so=20 please register promptly. General enquiries should be addressed to=20 Dugald Macpherson (h.d.macpherson@leeds.ac.uk). A poster=20 advertising the event is attached (WORD file), and it would be very=20 much appreciated if you can display this. The meeting is supported by the London Mathematical Society annd=20 the British Logic Colloquium (4) ******************************************************************* =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 * IN MEMORIAM Harald Ganzinger 1950-2004 * CONFERENCES AND WORKSHOPS LICS 2004 - Call for Participation LCC'04 - Call for Participation FCS 04 - Call for Participation MOMPES 2004 - Call for Participation TLCA 05 - Call for Papers FST&TCS 2004 - Call for Papers FAST 2004 - Call for Papers VODCA 2004 - Call for Papers * SCHOOLS AND COURSES ESSLI 2005 - Call for Course and Workshop Proposals 1st World Congress and School on Universal Logic International Master in Computational Logic * VACANCIES Academic Positions at University of Wales Swansea * BOOK ANNOUNCEMENT Interactive Theorem Proving and Program Development, Coq'Art: the=20 Calculus of Inductive Constructions - Y. Bertot, P. Casteran =20 HARALD GANZINGER 1950-2004 http://www.mpi-sb.mpg.de/inmemoriam/HaraldGanzinger.html * The LICS community mourns the loss of Harald Ganzinger,=20 LICS 2004 Program Committee Chair, who died on June 3, 2004. Although he had been in poor health for quite some time, Harald made a valiant effort to guide the LICS 2004 Program Committee through the selection of the papers for the conference. Unfortunately, he will not be present at the conference for which he worked so hard. He will also not be present to receive=20 the 2004 Herbrand Award at the IJCAR conference in July 2004 (see=20 http://domino.mpi-sb.mpg.de/internet/news.nsf/Press+Releases/20040420). Harald's passage leaves a void in our community that will be hard to fill= =2E A tribute to his memory and contributions will be paid during the joint 2004 ICALP/LICS Conference at Turku in July. * Andrei Voronkov has now assumed the duties of LICS 2004 Program Committee Chair. 19TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2004) (co-located with ICALP 2004) Turku, Finland, July 13-17, 2004 http://www.lfcs.informatics.ed.ac.uk/lics/ Call for Participation * The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense. We invite submissions on that theme. 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, proof 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, logical representation of knowledge, 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. * Invited speakers:=20 LICS: S. Abramsky (U. Oxford), D. Sangiorgi (U. di Bologna), I. Walukiewicz (U. Bordeaux), Joint ICALP/LICS: R. Harper (Carnegie Mellon), A. Razborov (Princeton & Moscow), M. Yannakakis (Stanford). * For registration visit http://www.math.utu.fi/ICALP04/registration.html WORKSHOP ON LOGIC AND COMPUTATIONAL COMPLEXITY (LCC'04) =20 (affiliated with ICALP'04 and LICS 2004) Turku, Finland, July 12-13, 2004 Call for participation * Preliminary Program: Stephen Cook, Making Sense of Bounded Arithmetic Victor Dalmau, The Complexity of Retraction Problems Andrei Bulatov, Polymorphisms of Relational Structures Phokion Kolaitis, Data Exchange: Aspects of Logic and Complexity=20 Patrick Baillot, Type Inference for Light Affine Logic Via Constraints on Words =20 Jean-Yves Marion, Resource Analysis by Quasi-Interpretations Daniel Leivant, Implicit Complexity Via Logics of Programs=20 Kazushige Terui, Decomposition of Computation Via Linear Logic=20 James Royer, Adventures in Time and Space * For details see http://www.cis.syr.edu/~royer/lcc/LCC04 FOUNDATIONS OF COMPUTER SECURITY (FCS'04) affiliated with LICS'04 and ICALP'04 Turku, Finland, July 12-13, 2004 Call for Participation * Invited Speaker: Martin Abadi, University of California at Santa Cruz * For details see: http://www.cs.chalmers.se/~andrei/FCS04/ 1ST WORKSHOP ON MODEL-BASED METHODOLOGIES FOR PERVASIVE AND EMBEDDED SOFTWARE (MOMPES 2004)=20 Hamilton, Ontario, Canada, June 15, 2004=20 within the 4th International Conference on Application of=20 Concurrency to System Design 2004 (ACSD 2004)=20 * The Object Management Group's Model Driven Architecture (MDA)=20 paradigm is an approach to the development of software, based on=20 the separation between the specification of the systems and their=20 implementation using specific platforms. This workshop focuses on=20 the scientific and practical aspects related with the adoption of=20 Model Driven Development MDD) methodologies (notation, process,=20 methods, and tools) for supporting the construction of pervasive=20 and embedded software.=20 * For details see: http://www.di.uminho.pt/mompes04=20 SEVENTH INTERNATIONAL CONFERENCE ON TYPED LAMBDA CALCULI AND=20 APPLICATIONS (TLCA 05) Nara, Japan, 21-23 April 2005 Colocated with RTA'05 as RDP 2005 Call for Papers * The TLCA series of conferences serves as a forum for presenting original= =20 research results that are broadly relevant to the theory and applications= =20 of typed lambda calculi and related systems. * The programme of TLCA'05 will consist of three invited talks and about=20 25 papers selected from original contributions. Accepted papers will=20 be published as a volume of Springer Lecture Notes in Computer Science=20 series. * Deadlines: Titles and abstracts due: October 25, 2004 Paper submission deadline: November 2, 2004 * For details see http://www.kurims.kyoto-u.ac.jp/rdp05/tlca/ THE 24th CONFERENCE ON FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE - FST&TCS 2004 December 16-18, 2004, Chennai, INDIA Call for Papers * Important dates: Submissions: 21st June 2004 Notification: 20th August 2004 * Satellite Workshops: December 13--15, 2004. Algorithms for dynamic data, coordinated by S. Muthukrishnan and Pankaj Agarwal. Logic for dynamic data, coordinated by Uday Reddy. * Invited Speakers: Javier Esparza, Piotr Indyk, Pavel Pevzner, John C. Reynolds and Denis Therien. * For details see: http://www.fsttcs.org/ 2ND INTERNATIONAL WORKSHOP ON FORMAL ASPECTS IN SECURITY=20 AND TRUST (FAST2004) Toulouse, France, 26-27 August 2004 Call for Papers * The second international Workshop on Formal Aspects in Security & Trust aims at continuing the successful efforts of FAST 2003 for the=20 aggregation of researchers in the areas of security and trust. * FAST2004 is a satellite event of 18th IFIP World Computer Congress (WCC2004) and is under the auspicies of IFIP WG 1.7 on "Theoretical Foundations of Security Analysis and Design" * Paper Submission: 18 June 2004 * For details see http://www.iit.cnr.it/FAST2004 1ST INTERNATIONAL WORKSHOP ON VIEWS ON DESIGNING COMPLEX ARCHITECTURES (VODCA 2004) Bertinoro (Italy) September 11-12, 2004. * The workshop aims at providing a platform for young scientist to=20 present their research views on all areas related to the design of=20 complex architectures, with a special focus on the security and=20 management of information.=20 * Submission of papers: June 25, 2004 * For details see http://www-gris.det.uvigo.es/vodca SEVENTEENTH EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE AND INFORMATION August 8--19, 2005, Edinburgh, U.K Call for Course and Workshop Proposals * The Seventeenth European Summer School in Logic, Language and Information will be held at Heriot-Watt, Edinburgh, United Kingdom. The Summer Schools focus on the interface between linguistics, logic and computation. Foundational, introductory and advanced courses together with workshops cover a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. * The ESSLLI 2005 Program Committee invites proposals for foundational, introductory, and advanced courses, and for workshops for the 17-th annual Summer School on a wide range of timely topics that have demonstrated their relevance in the following fields: - Language & Computation - Language & Logic - Logic & Computation * All proposals should be submitted no later than Thursday July 15, 2004. Authors of proposals will be notified of the committee's decision no later than Wednesday September 15, 2004.=20 * For details see http://www.esslli.org/2005/cfp.txt 1ST WORLD CONGRESS AND SCHOOL ON UNIVERSAL LOGIC Montreux Switzerland School: March 26-30; Congress: March 31 - April 3, 2005 * This event will focus on: 1) Techniques that can be used for a general theory of logics =20 (Labelled deductive systems, Kripke structures, Logical matrices, etc.) 2) Studies of classes of logics (Substructural logics, Non monotonic =20 logics, Paraconsistent logics, etc.) 3) Scope of validity and domain of application of fundamental theorems = =20 of logic (Completeness, Deduction, Cut-elimination, etc.) 4) Philosophical considerations about the nature of logic and the =20 universality of some logical laws or axioms * The school is intended for advanced students and young researchers. =20 There will be about 20 tutorials on many subjetcs: combination of =20 logics, multiple conclusion logic, combinatory logic, logics and =20 games, abstract model theory, logic as language vs. logic as =20 calculus, category theory for logics, etc. * Invited speakers of the congress will include A.Avron, D.Batens, =20 J.Corcoran, M.Dunn, D.Gabbay, R.Jansana, A.Koslow, V.de Paiva, =20 K.Segerberg. * Contributed papers for the congress can be submitted before=20 October 30, 2004. * More information on the website: http://www.uni-log.org MSC IN COMPUTATIONAL LOGIC 2004-5 International Master in Computational Logic Departamento de Informatica, FCT/UNL, Lisbon Computer Science Dept., T.U. Dresden=20 * For information see: http://www.di.fct.unl.pt/mcl/ PROFESSORSHIPS, READERSHIPS, LECTURESHIPS, TUTORSHIPS * The department of computer science at Swansea (Wales, UK) is currently advertising academic positions at all levels. We hope especially to expand our groups in visual computing and in logic/theoretical computer science. * Our department was rated 5 in the last research assessment exericse. It has a very strong group in logic and theoretical computer science which is amongst the biggest in UK. The members of that group are Ulrich Berger (proof theory, computability theory, type theory), Phil Grant (artificial intelligence), Andy Gimblett (algebraic specification), Neal Harman (hardware verification, models of computation, algebraic specification), Oliver Kullmann (satisfiability problems), Markus Michelbrink (proof theory, type theory), Faron Moller (automata theory, modal and temporal logic), Markus Roggenbach (algebraic specification), Monika Seisenberger (proof theory, type theory, computability theory), Anton Setzer (proof theory, type theory) and John Tucker (algebraic specification, algebraic methods, computability theory). We have as well strong links to the mathematics department, with Roger Hindley (lambda-calculus)=20 and Jiang-Lun Wu (nonstandard analysis). * The deadline for application is 25 June 2004 (it is possible that late applications may be acceptable). * The official advertisements can be found at=20 http://www.jobs.ac.uk/jobfiles/IS433.html http://www.jobs.ac.uk/jobfiles/IS434.html BOOK ANNOUNCEMENT Interactive Theorem Proving and Program Development, Coq'Art: the Calculus of Inductive Constructions Yves Bertot, Pierre Casteran Springer Verlag, 2004, ISBN 3-540-20854-2 http://www.labri.fr/Perso/~casteran/CoqArt/ * Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called= =20 the calculus of inductive constructions, a variant of type theory. * This book provides a pragmatic introduction to the development of proofs= =20 and certified programs using Coq. With its large collection of examples= =20 and exercises it is an invaluable tool for researchers, students, and=20 engineers interested in formal methods and the development of zero-fault= =20 software. * This book can be ordered directly from Springer (see the URL above) From=20als+lics-replies-ignored@inf.ed.ac.uk Thu Jun 17 18:04:37 2004 Date: Thu, 10 Jun 2004 12:11:42 +0100 From: Alex SimpsonThe conference announcement is hereTo: LICS List Subject: LICS 2004 - Call for Participation The deadline for early registration for LICS 2004 is *June 15, 2004*. ------------------------------------------------------------------------ CALL FOR PARTICIPATION Nineteenth Annual IEEE Symposium on=20 LOGIC IN COMPUTER SCIENCE (LICS 2004) July 13th - 17th, 2004, Turku, Finland http://www.lfcs.informatics.ed.ac.uk/lics/ The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense. For registration visit http://www.math.utu.fi/ICALP04/registration.html The deadline for early registration is June 15, 2004. Collocated events:=20 ICALP'04 will be collocated with LICS'04; for details see http://www.math.utu.fi/ICALP04/.=20 Invited Speakers: The following distinguished speakers will give invited talks at LICS 2004:= =20 Samson Abramsky (U. of Oxford), Robert Harper (Carnegie Mellon University), Alexander Razborov (IAS, Princeton, and Steklov Math. Inst., Moscow), Davide Sangiorgi (U. di Bologna), Igor Walukiewicz (U. Bordeaux), and Mihalis Yannakakis (Stanford U.). For full program visit LICS website http://www.lfcs.informatics.ed.ac.uk/lics/ Program Committee: Rajeev Alur, U. of Pennsylvania Andrew Appel, Princeton U. Albert Atserias, UPC, Barcelona Franz Baader, Dresden U. Samuel Buss, U. of California, San Diego Roberto Di Cosmo, U. de Paris VII=20 Gilles Dowek, Ecole Polytechnique, Paris Harald Ganzinger, MPI, Saarbruecken (chair) Martin Hofmann, LMU Muenchen Achim Jung, U. of Birmingham Kim Larsen, Aalborg U. Leonid Libkin, U. of Toronto=20 Rocco de Nicola, U. di Firenze Damian Niwinski, Warsaw U. Prakash Panangaden, McGill U., Montreal Albert Rubio, UPC, Barcelona Vitaly Shmatikov, SRI International Moshe Vardi, Rice U., Houston Helmut Veith, TU Wien Andrei Voronkov, U. of Manchester Conference Chair: Lauri Hella Department of Math., Stat., and Phil. Kanslerinrinne 1 33014 University of Tampere, Finland Email: lauri.hella@uta.fi Workshops Chair: Phil Scott, U. of Ottawa Email: phil@site.uottawa.ca Publicity Chair: Alex Simpson, U. of Edinburgh Email: Alex.Simpson@ed.ac.uk General Chair: Phokion G. Kolaitis, UC Santa Cruz Email: kolaitis@cse.ucsc.edu Organizing Committee: S. Abramsky, A. Broder, E. Clarke, A. Felty, H. Ganzinger, H. Gabow, J. Halpern, L. Hella, U. Kohlenbach, P. Kolaitis (chair), D. Leivant,=20 G. Longo, H. Mairson, A. Middeldorp, J. Mitchell,=20 M. Nielsen, P. Panangaden, G. Plotkin, F. Pfenning,=20 P. Scott, R. Shore, A. Simpson, I.A. Stewart. Advisory Board: Y. Gurevich, C. Kirchner, D. Kozen, U. Martin, L. Pacholski, V. Pratt, A. Scedrov, M.Y. Vardi, G. Winskel. Sponsorship:=20 The symposium is sponsored by the IEEE Technical Committee on Mathematical Foundations of Computing in cooperation with the Association for Symbolic Logic, and the European Association for Theoretical Computer Science. (5) ***************************************************************************= ************************************* ***************************************************************************= ***************************************************************************= ************* 1st World Congress and School on Universal Logic (UNILOG 2005) http://www.u= ni-log.org=20 Montreux - Switzerland, School : March 26-30 ; Congress : March 31 - April= 3, 2005=20 This event will focus on:=20 1) Techniques that can be used for a general theory of logics (Labelled ded= uctive systems, Kripke structures, Logical matrices, etc.) ;=20 2) Studies of classes of logics (Substructural logics, Non monotonic logic= s, Paraconsistent logics, etc.)=20 3) Scope of validity and domain of application of fundamental theorems of l= ogic (Completeness, Deduction, Cut-elimination, etc.) 4) Philosophical considerations about the nature of logic and the universal= ity of some logical laws or axioms=20 The school is intended for advanced students and young researchers. There w= ill be about 20 tutorials on many subjetcs: combination of logics, multiple= conclusion logic, combinatory logic, logics and games, abstract model the= ory, logic as language vs. logic as calculus, category theory for logics, = etc. Invited speakers of the congress will include A.Avron, D.Batens, J.Corcoran= , M.Dunn, D.Gabbay, R.Jansana, A.Koslow, V.de Paiva, K.Segerberg. Contributed papers for the congress can be submitted before October 30, 200= 4.=20 More information on the website: http://www.uni-log.org ***************************************************************************= ***************************************************************** =20 --------- Dr Mirna Dzamonja Reader School of Mathematics University of East Anglia Norwich, NR47TJ UK phone: +44-1603-592981 fax: +44-1603-593868

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