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] 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, The Annual BLC Meeting was held in St Andrews in September and that=20 was a very pleasant, productive and well organised event. We aslo held our general meeting thre, and I attach the minutes in various electronic versions. The next Annual BLC Meeting will be held in Leeds, Sept 6--8 2004 (so=20 Monday lunchtime --Wednesday lunchtime). Somewhat belatedly I am letting you know that Donald Davidson died at the age of 86. Although he was not primarily a logician, Davidson's suggestion that Tarski's theory of truth could be used to found a theory of meaning was highly influential.=20 He died in Berkeley on August 31st and an obituary can be found at http://www.nytimes.com/2003/09/04/obituaries/04DAVI.html Some announcements: (1) Mathematical Logic Seminar at Leeds (2) LICS Newsletter (3) Informal Domains Workshop, Munich, November 1-2 (4) Logic Seminar at Oxford (5) The Nineteenth IEEE Symposium on Logic In Computer Science 2004 Turku, Finland July 14 - 17, 2004 (6) Call for PhD and Post PhD Grant Applications, Munich (7) Topology News Best wishes, Mirna. -------------------- (1) =20 UNIVERSITY OF LEEDS Department of Pure Mathematics MATHEMATICAL LOGIC SEMINAR Autumn 2003 Preliminary notice October 1st Nick Peatfield (Oxford) Analytic Zariski structures=20 October 29th Philip Welch (Bristol) Weak systems of determinacy and arithmetic quasi-inductive definitions Nov 5th Georg Moser (Muenster) A hierarchy comparison theorm based on Schuette's Theta-function Dec 10th Silvia Barbina (Leeds) Reconstruction of aleph-zero categorical structures from their automorphism groups The lectures will be held on Wednesdays at 4 pm in room H, Mathematics building. Tea at 3.30 pm.=20 J. K. Truss (2) Subject: LICS Newsletter 88 ******************************************************************* =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 2004 - Call for Workshop Proposals IJCAR 2004 - Call for Papers RTA 04 - Call for Papers CDB'04 - Call for Papers HSCC 2004 - Call for Papers ACSD04 - Call for Papers CONCUR 2004 - Preliminary Announcement * BOOK ANNOUNCEMENTS Aspects of Incompleteness - Per Lindstrom Many-Dimensional Modal Logics: Theory and Applications - D. Gabbay,=20 A. Kurucz, F. Wolter, M. Zakharyaschev=20 An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Second Edition) - Peter B. Andrews=20 Reasoning About Uncertainty - Joseph Y. Halpern * JOURNALS Acta Informatica Special Issue on Types in Concurrency * VACANCIES PhD & postdoc vacancies - Vrije Universiteit, Amsterdam, Netherlands Chairs, Readers & Lecturers - University Durham, UK THE NINETEENTH IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE - LICS 2004 Turku, Finland =20 LICS 2004: July 14-17, 2004=20 LICS 2004 Workshops: July 12-13 and July 18, 2004.=20 Call for Workshop Proposals * The Nineteenth IEEE Symposium on Logic In Computer Science (LICS 2004)=20 will be held in Turku, Finland July 14-17, 2004 in conjunction with=20 ICALP. The organizers have made arrangements for pre- and post-LICS=20 workshops to be run in conjunction with the main conference. Possible=20 dates are July 12-13 and July 18, and could be joint with ICALP (see http://www.math.utu.fi/ICALP04/WScall.html) * Researchers and practitioners are invited to submit proposals for=20 workshops on topics relating logic - broadly construed - to computer=20 science or related fields. Typically, LICS workshops feature a number=20 of invited speakers and a smaller number of contributed presentations.=20 LICS workshops do not produce formal proceedings. However, in the past= =20 there have been special issues of journals based in part on certain LICS= =20 workshops. * Proposals should include: - A short scientific summary and justification of the proposed topic. This should include a discussion of the particular benefits of the topi= c to the LICS community. - A discussion of the proposed format and agenda. - The proposed duration, which may vary from half a day to two days, and preferred dates. - Procedures for selecting participants and papers. - Expected number of participants. - Potential invited speakers. - Plans for dissemination (for example, special issues of journals). * Proposals are due Nov. 15, 2003 and should be submitted electronically to= :=20 Philip Scott =20 Workshops Chair, LICS 2004=20 phil@site.uottawa.ca=20 * The selections will be chosen by a committee consisting of Phokion Kolaitis (LICS General Chair), Harald Ganzinger (LICS 2004 Program Committee Chair), Phil Scott (LICS Workshop Chair) and Lauri Hella (LICS 2004 Conference chair). The results will be announced by Nov 30th, 2003. * http://www.lfcs.informatics.ed.ac.uk/lics SECOND INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING Cork, Ireland July 4-8, 2004 Call for Papers * The Second International Joint Conference on Automated Reasoning (IJCAR) is the fusion of several major conferences in Automated Reasoning: CADE (International Conference on Automated Deduction) TABLEAUX (International Conference on Automated Reasoning with=20 Analytic Tableaux and Related Methods)=20 FTP (International Workshop on First-Order Theorem Proving) FroCoS (Workshop on Frontiers of Combining Systems) CALCULEMUS (Symposium on the Integration of Symbolic Computation and Mechanized Reasoning) These five events will join for the first time at the IJCAR conference in Cork in July 2004.=20 * IJCAR 2004 invites submissions related to all aspects of automated reasoning, including foundations, implementations, and applications. Original research papers and descriptions of working automated deduction systems are solicited. * Submitted research papers and system descriptions must be original and not submitted for publication elsewhere. Research papers can be up to 15 proceedings pages long, and system descriptions can be up to 5 pages long. The proceedings of IJCAR 2004 will be published by Springer-Verlag in the LNAI/LNCS series. * Important Dates January 5, 2004: Submission deadline=20 March 22, 2004: Notification of acceptance=20 April 14, 2004: Camera-ready copy due=20 July 4-8, 2004: IJCAR 2004 =20 * http://4c.ucc.ie/ijcar/ 15th INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS Call for Papers * http://www-i2.informatik.rwth-aachen.de/RTA04/ * important dates: Jan 15 2004: Deadline electronic submission of title+short abstract Jan 22 2004: Deadline electronic submission of papers Mar 14 2004: Notification of acceptance of papers Apr 4 2004: Deadline for final versions of accepted papers Jun 3-5 2004: Conference. * subjects: APPLICATIONS: case studies; rule-based (functional and logic) programming; symbolic and algebraic computation; theorem proving; system synthesis and verification; proof checking. FOUNDATIONS: matching and unification; narrowing; completion techniques; strategies; constraint solving; explicit substitutions; tree automata. FRAMEWORKS: string, term, and graph rewriting; lambda-calculus and higher-order rewriting; proof nets; constrained rewriting/deduction; categorical and infinitary rewriting. IMPLEMENTATION: compilation techniques; parallel execution; rewriting tools. SEMANTICS: equational logic; rewriting logic. * program committee: Zena Ariola, Jurgen Giesl, Masahito Hasegawa, Helene Kirchner, Pierre Lescanne, Klaus Madlener, Narciso Mart-Oliet, Paul-Andre Mellies, Oege de Moor, Vincent van Oostrom (program chair), Frank Pfenning, Ashish Tiwari, Ralf Treinen. * RTA'04 is part of RDP'04: http://www-i2.informatik.rwth-aachen.de/RDP0 1st INTERNATIONAL SYMPOSIUM ON APPLICATIONS OF CONSTRAINT DATABASES (CDB'04= ) (in conjunction with SIGMOD-PODS 2004) Call for Papers Paris, France, June 12-13, 2004 http://www.luc.ac.be/cdb04 * Scope. The last few years saw a growing interest of constraint database theory, query evaluation, and applications in a variety of conferences, journals, and books. This symposium wants to bring together people from several diverse areas that can contribute to the practice and the application of constraint databases. * Topics of interest: We especially encourage submissions - opening new and future directions in constraint database research; - addressing constraints over domains other than the reals; - contributing to a better implementation of constraint database systems, in particular of query evaluation; - addressing efficient quantifier elimination; and - describing applications of constraint databases. The following is a non-exclusive list of topics of interest: Applications: bioinformatics, CAD and GIS, computer security data mining, model checking, string databases. Data and knowledge representation: approximation techniques, constraint data extraction, constraint interpolation, incomplete information, spatiotemporal models, visualization Query evaluation: algebras, indexing, quantifier elimination Query languages: complexity, expressive power, new operators * All submissions must be done electronically. See webpage for details. * Important dates: Abstract submission: January 23, 2004, Submission deadline: February 2, 2004. * Invited Speakers: Joos Heintz (Universities of Buenos Aires and of Cantabria), Leonid Libkin (University of Toronto), Andreas Podelski (Max-Planck-Institut fur Informatik). 7th INTERNATIONAL WORKSHOP ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (Technically co-sponsored by the IEEE Control Systems Society) UNIVERSITY OF PENNSYLVANIA, PHILADELPHIA, USA MARCH 25-27, 2004 http://www.seas.upenn.edu/hybrid/HSCC04/ Call for Papers * The Seventh International Workshop on Hybrid Systems : Computation and Control (HSCC 2004), will be held at the Hilton Inn at Penn on the campus of the University of Pennsylvania, from March 25-27, 2004. The annual workshop on hybrid systems attracts researchers from academia and industry interested in modeling, analysis, and implementation of dynamic and reactive systems involving both discrete and continuous behaviors. The previous workshops in the HSCC series of were held in Berkeley, USA (1998), Nijmegen, The Netherlands (1999), Pittsburgh, USA (2000), Rome, Italy (2001), Palo Alto, USA (2002), and Prague, Czech Republic (2003). * TOPICS. Submissions are invited in all areas pertaining to the design, analysis, implementation, and applications of hybrid systems. Topics of interest include, but are not limited to: Modeling and representations, Computability and complexity issues, Tools for analysis and verification, Tools for synthesis and design, Programming language support and implementation, Control and optimization, Hybrid models in biology and other sciences, Engineering applications such as automotive control, avionics, energy systems, transportation networks, manufacturing, and robotics=20 * INVITED SPEAKERS. Edmund M. Clarke , Department of Computer Science, Carnegie Mellon University; John Doyle , Control and Dynamical Systems, California Institute of Technology * SPECIAL INVITED SESSION. In addition to the keynote speakers, during the workshop there will be one special invited session focusing on the interplay between biomolecular networks, systems biology, formal methods, and control of hybrid systems. Invited speakers include: Patrick Lincoln , Director, Computer Science Laboratory, SRI; Harvey Rubin , School of Medicine, University of Pennsylvania * PAPER SUBMISSION. The conference proceedings will be published in the Springer Lecture Notes in Computer Science series. Selected papers will be invited after the meeting to submit an extended version to a special issue of the journal Formal Methods in System Design (Kluwer Academic Publishers). Submitted papers must present original, unpublished research that has not been submitted elsewhere. Papers should be prepared using Springer's LNCS style, and must be at most 15 pages including abstract, figures, and bibliography. Instructions for submitting the papers electronically will be available on the conference homepage in September 2003. * IMPORTANT DATES. October 10, 2003: Submission deadline; December 1, 2003: Notification of Acceptance/Rejection; January 15, 2004: Final Papers Due FOURTH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO=20 SYSTEM DESIGN Hamilton, Canada June 16-18, 2004 * The International Conference on Application of Concurrency to System Design (ACSD) serves as a forum for disseminating theoretical results and advanced methods and tools for the design of complex concurrent systems. While there are a few success stories in the field, there is still a strong need to bring theory and practice closer together. The conference aims at cross-fertilizing both types of research. * Submitted papers must be in IEEE CS Press 2-column format (see=20 instruct.pdf at ftp://pubftp.computer.org/Press/Outgoing/proceedings/).= =20 The cover page must contain an abstract of no more than 60 words, the corresponding author's physical and e-mail addresses, as well as phone and FAX numbers. * Important dates:=20 Deadline for submissions: 19 December, 2003 Notification of acceptance of papers: 28 February, 2004 Final papers due: 26 March, 2004 * http://acsd.mcmaster.ca/ CONCUR 2004: FIFTEENTH ANNUAL CONFERENCE ON CONCURRENCY THEORY Royal Society, London 31 August - 3 September 2004 Preliminary Announcement * The purpose of the CONCUR conferences is to bring together researchers, developers and students in order to advance the theory of concurrency, and promote its applications. Typical topics of the CONCUR conferences are all areas of semantics, logics and verification techniques for concurrent systems. * The proceedings will be published by Springer Verlag in the Lecture Notes in Computer Science series. * Important dates: Submission: Friday 9 April 2004 Notification: Monday 31 May 2004 Final version: Tuesday 15 June 2004 Workshops: Monday 30 August and Saturday 4 September 2004 Main conference: Tuesday 31 August - Friday 3 September 2004 * General chair: Philippa Gardner Programme Committee co-chairs: Philippa Gardner, Nobuko Yoshida Workshops organisers: Vladimiro Sassone, Julian Rathke Local organiser: Iain Phillips * Concur 2004 webpage: http://www.doc.ic.ac.uk/concur2004 * Email: concur2004@doc.ic.ac.uk BOOK ANNOUNCEMENT Aspects of Incompleteness; Lecture Notes in Logic, #10=20 Per Lindstrom Association for Symbolic Logic (Dist. By A K Peters, Ltd.) 2003, ISBN 1-56881-173-X; Paperback; $35.00 http://www.akpeters.com/book.asp?bID=3D172=20 * This thoroughly revised second edition of a classic book on the main=20 ideas and results of general meta-mathematics contains new results and=20 simplified proofs, as well as an up to date bibliography. In addition=20 to the standard results of Godel and others on incompleteness, (non)=20 finite axiomatizability, interpretability, etc.., it contains a thorough treatment of partial conservativity and degrees of interpretability.=20 The reader should be familiar with the widely used method of=20 arithmetization and with the elements of recursion theory. * Ordering information. See the URL above. BOOK ANNOUNCEMENT: Many-Dimensional Modal Logics: Theory and Applications.=20 Authors: D. Gabbay, A. Kurucz, F. Wolter, M. Zakharyaschev=20 Studies in Logic and the Foundations of Mathematics, 148,=20 Elsevier, North-Holland, 2003, 0-444-50826-0 * Information about the book can be obtained from: http://www.elsevier.com/inca/publications/store/6/8/0/8/3/9/index.htt BOOK ANNOUNCEMENT An Introduction to Mathematical Logic and Type Theory: To Truth=20 Through Proof (Second Edition) Peter B. Andrews=20 Dept. of Mathematical Sciences, CMU, Pittsburgh, PA, USA=20 * Book Series: Applied Logic Series: Volume 27 http://www.wkap.nl/prod/s/APLS * This introduction to mathematical logic starts with propositional calculu= s and first-order logic. Topics covered include syntax, semantics, soundnes= s, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand's Theorem, unification, duality, interpolation, and definability.=20 The last three chapters of the book provide an introduction to type theor= y (higher-order logic). It is shown how various mathematical concepts can b= e formalized in this very expressive formal language. This expressive notat= ion facilitates proofs of the classical incompleteness and undecidability theorems which are very elegant and easy to understand. The discussion of semantics makes clear the important distinction between standard and nonstandard models which is so important in understanding puzzling phenom= ena such as the incompleteness theorems and Skolem's Paradox about countable models of set theory.=20 Some of the numerous exercises require giving formal proofs. A computer program called ETPS which is available from the web facilitates doing and checking such exercises.=20 * Audience: This volume will be of interest to mathematicians, computer scientists, and philosophers in universities, as well as to computer scientists in industry who wish to use higher-order logic for hardware an= d software specification and verification. * For ordering information see: http://www.wkap.nl/prod/b/1-4020-0763-9 BOOK ANNOUNCEMENT Reasoning About Uncertainty Joseph Y. Halpern 8 x 9, 456 pp., 12 illus., cloth, ISBN 0-262-08320-5 * Uncertainty is a fundamental and unavoidable feature of daily life; in or= der to deal with uncertaintly intelligently, we need to be able to represent = it and reason about it. In this book Joseph Halpern examines formal ways of representing uncertainty and considers various logics for reasoning about= it. While the ideas presented are formalized in terms of definitions and=20 theorems, the emphasis is on the philosophy of representing and reasoning about uncertainty; the material is accessible and relevant to researchers= and students in many fields, including computer science, artificial intellige= nce, economics (particularly game theory), mathematics, philosophy, and=20 statistics. * Halpern begins by surveying possible formal systems for representing uncertainty, including probability measures, possibility measures, and plausibility measures. He considers the updating of beliefs based on chan= ging information and the relation to Bayes' theorem; this leads to a discussio= n of qualitative, quantitative, and plausibilistic Bayesian networks. He consi= ders not only the uncertainty of a single agent but also uncertainty in a=20 multi-agent framework. Halpern then considers the formal logical systems= =20 for reasoning about uncertainty. He discusses knowledge and belief; defau= lt=20 reasoning, and the semantics of default; reasoning about counterfactuals,= =20 and combining probability and counterfactuals; belief revision; first-ord= er=20 modal logic; and statistics and beliefs. He includes a series of exercise= s=20 at the end of each chapter. * Joseph Y. Halpern is Professor of Computer Science at Cornell University.= =20 He is the editor-in-chief of the Journal of the ACM and coauthor of=20 Reasoning About Knowledge (MIT Press, 1995). * "Halpern presents a masterful, complete and unified account of the many ways in which the connections between logic, probability theory and commonsensical linguistic terms can be formalized. Terms such as 'true,' 'certain,' 'plausible,' 'possible,' 'believed,' 'known,' 'default,'=20 'relevant,' 'independent,' and 'preferred are given rigorous semantical= =20 and syntactical analyses, and their interrelationships explicated and=20 exemplified. An authoritative panoramic reference for philosophers,=20 cognitive scientists and artificial intelligence researchers." - Judea Pearl, Computer Science Department, University of California, Los Angeles * For more information please visit: http://mitpress.mit.edu/0262083205 ACTA INFORMATICA SPECIAL ISSUE ON TYPES IN CONCURRENCY Proposed by IFIP Working Group 2.2 on Formal Description of Programming Concepts (http://www.irisa.fr/s4/wg22) Guest Editors: R. De Nicola, Univ. Firenze and D. Sangiorgi, Univ. Bologn= a. Both research and tutorial/surveys papers are welcome. * Dates. Authors are invited to send a pdf or a ps file with their paper to denicola@dsi.unifi.it AND davide.sangiorgi@cs.unibo.it by 15 January 2004. Authors are also requested to email us a title and a short abstract in plain text as early as possible (ideally before end October). * Meeting. Apart for publication on Acta Informatica, some of the submitted papers will be also considered for presentation at the meeting of the IFIP Working group 2.2 that will take place in Bertinoro (Italy) 12-17 September 2004.=20 * Details: http://www.cs.unibo.it/people/faculty/sangio/acta_issue.txt PHD & POSTDOC VACANCIES AT VRIJE UNIVERSITEIT, AMSTERDAM, NETHERLANDS Agent Systems Research Group Department of Artificial Intelligence=20 Vrije Universiteit, Amsterdam http://www.cs.vu.nl/ai * The Department of Artificial Intelligence within the Faculty of=20 Sciences has a number of postdoc and PhD student vacancies for four=20 years in Multi-Agent Organisation Dynamics, in particular in the=20 Agent Systems Research Group, headed by dr. C.M. Jonker. * For further information contact Dr. C.M. Jonker,=20 tel. 020-44 47743/47700, e-mail jonker@cs.vu.nl, or prof. dr. J. Treur, tel. 020-44 47763/47700, e-mail treur@cs.vu.nl. CHAIRS, READERS AND LECTURERS AT UNIVERSITY OF DURHAM, UK Department of Computer Science Chairs, Readers and Lecturers * The Department of Computer Science at the University of Durham is to=20 make up to 10 appointments at the level of Chair, Reader and Lecturer.=20 These are non-fixed-term positions and are tenable from 1st January 2004= =20 or from a mutually acceptable date thereafter. * Applicants should have research interests in software engineering,=20 distributed computing or theoretical computer science (under a broad=20 interpretation), although strong candidates with research interests in=20 other areas of Computer Science are welcome to apply. Candidates with=20 research interests relating to e-Science and inter-disciplinary research= =20 are particularly encouraged to apply. Indeed, one Lectureship will be=20 reserved exclusively for such a candidate. * The Department's web-pages can be found at: http://www.dur.ac.uk/computer.science and further details as regards the positions at: http://www.dur.ac.uk/Personnel/vacancies/A2401.htm * Potential candidates are strongly encouraged to contact Professor Iain=20 Stewart (Head of Department) for informal discussions: e-mail: i.a.stewart@durham.ac.uk, tel: +44 (0)191 334 1720. * The closing date for applications is 1st November 2003 (3) Dear Colleagues (and list maintainers): The informal workshop is announced below. Please forward this e-mail to other interested researchers who might wish to come. Note that everyone must confirm attendance with an email to the organizers. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D DOMAINS, TOPOLOGY AND CONSTRUCTIVE LOGIC An Informal Workshop Sponsored by Graduiertenkolleg "Logik in der Informatik" (GKLI)=20 Mathematisches Institut, Ludwig-Maximilians-Universitaet Muenchen November 1-2, 2003 http://www.mathematik.uni-muenchen.de/~gkli/dtcl/index.html Various categories of domains suitable for interpreting programming- language constructs (such as recursion, function types, domain equations, etc.) are known. The topological spaces that arise in this way (domains under the Scott topology) are non-Hausdorff, but, in practice, ordinary Hausdorff subspaces, such as the Baire space, the Cantor space and the real line, are of general interest. Because such spaces do not exist within the categories of domains, one thus cannot officially talk about them in standard program logics. The category Top of topological spaces, which fully embeds various categories of domains, itself fails to enjoy many desirable closure properties, but Scott recently discovered that there is a cartesian closed extension of Top (and, hence, of various categories of domains) that has many interesting properties. It also has an effective subcategory with a rich logic fruitfully combining continuity and computability notions. In this informal workshop (where other talks on domain theory and constructivity are welcome) we wish to bring together computer scientists, logicians and mathematicians who share an interest in the applications of domain theory, topology and logic to the theory of computation. ORGANIZERS: Dana ScottHelmut Schwichtenberg Markus Latte LOCATION OF MEETINGS: =09 International Begegnungszentrum der Wissenshaft =09 Amalienstrasse 38 (betw. Schellingstr. and Theresienstr.) =09 D-80799 Muenchen, GERMANY =09 Tel: +49 (89) 28 66 86 36 (direct to the Scott's apartment) =09 Tel: +49 (89) 28 66 86 0 (management, in case of emergency) =09 Fax: +49 (89) 28 66 86 50 =09 Underground: Universitaet (U3 and U6) MEETING SCHEDULE: =09Saturday, 1 November, 10:00-13:15 and 14:30-17:45 and =09Sunday, 2 November, 10:00-13:15.=20 A speaker list will be posted on the WWW site when known.=20 ACCOMODATION INFORMATION: Information will be shown on the WWW site and Markus Latte can help make reservations. Funds to cover parts of the speaker's hotel costs are likely to be available. REGISTRATION: Please reply to Dana Scott and Markus Latte if you wish to attend. (Please DO NOT reply to the whole mailing list!) We need to know the total numbers of attendees to arrange the lecture room and refreshments. If you wish to give a talk, please indicate title and very brief abstract. The program may be crowded. (4) The following Logic seminars take place at 4.30 on Fridays in the Mathematical Institute,24-29 St Giles,Oxford. 10 Oct Ivan Fesenko (Nottingham) On several applications of nonstandard mathematics. 17 Oct Olivier Lessmann (Oxford) Interpreting groups and fields in excellent classes. 24 Oct No seminar-Maths Colloquium. 31 Oct No seminar-Clay million dollar prizes video show. 7 Nov Alex Wilkie (Oxford) Fusing o-minimal structures. 14 Nov tba 21 Nov Dugald Macpherson (Leeds) Asymptotics of definable sets in finite structures. 28 Nov No seminar-maths colloquium. 5 Dec Jan Krajicek (Prague) Implicit proofs. (5) This announcement corrects a posting sent to the LICS mailing list last=20 week. The correct dates for workshops are: July 12-13 and July 18. -------------------------------------------------------------------------- The Nineteenth IEEE Symposium on Logic In Computer Science 2004 =20 Call for Workshop Proposals=20 Turku, Finland =20 LICS 2004: July 14-17, 2004=20 LICS 2004 Workshops: July 12-13 and July 18, 2004.=20 =20 http://www.lfcs.informatics.ed.ac.uk/lics =20 =09=09=09=09=09=09 The Nineteenth IEEE Symposium on Logic In Computer Science (LICS 2004) will= be held in Turku, Finland July 14-17, 2004 in conjunction with ICALP. The organizers have made arrangements for pre- and post-LICS workshops to be ru= n in conjunction with the main conference. Possible dates are July 12-13 and July 18, and could be joint with ICALP (see http://www.math.utu.fi/ICALP04/WScall.html) =20 Researchers and practitioners are invited to submit proposals for workshops= on topics relating logic - broadly construed - to computer science or related fields. Typically, LICS workshops feature a number of invited speakers and= a smaller number of contributed presentations. LICS workshops do not produce formal proceedings. However, in the past there have been special issues of journals based in part on certain LICS workshops. Proposals should include: =20 -- A short scientific summary and justification of the proposed topic. This should include a discussion of the particular benefits of the topic to the LICS community. -- A discussion of the proposed format and agenda. -- The proposed duration, which may vary from half a day to two days, and preferred dates. -- Procedures for selecting participants and papers. -- Expected number of participants. -- Potential invited speakers. -- Plans for dissemination (for example, special issues of journals). =20 Proposals are due Nov. 15, 2003 and should be submitted electronically to:= =20 =20 Philip Scott Workshops Chair, LICS 2004=20 phil@site.uottawa.ca=20 The selections will be chosen by a committee consisting of Phokion Kolaitis (LICS General Chair), Harald Ganzinger (LICS 2004 Program Committee Chair), Phil Scott (LICS Workshop Chair) and Lauri Hella (LICS 2004 Conference chair). The results will be announced by Nov 30th, 2003. =20 (6) Dear colleagues (and list subscribers): Two grant positions are announced below. Please forward this=20 e-mail to other interested parties who might wish to apply.=20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D ---------------------------------------------------------------- Call for PhD and Post PhD Grant Applications ---------------------------------------------------------------- The PhD School (Graduiertenkolleg) ``Logik in der Informatik'' at=20 Munich invites qualified individuals for one PhD and one Post-PhD=20 grant starting as soon as possible. The PhD grant is limited for=20 up to three years, the Post-PhD for up to two years. The PhD school is a joint research programme of the=20 Ludwig-Maximilians-University, the Technical University of Munich=20 and the Centre for Information and Language Processing in=20 association with Siemens AG. Participating professors are Manfred Broy, Francois Bry, Wilfried Buchholz, Wolfram B=FCttner, Martin Hofmann, Fred Kr=F6ger,=20 Tobias Nipkow, Hans-J=FCrgen Ohlbach, Klaus Schulz, Helmut=20 Schwichtenberg, and Martin Wirsing. The areas of research cover * Logical foundations, lambda-calculus, equational logic, temporal logic, model checking, logic-based knowledge-representation, minimal implication, non-monotonic reasoning. (Bry, Buchholz, B=FCttner, Hofmann, Kr=F6ger, Nipkow, Schulz, Schwichtenberg) * Theorem provers using (higher order) equational theories, combination of theorem provers with special techniques, applications for knowledge processing. (Bry, Buchholz, Nipkow, Ohlbach, Schulz, Schwichtenberg) * Modelling knowledge-based and distributed systems, model checking. (Broy, Bry, B=FCttner, Hofmann, Kr=F6ger, Wirsing) * Semantics and logic for programs and programming languages,=20 particularly resource management and object-oriented programming. (Broy, Hofmann, Kr=F6ger, Nipkow, Wirsing) * Foundations of software-engineering, modularisation and reuse of programs, use of calculi for design and optimisation of programs, program systems and circuits. (Broy, B=FCttner, Wirsing) * Applications, realisations and practicability studies,=20 particularly in the domain of paradigms of logical programming. (Broy, Bry, Hofmann, Ohlbach, Wirsing)=20 Applications should contain: Curriculum vitae, a copy of the=20 Diploma/Master or PhD thesis respectively, scientific publications,=20 description of a research project, and advisory reports from two=20 university teachers. Please send your application to Graduiertenkolleg Logik in der Informatik Mathematisches Institut der Ludwig-Maximilians-Universit=E4t Theresienstr. 39 80333 M=FCnchen Germany =20 Further information can be obtained from Prof. Dr. Helmut Schwichtenberg Tel: +49 89 2180 4413 Fax: +49 89 2180 4038 schwicht@mathematik.uni-muenchen.de http://www.mathematik.uni-muenchen.de/~schwicht/ and from the website=20 http://www.mathematik.uni-muenchen.de/~gkli/ (7) Topology News, October 2003 Set Theory (CRM, Bellaterra) Borders in 3-Dim Topology (Ohio, December 2003) Geometric Group Theory (Mobile, February 2004) Lattice-Ordered Groups and f-Rings (Gainesville, March 2004) Spring Topology and Dynamics Conference (Birmingham 2004) 19th``Summer'' Conference on Topology and its Applications (Cape Town, July= 2004) Topology and Analysis in Applications (Tala Game Reserve, July 2004) Dynamical Systems and Applications (Antalya, August 2004) Summer Conference Series on Topology and its Applications Tenure-track position in Topology at UBC Special issue of HJMS Uppsala Lectures on Calculus ################## Research Programme in Set Theory September 2003 to July 2004 Centre de Recerca Matem=E0tica Campus of the Universitat Aut=F2noma de Barcelona, Bellaterra Organisers: Joan Bagaria (ICREA and UB), Stevo Todorcevic (CNRS, Paris). http://www.crm.es/ResearchProgrammes/ResProgCurs03-04.htm ################## Borders in 3-Dim Topology The Ohio State University, Department of Mathematics Columbus, OH, USA December 5-7, 2003 http://www.math.ohio-state.edu/~kerler/Top03/ The focus of this week-end conference are modern methods in 3-manifold=20 and knot theory, and their ramifications into other fields of mathematics. Invited participants are from both the classical and quantum side of low-dim topology, but also from adjacent areas such as gauge=20 theory and quantum computing. The aim of the conference is give=20 participants an opportunity to present the current state of research but also to educate themselves along the borderlines of the different directions of research. Participation of graduate students and recent PhD's is particularly encouraged. Confirmed plenary speakers are: Tim Cochran (Rice Univ), Peter Ozsv=E1th (IAS & Columbia), Zhenghan Wang (Indiana Univ) Abstracts: http://at.yorku.ca/cgi-bin/amca/camn-01 http://at.yorku.ca/cgi-bin/amca/submit/camn-01 ################## G^3 =3D Geometric Group Theory on the Gulf Coast Conference Mobile, Alabama, USA February 5-8, 2004 The next G3 conference will take place Thursday-Sunday, February 5-8, 2004, in downtown Mobile, Alabama. The conference will start around between 3.30 and 4.00 p.m. on Thursday and finish around noon on Sunday. We will start with several educational talks for general audience on Thursday, and possibly on Friday. This will be the very beginning of Mardi Gras in Mobile, so you will have an opportunity to watch the first papade on Friday, February 6. The G3 conference resembles geometric group theory itself -- it lets algebra, geometry, topology and analysis interact. If you like to contribute to this, please send a short description of your research, the title and abstract soon, before the end of October. Students and recent Ph.D. are especially welcomed. A limited travel support might be available. Conference organizers: Stephen Brick, Craig Jensen, Igor Mineyev. Contact email: mineyev@ias.edu For more information please see the G3 homepage at http://www.math.uiuc.edu/~mineyev/ggg/ Abstracts: http://at.yorku.ca/cgi-bin/amca/cami-01 http://at.yorku.ca/cgi-bin/amca/submit/cami-01 ################## Conference in Lattice-Ordered Groups and f-Rings Department of Mathematics, University of Florida, Gainesville, Florida, USA March 3-6, 2004 Conference organizer: Jorge Martinez http://www.math.ufl.edu/~jmartine/ord04.html Abstracts: http://at.yorku.ca/cgi-bin/amca/camj-01 http://at.yorku.ca/cgi-bin/amca/submit/camj-01 ################## 2004 Spring Topology and Dynamics Conference University of Alabama at Birmingham March 25-27, 2004 http://www.math.uab.edu/ablokh/stdc04.html Abstracts: http://at.yorku.ca/cgi-bin/amca/camc-01 http://at.yorku.ca/cgi-bin/amca/submit/camc-01 ################## 19th``Summer'' Conference on Topology and its Applications 5-9 July 2004 to be hosted by Department of Mathematics and Applied Mathematics University of Cape Town, South Africa Keynote Lecturers: Ofelia Alas (University of Sao Paulo, Brazil) Abbas Edalat (Imperial College London, UK) Marcel Erne (University of Hannover, Germany) M. Isabel Garrido (University of Extremadura, Badajoz, Spain) Valentin Gutev (University of Natal, Durban, South Africa) Peter Johnstone (University of Cambridge, UK)=20 Vladimir Pestov (University of Ottawa, Canada) Dusan Repovs (University of Ljubljana, Slovenia) Workshops: Topological Methods in Algebra: Mara D. Neusel (Texas Tech University at Lubbock, USA) Duality as a Unifying Framework: Ingrid Rewitzky (University of Cape Town, SA) Special Sessions: Session 1: Topology and Set Theory (e.g. Foundations, Continuum Theory). Session 2: Topology in Algebra (e.g. Topological Groups, Topological Semigroups). Session 3: Topology in Analysis and Geometry (e.g. Function Spaces, Dynamical Systems, Uniformity, Asymmetric=20 Topology). Session 4: Topology and Computer Science (e.g. Domain Theory, Computational Topology). Session 5: Topology and Category Theory (e.g. Pointfree Topology, Topological Categories, Closure Operators). Contact Details: http://www.mth.uct.ac.za/Conferences/Topology Abstracts: http://at.yorku.ca/cgi-bin/amca/cajp-01 http://at.yorku.ca/cgi-bin/amca/submit/cajp-01 Address: Summer Conference on Topology and its Applications Department of Mathematics and Applied Mathematics University of Cape Town Private Bag Rondebosch 7701 South Africa Email: topsum04@maths.uct.ac.za Fax: +27-21-6502334 Organizers: Hans-Peter K=D8nzi, Christopher Gilmour, Guillaume Br=D8mmer, John Frith, Sizwe Mabizela, Ingrid Rewitzky, Anneliese Schauerte, University of Cape Town. David Holgate, Phethiwe Matutu, University of Stellenbosch. Nizar Marcus, University of the Western Cape. ################## Topology and Analysis in Applications =20 Regional Conference of The South African Mathematical Society 12-16 July, 2004 Tala Game Reserve, Kwa-Zulu Natal http://www.topology.yi.org/ Will be hosted by the School of Mathematical and Statistical Sciences, Faculty of Science, University of Natal, Durban, South Africa. This will be a satellite meeting to the 19th "Summer" Conference on Topology and its Applications, 5-9 July, 2004, University of Cape Town, South Africa, and besides adding another mathematical component it will also offer a considerably extended sightseeing in the beautiful district of Kwa-Zulu Natal. We cordially invite you to take part in our meeting, and to enjoy the famous Mother city of Cape Town, and the spirit of Kwa-Zulu Natal. Organizing Committee: Valentin Gutev, University of Natal, Durban Jacek Banasiak, University of Natal, Durban Erwin Bruning, University of Durban Westville Dharms Baboolal, University of Durban Westville Contact Details: Topology and Analysis in Applications (attn: V.Gutev) School of Mathematical and Statistical Sciences Faculty Of Science, King George V Avenue 4041 Durban, South Africa E-mail: gutev@nu.ac.za Fax: +27-31-2602632 ################## International Conference: 2004 - Dynamical Systems and Applications August 02 - 08, 2004 Antalya-Kapadokya, Turkey The conference will provide an ideal forum for the participants to present and exchange their latest research in dynamical systems and applications. It facilitates communication between scientists of varying backgrounds and in different fields. These interactions are needed for meaningful progress in understanding and predicting complex physical phenomena in the real life problems. The conference covers all aspects of dynamical systems both theoretical and applied. This includes, but not limited to, Dynamical Systems, Computational Mathematics, Simulation, Neural Networks, Stochastic/Deterministic: Differential Equations, Partial Differential Equations, Chaos Theory, Integral Equations, Integro-Differential Equations, Difference Equations, Nonlinear Operator Equations, Variational Inequalities and Complementarity Problems, Populations Dynamics, Differential-Difference Inequalities, The Theory of Risk and Safety of Dynamic Systems, Wavelets and related topics. Organizing Committee Akca Haydar, KFUPM, Arino Ovide, Universite de Pau, Basem S. Attili, UAEU. Al-Ain, Boucherif Abdelkader, KFUPM, Berezensky Leonid, Ben-Gurion Univ., Cho Yeol Je, Gyeongsang National Univ., Covachev Valery, Academy of Sci., Gyori Istvan, Univ. of Veszprem, Maksimov Vyacheslav, Ural State Poly. Univ., Stavroulakis Ioannis P. Univ. of Ioannina, Local Organizing Committee Akca Haydar, KFUPM, akca@kfupm.edu.sa Ciplak Battal, Akdeniz Univ., Speakers: Arino O., Universite de Pau, France Aulbach, Bernd, University of Augsburg, Germany Alaoui, A. Universite de Le Havre, France Boychuk A., University of Kiev, Ukraine Cheng Sui Sun, Tsing Hua University, Taiwan Debnath Lokenath, University of Texas- Pan American, USA Diekmann O., University of Utrecht, The Nederland Gopalsamy K., Filinders University, Australia Elaydi, S., Trinity University, USA Gyori I., University of Veszprem, Hungary Hale J.K., Georgia Institute of Technology, USA Kirane Mokhtar, Universite de La Rochelle, France Kolmanovskii V., Moscow Inst. of Electronics and Mathematics, Russia Murakami, S., Okayama University, Japan Pakdaman K., INSERM, France Saitoh S., Gunma University, Japan Sell, George, University of Minnesota Smith, Hal, Arizona State University, USA Abstracts: http://at.yorku.ca/cgi-bin/amca/submit/calu-01 http://at.yorku.ca/cgi-bin/amca/calu-01 ################## Summer Conference Series on Topology and its Applications http://sumtopo.home.att.net/ The next conferences are: July 5-9, 2004 Cape Town, South Africa http://www.mth.uct.ac.za/Conferences/Topology/ 2005 Denison University, Granville, OH, USA (near Columbus, OH) Contact: Lew Ludwig 2006 Universitat Jaume I, Castellon, Spain Contact: Salvador Hern=E1ndez ##################=20 Tenure-track position in Topology The Mathematics Department at the University of British Columbia is seeking candidates for a tenure-track Assistant Professorship, subject to funding, with a starting date of 1 July 2004. Exceptional candidates at the Associate Professor or Professor level may be considered. Applicants should have an outstanding research record in Algebraic Topology or Geometric Topology. In exceptional circumstances, outstanding applicants=20 in other areas of pure mathematics may be considered. The successful applicant is expected to interact with related groups in the Mathematics Department and have demonstrated interest and ability in teaching. The Mathematics Department has strong connections with the Pacific Institute for the Mathematical Sciences (PIMS). The salary will be commensurate with experience and research record. Applicants should send a current CV including a list of publications,=20 statement of research and teaching interests, and should arrange for three letters of reference to be sent directly to: Chair, Departmental Committee on Appointments Department of Mathematics University of British Columbia #121 - 1984 Mathematics Road Vancouver, B.C. Canada V6T 1Z2 The deadline date for applications is November 24, 2003. The University of British Columbia hires on the basis of merit and is committed to employment equity. We encourage all qualified persons to apply; however Canadian citizens and permanent residents will be given priority. ################## Special issue of Hacettepe Journal of Mathematics and Statistics The editorial board of Hacettepe Journal of Mathematics and Statistics is seeking research papers in General Topology and related areas, including the theory of fuzzy sets and topology, for a special issue dedicated to the memory of Professor Dogan Coker. Papers should be written in English, be unpublished and not simultaneously submitted for publication elsewhere. They will be refereed to the usual standards of the journal. Authors are requested to submit a LaTeX file of their paper by e-mail to the associate editor, Lawrence M. Brown (brown@hacettepe.edu.tr). There is currently no hard and fast deadline for submissions, but prospective authors are requested to contact the associate editor before November 15 to discuss a submission date. Information about the journal, which also welcomes papers on General Topology for its regular issues, may be obtained from http://www.mat.hacettepe.edu.tr/hjms/ ################## Uppsala Lectures on Calculus by E.V. Shchepin This is a new textbook for an introductory course of Calculus. The material of the lectures covers much of the standard Calculus curriculum but the approach is from a new perspective with classical motivation. Several file formats are available at http://at.yorku.ca/i/a/a/z/20.htm ################## Topology News is a occasional mailing list used to distribute conference announcements and other information of interest to topologists. Please send us any news to distribute. If you do not want to receive these newsletters, please tell us and we will remove your email address from our mailing lists. Elliott Pearl Stephen Watson Topology Atlas http://at.yorku.ca/topology/ atlas@at.yorku.ca --------- 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
*