-------------------------------------------------------
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 Minutes of the BLC Commitee
Meeting that happenned this January in Manchester.
I am attaching both a Latex and a ps file.
The rest of the newsletter contains various announcements, as
listed below.
I would also like to use the occasion to remind those of you who supervise
a Ph.D. project of the existence of a database of completed Logic
Ph.D.s. Please do send the data as it becomes available to Eike Ritter,
who maintains this database for us.
With best wishes, Mirna.
Table of contents:
(1) Computability and Models, Perspectives East and West
(eds. S. Barry Cooper and Sergei S. Goncharov)
(2) Topology news conference announcements
(22 conferences!)
(3) Algebraic and Topological Methods in Non-Classical Logics,
Tbilisi, Georgia, 7 - 11 July 2003
(4) 2nd announcement: Groups and Model Theory, April 11-12, Leeds
(partially supported by BLC)
(5) Eighteenth Annual IEEE Symposium on
LOGIC IN COMPUTER SCIENCE
June 22nd - 25th, 2003, Ottawa, Canada
CALL FOR SHORT PRESENTATIONS
(6) Barcelona Conference on Set
Theory from September 16 to the 20, 2003
(7) International Masters Programme in COMPUTATIONAL LOGIC,
The Technische Universitaet Dresden
(8) The schedules of the Oxford and the
Birmingham Topology seminars, through mid-March
----------------------------------------------------------
ITEM (1)
BOOK ANNOUNCEMENT:
Computability and Models
Perspectives East and West
edited by
S. Barry Cooper
School of Mathematics, University of Leeds, UK
Sergei S. Goncharov
Dept. of Mechanics and Mathematics, Novosibirsk State University, Russia
Kluwer Academic/Plenum Publishers
Hardbound, ISBN 0-306-47400-X
January 2003, 388 pp.
EUR 142.00 / USD 135.00 / GBP 90.50
Book Series: UNIVERSITY SERIES IN MATHEMATICS
There are few notions as fundamental to contemporary science as those of
computability and modelling. 'Computability and Models' attempts to make
some of the exciting and important new research developments in this area
accessible to a wider readership. Written by international leaders drawn
from major research centres both East and West, this book is an essential
addition to scientific libraries serving both specialist and the
interested non-special reader.
From the Preface:
"Science involves {\it descriptions} of the world we live in. It also
depends on nature exhibiting what we can best describe as a high {\it
algorithmic content}. The theme running through this collection of papers
is that of the interaction between descriptions, in the form of formal
theories, and the algorithmic content of what is described, namely of the
{\it models} of those theories. This appears most explicitly here in a
number of valuable, and substantial, contributions to what has until
recently been known as `recursive model theory' -- an area in which
researchers from the former Soviet Union (in particular Novosibirsk) have
been pre-eminent. There are also articles concerned with the computability
of aspects of familiar mathematical structures, and --- a return to the
sort of basic underlying questions considered by Alan Turing in the early
days of the subject --- an article giving a new perspective on
computability in the real world. And, of course, there are also articles
concerned with the classical theory of computability, including the first
widely available survey of work on quasi-reducibility.
The contributors, all internationally recognised experts in their fields,
have been associated with the three-year INTAS-RFBR Research Project
'Computability and Models' (Project No. 972-139), and most have
participated in one or more of the various international workshops (in
Novosibirsk, Heidelberg and Almaty) and other research activities of the
network. Although based on just eight research centres -- Almaty,
Heidelberg, Ivanovo, Kazan, Leeds, Novosibirsk, Siena and Turin -- the
project has acted as a focus for researchers from all over Europe and
beyond. This has been an exciting and rewarding experience for everybody
involved, and has helped transform the fragmented European scene of ten or
more years ago (so vividly described by George Odifreddi in his
entertaining introduction to this volume) into the lively community of
researchers we now see developing.
The articles which follow approach this important and growing area of
research from many different angles. The authors were encouraged to
provide {\it readable} introductions to their research. All have responded
either with timely surveys of work inadequately covered elsewhere, or with
interesting and important new results, with clear pointers to the wider
context. All articles have been rigorously refereed, and revised
accordingly."
Contents:
Introduction - P. Odifreddi. Truth-Table Complete Computably Enumerable
Sets - M.M. Arslanov. Completeness and Universality of Arithmetical
Numbering - S. Badaev, S. Goncharov, A. Sorbi. Algebraic Properties of
Rogers Semilattices of Arithmetical Numberings - S. Badaev, S. Goncharov,
S. Podzorov, A. Sorbi. Isomorphism Types and Theories of Rogers
Semilattices of Arithmetical Numberings - S. Badaev, S. Goncharov, A.
Sorbi. Computability over Topological Structures - V. Brattka.
Incomputability In Nature - S.B. Cooper, P. Odifreddi. Gems in the Field
of Bounded Queries - W. Gasarch. Finite End Intervals in Definable
Quotients of E - E. Herrmann. A Tour of Robust Learning - S. Jain, F.
Stephan. On Primitive Recursive Permutations - I. Kalimullin. On
Self-Embeddings of Computable Linear Orders - S. Lempp, A.S. Morozov,
C.F.D. McCoy, D.R. Solomon. Definable Relations on the Computably
Enumerable Degrees - A. Li. Quasi-Degrees of Recursively Enumerable Sets
- R.Sh. Omanadze. Positive Structures - V. Selivanov. Local Properties of
the Non-Total Enumeration Degrees - B. Solon.
ITEM (2)
Topology News
Denison Topology Conference (Granville, OH, Feb. 2003)
60th Birthday Conference in Honor of E.D. Tymchatyn (Birmingham AL, Feb. 2003)
Spring Topology and Dynamical Systems Conference (Lubbock, TX, March 2003)
Boise Extravaganza in Set Theory 12 (March 2003)
Sixteenth Spring Miniconference on Real Analysis (Auburn, AL, March 2003)
9th Annual Cantrell Lectures (J. Birman) (Athens GA, March 2003)
CombinaTexas (San Marcos TX, April 2003)
University of Arkansas Spring Lecture Series (Fayetteville, AR, April 2003)
Pacific Northwest Geometry Seminar (Vancouver BC, April 2003)
5-th Conference on Geometry and Topology of Manifolds (Krynica, PL, April 2003)
Cornell Topology Festival (May 2003)
Conference on the Topology of Manifolds of Dimensions 3 and 4 (Austin, TX, May 2003)
Groups and Semigroups in Analysis (Sheffield, UK, May 2003)
International Conference on Group Theory (Gaeta, IT, June 2003)
Wasatch Topology Conference (Park City, UT, June 2003)
CITA-2003 (Lorca, ES, June 2003)
Lehigh University Geometry and Topology Conference (Bethlehem, PA, June 2003)
Conference in Honor of Alexander Arhangelskii (Brooklyn, NY, June 2003)
2003 Summer Conference on Topology and its Applications (Washington DC, July 2003)
Colloquium on Topology dedicated to the 60th Birthday of István Juhász (Budapest, HU, Aug. 2003)
18th British Topology Meeting (Manchester, UK, Sept. 2003)
Special Year on Algebraic Geometry and Topology (Canberra, AU 2003)
Please see the conference homepages for complete updated information.
##################################
Denison Topology Conference
Denison University
Granville, OH
February 21-22, 2003
Webpage: http://www.denison.edu/mathsci/events/topology03/
You are invited to attend and participate in the Denison Topology
Conference to be held at Denison University in Granville, Ohio on February
21-22, 2003. All areas of topology or set-theoretic related mathematics
are welcome.
The main speaker, A.V. Arhangel'skii, will present two one-hour seminars
on "Around Lindelöf Property."
Invited Speakers: Dennis Burke, Todd Eisworth, Paul Gartside
Contact: Lew Ludwig (ludwigl@denison.edu)
##################################
60th Birthday Conference in Honor of E.D. Tymchatyn
University of Alabama at Birmingham
February 21-22, 2003
Abstracts: http://at.yorku.ca/cgi-bin/amca/submit/caki-01
Contact: ED60@math.uab.edu
The Department of Mathematics at the University of Alabama at Birmingham
(UAB) will host a two-day conference, February 21-22, 2003, in honor of
the 60th birthday of Dr. E. D. Tymchatyn, Professor of Mathematics at the
University of Saskatchewan. Professor Tymchatyn has made many significant
contributions, and sponsored numerous post-doctoral students, in his
research areas of general topology and continuum theory. Mathematicians in
these areas whose work has been influenced by Professor Tymchatyn are
hereby invited to give a 25 minute talk at the conference. There will be
two one-hour talks one on current research, and one on Professor
Tymchatyn's contributions to topology. Updated announcements, lists of
speakers, and further details will be available through a link on the
webpage http://www.math.uab.edu.
##################################
Spring Topology and Dynamical Systems Conference 2003
Texas Tech University
Lubbock, Texas 79409, U.S.A.
March 20-22, 2003
For information on registration, abstracts, program, housing, weather, etc.
please check the conference webpage at
http://www.math.ttu.edu/stdc/
Invited speakers for this conference include:
Raushan Bouziakowa, Dennis Burke, Robert Devaney, Mike Davis,
Raul Escobedo, Robert Ghrist, K. P. Hart, Eriko Hironaka, Tadeusz
Januszkiewicz, Hisao Kato, Louis Kauffman, Piotr Koszmider,
W. Marciszewski, Piotr Minc, Justin Moore, Walter Neumann, Oleg G.
Okunev, John Roe, David Ryden, Mark Sapir, Vesko Valov, Klaudiusz Wojcik
This conference will include special sessions on:
Continuum Theory, Dynamical Systems, General Topology, Geometric Group
Theory, Geometric Topology, Topoloical Algebras
Contact: springtop@math.ttu.edu
#################################
12th Boise Exstravaganza in Set Theory
Boise State University
Friday, March 28 - Sunday, March 30, 2003
Invited speakers:
Liljana Babinkostova (Boise State University)
Klaas Pieter Hart (Delft University of Technology, the Netherlands)
Gary Gruenhage (Auburn University)
Jindrich Zapletal (University of Florida)
Conference webpage: http://math.boisestate.edu/~best/
Limited financial support is available, in particular for graduate
students. In order to apply, e-mail one of the organizers and we will
send you the required paperwork.
Organizers:
Tomek Bartoszynski tomek@math.boisestate.edu
Justin Moore justin@math.boisestate.edu
Contact: best@math.boisestate.edu
The conference is supported by a grant from the National
Science Foundation, whose assistance is gratefully acknowledged.
#################################
Sixteenth Spring Miniconference on Real Analysis
Auburn University
Friday and Saturday, March 28-29, 2003
Sponsored by NSF
Webpage:
http://www.auburn.edu/~brownj4/RAmini03.html
Invited Principal Speakers: G. A. Edgar (Ohio State Univ.),
Slawomir Solecki (Univ. of Illinois), Francis Jordan (Georgia Southern Univ.)
Contact: Jack Brown brownj4@mail.auburn.edu
#################################
9th Annual Cantrell Lectures
Athens, GA
University of Georgia
March 31 - April 2, 2003
Webpage:
http://www.math.uga.edu/seminars_conferences/cantrell.html
Professor Joan Birman (Barnard College, Columbia University) will give
three talks. Monday, March 31: Scientific publication: a
mathematician's viewpoint (Talk for a general audience.)
Tuesday, April 1: Recognizing the Unknot ("Junior Colloquium")
Wednesday, April 2: Stabilization in the braid groups (Topology Seminar)
Contact: Mitch Rothstein rothstei@math.uga.edu
#################################
CombinaTexas: Combinatorics in the South-Central U.S.
Southwest Texas State University
San Marcos, TX
April 5-6, 2003
Webpage:
http://www.math.tamu.edu/~cyan/combinatexas/2003/index.html
This year the conference has a special focus on Graph Theory and its
Applications. The conference topics range over a variety of areas around
the special focus, including Computational Graph Theory, Topological Graph
Theory, Random Graphs, and Applications to Algorithms, Geometry, and
Number Theory. In addition, there will be sessions of contributed papers
and poster exhibitions, for which we welcome submissions. Any research
work within the general area of combinatorics is welcome. The deadline for
submitting title and abstract for the short communications is March 15,
2003. The deadline for registration is March 22, 2003.
CombinaTexas is supported by Southwest Texas State University and Texas
A&M University. Everyone is welcome. There are no registration fees, and
limited support for participants is available. We encourage people to
register in advance and especially encourage early-career mathematicians
to apply for travel funding if needed.
Contact: Catherine Yan cyan@math.tamu.edu
Daniela Ferrero, dferrero@unt.edu
Xingde Jia, jia@swt.edu
#################################
28th Annual University of Arkansas Spring Lecture Series in the
Mathematical Sciences
The Andrews-Curtis and the Poincare Conjectures
Fayetteville, Arkansas
April 10-12, 2003
Webpage:
http://www.uark.edu/depts/mathinfo/activities/SpringLecture/SL2003.html
Principal Lecturer: Andrew Casson (Yale University)
Special Public Lecture: Jeff Weeks "The Shape of Space"
Invited Speakers:
Stephen Bigelow (UC Santa Barbara)
Martin Bridson (Imperial College, U.K.)
Danny Calegari (Harvard and Caltec)
Nathan Dunfield (Harvard)
Cameron Gordon (UT Austin)
Alan Reid (UT Austin)
Martin Scharlemann (UC Santa Barbara)
Zlil Sela (Hebrew University, Israel)
Peter Shalen (UIC)
Organizers: Chaim Goodman-Strauss,
Yo'av Rieck yoav@uark.edu
#################################
Pacific Northwest Geometry Seminar
University of British Columbia
Vancouver, BC
April 26-27, 2003
Webpage: http://www.math.washington.edu/~lee/PNGS/
Contact: Jack Lee lee@math.washington.edu
#################################
5-th Conference on Geometry and Topology of Manifolds
Krynica, Poland
April 27 - May 3, 2003
Webpage: http://im0.p.lodz.pl/konferencje/krynica2003/
We are pleased to inform you that the fifth conference of the cycle
initiated in 1998 with a meeting in Konopnica will be organized as in 2002
in Krynica from 27.04.2003 to 3.05.2003 (Poland). Krynica is a well known
resort situated in Beskidy Mts. The main purpose of the conference is to
present an overview of principal directions of research conducted in
differential geometry, topology and analysis on manifolds and their
applications, mainly (but not only) to Lie algebroids and related topics.
We would like to attract attention to: Riemannian, symplectic and Poisson
manifolds, index theorems, Lie groups, Lie groupoids, Lie algebroids
Lie-Rinehart algebras, Poisson algebras, foliations, characteristic
classes.
We would be glad if you contribute to the success of the conference by
giving a lecture, or simply by taking part in discussions.
The proceedings of the 5th Conference have been published in the Journal
"Universitatis Iagellonicae Acta Mathematica".
Contact: Jan Kubarski kubarski@ck-sg.p.lodz.pl
#################################
Cornell Topology Festival
Ithaca, NY
May 1-4, 2003
Webpage: http://www.math.cornell.edu/~festival/
Note that this year's festival is one day longer than previous festivals.
About one third of the talks will be on geometric group theory, while the
rest (equal to the length of our previous festivals) will follow the
usual wide-ranging pattern. We expect to have one or two instructional
survey lectures near the beginning of the festival, as well as a problem
session near the end.
For the first time in many years, we have NSF funds to provide financial
support to a limited number of participants. Young researchers as well as
members of underrepresented groups are especially encouraged to apply.
Speakers:
Dror Bar-Natan (Hebrew University and University of Toronto)
Joan Birman (Columbia University)
Fred Cohen (University of Rochester)
Benson Farb (University of Chicago)
Gilbert Levitt (Université Paul Sabatier, Toulouse)
John Meier (Lafayette College)
Justin Roberts (UC San Diego)
Dylan Thurston (Harvard University)
Ulrike Tillman (University of Oxford)
Alain Valette (Université de Neuchâtel)
Karen Vogtmann (Cornell University)
Contact: festival@math.cornell.edu
#################################
Conference on the Topology of Manifolds of Dimensions 3 and 4
in honor of the 60th birthday of Andrew Casson.
University of Texas
Austin, TX
May 19-21, 2003
Webpage: http://www.ma.utexas.edu/topcon2/index.html
Organizers: Cameron Gordon, Bob Gompf, John Luecke and Alan Reid
Speakers will include D. Calegari, M. Freedman, D. Gabai, R. Kirby, G.
Kuperberg, D. Long, D. McDuff, A. Ranicki, R. Stern, D. Sullivan, C.
Taubes, P. Teichner, K. Walker and T. Wall.
There are funds available to help support graduate students and postdocs.
Graduate students and postdocs wishing to apply for support should consult
the registration page for further details.
Contact: handle@math.utexas.edu
#################################
Groups and Semigroups in Analysis
A conference in honour of J.S. Pym on the occasion of his retirement
University of Sheffield
Sheffield, United Kingdom
May 30 - June 1, 2003
Webpage: http://www.math.uwo.ca/~milnes/JSPMay03.htm
Organized by A.T. Lau, P. Milnes (milnes@uwo.ca), R.Y. Sharp, D. Strauss
#################################
International Conference on Group Theory: combinatorial, geometric, and
dynamical aspects of infinite groups
Gaeta, Italy
1-6 June 2003
Webpage: http://www-old.math.kth.se/math/users/gaeta/
The purpose of the meeting is to bring together leading experts and
younger researchers to discuss recent developements concerning
combinatorial, geometric and dynamical aspects of Group Theory.
In particular, the conference will focus on: geometric group theory;
ergodic theory; groups acting on trees and boundaries; random walks;
amenability; growth of groups, languages, and automata; groups and
fractals; L^2-cohomology; bounded cohomology; branch groups; groups
generated by finite automata; calculus of spectra; problems of Burnside
type; combinatorics of words.
Contact: gaeta@mat.uniroma1.it
#################################
Summer 2003 Wasatch Topology Conference
Park City, Utah
June 9-14, 2003
Webpage: http://www.math.byu.edu/~conner/wtc.html
The Mathematics departments of the University of Utah and Brigham Young
University along with the National Science Foundation are sponsoring the
Eighteenth Semiannual Wasatch Topology Conference to be held June 9-14,
2003 in Park City, Utah.
To celebrate 60th birthday of Jim Cannon, we are organizing a workshop in
geometric topology and geometric group theory on June 9-14 in Park City,
Utah. We are very pleased to have Martin Bridson deliver 3 lectures during
the workshop. We would be very happy if you could attend the workshop.
The funding is limited and will be distributed according to need. Priority
will be given to students, recent PhD's, and those without other means of
support. Technically, we are running two meetings back-to-back, the annual
Workshop in Geometric Topology and the Wasatch Topology Conference. In
addition to exciting mathematics, Park City in June offers abundant
recreational opportunities such as hiking and bicycling.
Contact: Greg Connor conner@math.byu.edu,
Mladen Bestvina bestvina@math.utah.edu
#################################
V Iberoamerican Conference in Topology and its Applications (CITA-2003)
Lorca (Murcia), Spain
June 10-14, 2003
Webpage: http://www.dmae.upct.es/topology/
Invited speakers include:
Salvador García Ferreira (Instituto de Matematica, UNAM, Mexico)
Sergey Antonyan (Facultad de Ciencias, UNAM, Mexico)
Dikran Dikrajan (Universita di Udine, Italy)
Sergey Kolyada (Mathematical Institute, Kiev, Ukraine)
Lubomir Snoha (Matej Bel University, Banská Bystrica, Slovak Republik)
The proceedings of this Conference will be published in a special issue of
"Topology and its Applications". Submitted papers will be strictly
refereed according to the standards of the journal.
Contact: Francisco Balibrea balibrea@um.es
#################################
Lehigh University Geometry and Topology Conference
Bethlehem, PA
June 12-14, 2003
Webpage: http://www.lehigh.edu/~dlj0/geotop.html
Principal speakers: Jeff Cheeger (Courant Institute, NYU),
Ruth Lawrence (Hebrew University),
Doug Ravenel (University of Rochester),
Vladimir Voevodsky (Institute for Advanced Study)
Contact: David Johnson david.johnson@lehigh.edu.
#################################
Conference in Honor of Alexander Arhangelskii
Brooklyn College of the City University of New York
Brooklyn, NY, USA
June 29 - July 3, 2003
Webpage: http://www.sci.brooklyn.cuny.edu/~raushan/CONFERENCE/
The conference is dedicated to Professor Alexander Arhangelskii (Ohio
University, Athens, Ohio) in connection with his 65th birthday. Professor
Arhangelskii is recognized world-wide as a mathematician and teacher
(please visit Sciencific Genealogical Tree on the conference website for a
complete list of Arhangelskii's PhD students). His scientific achievements
in General and Set-Theoretic Topology place him at a leading position in
the topological world. Professor Arhangelskii has solved very hard,
long-standing, problems, and developed new interesting and fascinating
notions and theories. He poses very beautiful problems that fascinate
topologists and attract new students to do research in Topology. One could
cover pages on counting all topics, notions, and theories introduced and
developed by Arhangelskii, and many of them have already become classical.
The contribution of Professor Arhangelskii to Topology, Mathematics in
general, and education of new generation of mathematicians is enormous and
deserves to be honored. His 65th birthday is a good opportunity to say
"Thanks".
Local Organizing Committee: Raushan Buzyakova (Brooklyn College, CUNY),
Ralph Kopperman (City College, CUNY), Gerald Itzkowitz (Queens College,
CUNY), Raymond Gittings (Brooklyn College, CUNY), Susan Andima (C.W. Post
Campus of Long Island University)
Organizers of Special Sessions:
Set-Theretic Topology: Oleg Pavlov (Mercer University), Oleg Okunev
(Ottawa), Dennis Burke (Miami University).
Topological Algebra and C_p: Vladimir Uspenskii (Ohio University),
Witold Marciszewski (University of Warsaw), Mikhail Tkachenko
(Universidad Autonoma Metropolitana, Mexico), Paul Gartside (University
of Pittsburgh).
Applications of Topology: Stephen Watson (York University), Hans-Peter
Kunzi (University of Cape Town, South Africa).
Housing is available at the Conolly Residence Hall of the Brooklyn Campus
of Long Island University. For details, see the conference website or
contact Raymond Gittings at gittings@optonline.net
The Brooklyn College Campus, where the conference will take place, is
easily accesible to the Conolly Residence Hall via public transportation
(subway or bus).
Abstracts
http://at.yorku.ca/cgi-bin/amca/cajv-01
Submissions
http://at.yorku.ca/cgi-bin/amca/submit/cajv-01
Contact: Raushan Buzyakova RaushanB@brooklyn.cuny.edu
#################################
2003 Summer Conference on Topology and its Applications
With a Special Session Honoring W. W. Comfort
Howard University, Washington, DC
July 9-12, 2003
Webpage: http://members.aol.com/nhindman/sumtopo/
The organizers have learned that their NSF grant application will be
recommended for approval and are soliciting nominations for financial aid
for graduate students wishing to attend this conference. The aid will
include registration, board, and room and some travel assistance.
(Students are encouraged to combine the trip to the 2003 Summer
Conference on Topology and its Applications with a trip to the Conference
in honor of A. V. Arhangelskii which will be held in New York June 29
through July 3.)
Contact conference organizers or check the website for details about
nominations for student aid.
Local Organizing Committee:
Neil Hindman (Howard University), Joshua Leslie (Howard University),
Amir Maleki (Howard University), Thierry Robart (Howard University),
Sherif El-Helaly (Catholic University), John Kulesza (George Mason University)
Abstracts
http://at.yorku.ca/cgi-bin/amca/cakb-01
Submissions
http://at.yorku.ca/cgi-bin/amca/submit/cakb-01
Deadline: June 1, 2003
Contact: Neil Hindman nhindman@aol.com
#################################
Colloquium on Topology dedicated to the 60th Birthday of István Juhász
Budapest, Hungary
August 8-13, 2003
Webpage: http://www.renyi.hu/pub/setop/topology2003.html
The János Bolyai Mathematical Society, the Alfréd Renyi Institute of
Mathematics and the Paul Erdős Summer Research Center of Mathematics are
organizing a Colloquium on general and set-theoretical topology in the
period of August, 8-13, 2003 in Budapest, Hungary.
The conference is dedicated to the 60th birthday of István Juhász.
Organizing Committee: Á Császár, A. Hajnal (chairpersons) L. Soukup
(secretary) soukup@renyi.hu
################################
The 18th British Topology Meeting
University of Manchester
Manchester, UK
September 8-9, 2003
Webpage: http://www.ma.man.ac.uk/~nige/btm18
On the 24th January, we received notification from the London Mathematical
Society confirming the award of a Conference Grant to proceed with the
18th BTM on Monday 8th and Tuesday 9th September 2003. We have already
confirmed that our main speakers are likely to be Rainer Vogt, of the
University of Osnabrueck, and David Pengelley, of New Mexico State
University. We hope to make the meeting particularly attractive to PhD
students, of whom we would encourage as many as possible to attend.
Contact: Nige Ray nige@ma.man.ac.uk
################################
Special Year on Algebraic Geometry and Topology
Australian Mathematical Sciences Institute
Canberra, ACT, Australia
Webpage: http://wwwmaths.anu.edu.au/events/specialyear-2003/
The year 2003 is a Special Year on Algebraic Geometry and Topology within
the Mathematical Sciences Institute. There will be some major events
during this year, such as conferences, workshops and symposia. However,
the Special Year is also a chance for local, national and international
mathematicians to simply get together.
Organizer: Amnon Neeman Amnon.Neeman@maths.anu.edu.au
################################
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 newsleters, 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
ITEM (3)
>Algebraic and Topological Methods in Non-Classical Logics
>Tbilisi, Georgia, 7 - 11 July 2003
>
>The aim of this conference is to present some recent advances in the use of
>algebraic, order-theoretic, and topological methods in non-classical logics.
>We also hope to bring together researchers 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.
>
>Invited Speakers include Johan van Benthem, Leo Esakia, Mai Gehrke, John
>Harding, Ramon Jansana, Daniele Mundici, Yde Venema, Michael Zakharyaschev,
>Marek Zawadowski.
>
>Program Committee consists of Guram Bezhanishvili, Patrick Morandi,
>Willem Blok,
>Roberto Cignoli, Josep Maria Font, Dick de Jongh, Larisa Maksimova,
>Hiroakira Ono,
>Rohit Parikh, Lazare Zambakhidze.
>
>For further information, see the web site
>http://piscopia.nmsu.edu/morandi/TbilisiConference .
>
ITEM (4)
CONFERENCE ON GROUPS AND MODEL THEORY
University of Leeds, April 11th-12th 2003
Supported by the London Mathematical Society and
the British Logic Colloquium
Organizers: J.K. Truss and H.D.Macpherson
SECOND ANNOUNCEMENT
There will be a two-day meeting at the University of Leeds
from
April 11th to 12th 2003
on
Groups and Model Theory
There will be 8 main lectures, and
four contributed talks from postgraduates.
The speakers will be
Alexandre Borovik (UMIST),
Peter Cameron (Queen Mary, University of London).
Ian Chiswell (Queen Mary, University of London),
Eric Jaligot (Paris),
Katrin Tent (Wuerzburg),
Tristram de Piro (Edinburgh).
Ivan Tomasic (Leeds),
John Wilson (Birmingham),
The first lecture will be at 11 am on April 11th, and the meeting
will end
about tea-time on April 12th.
There will be a registration fee of Ł10.
Some reasonably priced accommodation will be available in Devonshire
Hall, or in
cheap hotels fairly close to the university. Please would those who might
need
accommodation let us know as soon as possible, even if it is only a
provisional
enquiry, so that we can assess the demand. In any case, places at
Devonshire
Hall must be booked at least two weeks in advance.
We are able to offer some support for UK-based research students to
attend from the London Mathematical Society grant.
There will be a display of posters, and current or recent PhD
students are
encouraged to submit posters at the meeting. They should let the
organizers
know beforehand.
Note that the British Mathematical Colloquium will be held
immediately
before this meeting, on April 7th-10th 2003. Details on
http://www.mat.bham.ac.uk/bmc/.
For further details and enquiries, the contact e-mail address is
pmtjkt@leeds.ac.uk.
Provisional schedule
Friday April 11th
10.30 coffee
11.00 Peter Cameron: The countable homogeneous poset.
12.05 Tristram de Piro: Zariski structures and algebraic geometry
1.10 lunch
2.30 Ivan Tomasic: Group configuration for simple theories and some
classical mathematics.
3.40 contributed talk: Herwig Nubling (University of East Anglia):
CM-triviality
4.10 contributed talk: Katie Chicot (Leeds) Countable lower 1-transitive
linear orders.
4.40 tea
5.00 John Wilson: Growth of finitely generated groups.
Saturday April 12th
9.00 Eric Jaligot: Small configurations of simple groups of finite
Morley rank.
10.10 Katrin Tent: Ultrapowers of Lie groups and questions of Margulis
and Gromov
11.20 coffee
11.50 contributed talk: Nick Peatfield (Oxford): Analytic-Zariski
structures
12.20 contributed talk: James Gray (Edinburgh): Coding types inside
Galois groups
1.00 lunch
2.10 lecture: Ian Chiswell: Tree-free groups.
3.20 lecture: Alexandre Borovik: Generic identification theorems for
groups of finite Morley rank
4.30 tea
Lectures will be held in Roger Stevens Lecture Theatre 3, close to the
Mathematics Department.
On Saturday April 12th at 7.30 pm there is a concert in Leeds Town Hall,
given
by the Orchestra of Opera North, conducted by Steven Sloane. The one
work in the programme is Mahler's 3rd symphony. The box office number is
0113 224 3801/2, web page www.leedsconcertseason.com.
ITEM (5)
Subject: LICS 2003 Call for Short Presentations
**************** Submission Deadline is MARCH 21, 2003 *********************
Eighteenth Annual IEEE Symposium on
LOGIC IN COMPUTER SCIENCE
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.
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.
Submissions for these presentations, in the form of short abstracts
(1 or 2 pages long), should be entered by following the
"Instructions for short presentations" link at the LICS 2003 website
http://www.lfcs.informatics.ed.ac.uk/lics/lics03
between March 17th and March 21st, 2003. Authors will be notified of
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
Santa Cruz, CA 95064, USA
Email: kolaitis@cs.ucsc.edu
Phone: + 1 831 459 4768
Fax: + 1 831 459 4829
Program Committee:
Michael Benedikt, Bell Laboratories
Andreas R. Blass, University of Michigan
Maria Luisa Bonet, UPC, Barcelona
Witold 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 of Jerusalem
Ursula Martin, University of St Andrews
Paul-Andre Mellies, CNRS & University of Paris 7
Eugenio Moggi, Universita di Genova
Ugo Montanari, Universita di Pisa
Paliath Narendran, University at Albany SUNY
Luke Ong, University of Oxford & National University of Singapore
Martin Otto, University of Wales Swansea
Frank Pfenning, Carnegie Mellon University
Mirek Truszczynski, University of Kentucky
ITEM (6)
The CRM is organising the Barcelona Conference on Set
Theory from September 16 to the 20, 2003.
You can find information about Registration, Application for financial
support, lodging and more at the following web page:
http://www.crm.es/Activities/Act2003-04/SetTheory/Set-Theory-home.htm.
Do not hesitate to contact us if you need further information.
Sincerely,
The CRM Secretariat
Centre de Recerca Matemŕtica
Apartat 50
08193 Bellaterra
Telčfon: +34 935 811 081
Fax: +34 935 812 202
http://www.crm.es/
ITEM (7)
International Masters Programme in COMPUTATIONAL LOGIC
The Technische Universitaet Dresden is offering a two-year study
programme, in English, leading to a master of science (M.Sc.) in
computer science.
Courses focus on logic and constraint programming, artificial
intelligence, knowledge representation and reasoning, type theory,
model theory, proof theory, equational reasoning, databases,
natural language processing, planning and formal methods, among
others.
The tuition fees are waived. At the end of the programme a
research master thesis has to be prepared.
Prerequisites are a good knowledge of the basics of logic, and
familiarity with mathematical reasoning. Knowledge of foundations
of artificial intelligence and logic programming is desirable. It
is indispensable being fluent in English; German is not necessary
at all, but there are facilities for studying it if desired. A
bachelor in Computer Science, or equivalent degree, is required by
the beginning of courses, in October 2003.
Dresden, on the river Elbe, is one of the most important art
cities of Germany. The economy is growing rapidly and Dresden is
a top high-tech centre. AMD built the most modern chip factory in
Europe, Infineon Technologies, Siemens and many other companies
invest here. The possibilities of getting a job after the master
are excellent. The University is very well equipped and the
teachers/students ratio is close to 1. International contacts
make it easy for interested students to continue pursuing a career
in research.
Deadline for applications is June 15, 2003, but applications are
processed as they come. To apply, please send all the relevant
documents by post to the address below. Further information is on
the web at
Minutes of Committee Meeting on 8
January 2003
Page maintained by E.Ritter@cs.bham.ac.uk