BLC Newsletter October 2003

Minutes of the Annual General Meeting 2003 in St Andrews


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 Scott 
    Helmut 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




Home Index

+++++++++++++++++++++++++++

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

Last modified: Tue Jan 20 11:50:23 GMT 2004