BLC Newsletter February 2005

BRITISH LOGIC COLLOQUIUM
Registered Charity No 275541

http://www.cs.bham.ac.uk/~exr/blc

President           Professor J B Paris FBA [Manchester]
Vice-President      Professor J M E Hyland [Cambridge]
Acting Treasurer    Dr R Dyckhoff [St Andrews]
Treasurer Elect     Professor D Macpherson [Leeds]
Secretary           Dr M Dzamonja [East Anglia]
                     Dr N Alechina [Nottingham]
                     Dr E Ritter [Birmingham]
                     Professor T Williamson FBA FRSE [Oxford]

---------------------------------------------------------
Dear members,

I am sorry that this newsletter was so slow in reaching you!
January was a very busy time for the Committee, we had our annual
meeting. Its preparation involves quite a lot of work from
everybody and in particular the Secretary with her paperwork.
My enthusiasm for creating more BLC-related documents must have had
a slight drop after that, and before we know it, here we are already
in February still waiting for out first 2005 newsletter. Here it
comes in its double-issue glory.
    Minutes from the Committee meeting will be reaching you soon, as=20
will the annual report of the committee. In the meantime, here are various=
=20
announcements:

(0) Cambridge Set Theory Days, March 8, 2005

(1) Progic 2005 conference, July 2005

(2) IEE Workshop on Agent Applications, May 2005

(3) MODNET Network announcement

(4) MODNET positions starting in 2005 - see the attached poster

(5) Leeds logic seminar schedule

(6) Conference on the book, September 2005

(7) Special Programme on Logic and Algorithms, Newton Institute

(8) Research position at Rovire i Virgili University (Spain)

(9) CITA 2005, July 2005

(10) E.W. Beth Disertation Prize

(11) Logic in Hungary, August 2005

(12) Marie Curie Ph.D. Scheme, Mathlogaps

(13) LICS Newsletter 97


    Best wishes to all, Mirna.

--------------------------------------------------------------------
--------------------------------------------------------------------

(0)

  The next meeting of the Cambridge Set Theory Days (Cameleon)
is on tuesday 8th March.

Venue: Centre for Mathematical Sciences, Wilberforce Road, Cambridge.

Speakers: David Aspero, Marcel Crabbe, Stephen Geschke, Thierry Libert

We have booked Meeting Room 10 from 0900 to 1300
and Meeting Room 4 from 1300 to 1730. After that there will be drinks
and nibbles in a venue yet to be determined but probably the Octagon room
in St Edmund's.

more info on http://www.dpmms.cam.ac.uk/~tf/febmeeting.html

(1)


Progic2005: second workshop on Combining Probability and Logic
special focus: Objective Bayesianism

Centre for Philosophy of Natural and Social Science, London School of
Economics, 6th-8th July 2005

http://personal.lse.ac.uk/willia11/progic2005/

You are invited to submit a paper for presentation at the workshop and
publication in a special issue of the Journal of Logic, Language and
Computation.


There is a clear connection between probability and logic: both appear to
tell us how we should reason. But how, exactly, are the two concepts
related? Objective Bayesianism offers one answer to this question. Accordin=
g
to objective Bayesianism, probability generalises deductive logic: deductiv=
e
logic tells us which conclusions are certain, given a set of premises, whil=
e
probability tells us the extent to which one should believe a conclusion,
given the premises (certain conclusions being awarded full degree of
belief). According to objective Bayesianism, the premises objectively (i.e.
uniquely) determine the degree to which one should believe a conclusion.

The aim of this workshop is to explore the connections between probability
and logic, and in particular to evaluate aspects of the connection forged b=
y
objective Bayesianism. The workshop is intended to be interdisciplinary: th=
e
themes of the workshop are relevant to mathematicians, logicians,
philosophers, computer scientists, psychologists and engineers, for example=
=2E

Further details:
http://personal.lse.ac.uk/willia11/progic2005/

(2)


Subject: IEE Workshop on Agent Applications


Dear Colleague,



The IEE is organising a one day workshop on applications of  "Agent
Technologies in Autonomous Control Systems" on the 10th May 2005 at
Southampton University. The target applications are AUVs, UAVs,
  satellites, autonomous control systems of machines, appliances,
vehicles, etc. and also autonomous control of utility networks such
as water, sewage and power, etc.



The plan is to have 5-6 talks both in the morning and in the
afternoon sessions with a broad coverage of recent achievements that
industrial delegates can find interesting. The objective is to
provide a forum where people who develop agent based methods can meet
with colleagues with an interest to apply these methods in specific
problems.



The morning session will be devoted to methods of agent based control
of machines with sensors, actuators, short and long term performance
goals. The afternoon session will be devoted to applications
examples. There will be opportunity to exhibit software that
delegates can look at in coffee breaks.



If you are interested to come along and provide a talk of about 30
minutes then please send me a title and a max 200 words abstract as
soon possible, most of the programme is going to be filled in on a
first come first serve basis.



Regards,

Sandor M Veres

IEE Control & Automation PN


(3)


European Research Training Network in Model Theory and Applications:=20
MODNET is a project funded by the European Commission and designed to=20
promote training and research in model theory. From January 2005=20
until December 2008, it will fund a network of PhD and postdoctoral=20
positions across Europe, as well as numerous workshops and meetings=20
on model theory and its applications. Six PhD positions and 3=20
postdoctoral positions are available to start in 2005. Further=20
information can be found on the website=20
http://www.logique.jussieu.fr/modnet/   .

(4) For the Marie Curie Research and Training Network in Model Theory
and Applications, see below.

(5)





                            UNIVERSITY OF LEEDS
                       Department of Pure Mathematics
                         MATHEMATICAL LOGIC SEMINAR
                               Spring term 2005

January 26th Richard Elwes (Leeds)
      Asymptotic classes of finite structures

February 9th Olivier Lessmann (Oxford)
      Uncountable categoricity for tame abstract classes with amalgamation

February 16th Garth Dales (Leeds)
      How to multiply ultrafilters on semigroups.

March 2nd Charles Harris (Leeds)
      Lambda Calculus and Enumeration Reducibility

  9th Arnold Beckmann (Swansea)
      The computational content of dynamic ordinals

The lectures will be held on Wednesday at 4 pm in room H, Mathematics
building. Tea at 3.30 pm.

                           J. K. Truss


Details on the web page at http://www.amsta.leeds.ac.uk/pure/logic/seminar.=
html

(6)



Dear Colleague,

The Oxford International Centre for Publishing Studies is delighted to anno=
unce:

THE THIRD INTERNATIONAL CONFERENCE ON THE BOOK
Oxford Brookes University, 11-13 September 2005
http://www.Book-Conference.com

The conference will address a range of critically important themes relating=
 to the book - including the past, present and future of publishing, librar=
ies, literacy and learning in the information society. Main speakers will i=
nclude some of the world's leading thinkers and innovators in the areas of =
publishing, editing, librarianship, printing, authorship and information te=
chnologies, as well as numerous presentations by researchers and practition=
ers. Publishers, librarians, academics, teachers, authors and associated pr=
ofessionals are all welcome to attend. For further information, please visi=
t the conference website, or reply to the above email address.

For those wishing to submit a proposal to the conference call-for-papers, 3=
0 minute paper, 60 minute workshop and 90 minute colloquium sessions are av=
ailable. The deadline for the first round call for papers is 17 February 20=
05. Visit the conference website for the closing dates of subsequent rounds=
=2E

Those choosing to submit a paper will be included in the fully peer-referee=
d International Journal of the Book, published in print and electronic form=
ats. For those unable to attend the conference in person, virtual registrat=
ions are available. These provide access to the online edition of the confe=
rence proceedings. Virtual participants can also submit papers for refereei=
ng and publication in the International Journal of the Book.

Full details of the conference, including an online call for papers form, a=
re to be found at the conference website.

We do hope you will be able to join us in Oxford in September 2005.

Yours Sincerely,

Angus Phillips
Oxford International Centre for Publishing Studies
Oxford Brookes University
Oxford, United Kingdom

(7)



The Isaac Newton Institute for Mathematical Science in Cambridge, UK=20
(http://www.newton.cam.ac.uk/) will hold a Special Programme
on Logic and Algorithms (LAA) during the first half of 2006.=20
A brief statement on the programme's focus areas can be seen at
http://www.newton.cam.ac.uk/programmes/LAA/. For a list of
workshops, see http://www.newton.cam.ac.uk/programmes/LAA/ws.html.

To receive further announcements on LAA events, see instructions at
http://www.newton.cam.ac.uk/programmes/LAA/list.html.

Anuj Dawar and Moshe Y. Vardi


(8)


A few research positions may be available starting in the interval
November 2005 - October 2006 in the Research Group on Mathematical
Linguistics at Rovira i Virgili University (Tarragona, Spain).

The web site of the group (the host institute) is:

http://www.grlmc.com or
http://pizarro.fll.urv.es/continguts/linguistica/proyecto/grlmc.htm

ELIGIBLE TOPICS

The eligible topics are the group's current or future research
directions:

- Formal language theory and its applications.
- Bioinformatics.
- Biomolecular computing and nanotechnology.
- Language and speech technologies.
- Formal theories of language acquisition.
- Computational neuroscience.

Other related fields might still be eligible provided there
exist strong enough candidates for them.

JOB PROFILE

- The positions are intended to develop an advanced training +
research project in collaboration with the host institute during
12-24 months.
- They will be filled in under the form of either a work contract or
a scholarship.
- There is no restriction on the candidate's age.
- Though there is no particular preference, candidates in the first
decade of their research career are encouraged to apply.

ELIGIBILITY CONDITIONS

- Having at least 4 years of postgraduate research experience or
having got a PhD degree by October 16, 2005 at the latest.
- Being national of one of the 25 European Union member states or of
one of the 4 European Union associated candidate states (Bulgaria,
Croatia, Romania, Turkey) or of one of the 5 European Union
associated states (Iceland, Israel, Liechtenstein, Norway,
Switzerland), who has not resided and carried out her/his main
activity in Spain for more than 12 months in the last 3 years
(reference date: February 16, 2005).
- Spaniards are ineligible unless they have resided and carried out
their main activity in a third country for at least 4 of the last 5
years (reference date: February 16, 2005).

ECONOMIC CONDITIONS

- They include: a generous monthly salary depending on the
researcher's experience, family situation, and sort of project (lab
or non-lab), plus a travel and mobility grant, and a health
insurance.
- Candidates from developing countries or emerging/transition
economies will be eligible later for a reintegration grant in their
home country for half the time they spent in Spain.

EVALUATION PROCEDURE

It will consist of 2 stages:

- a pre-selection based on CV and carried out by the host institute,
- a proposal, to be evaluated by the funding agency.

SCHEDULE

Expressions of interest are welcome until January 30, 2005. They
should include the researcher's full CV and mention "2005-3" in the
subject box. The outcome of the preselection will be reported
immediately after. For the preselected candidates, the deadline for
the submission of the proposal will be February 16, 2005. Directions,
advice and support will be given to them by the host institute.

CONTACT

Carlos Martin-Vide
carlos.martin@urv.net

(9)




         THE 6TH IBEROAMERICAN CONFERENCE ON TOPOLOGY
               AND ITS APPLICATIONS  (CITA-2005)
                        PUEBLA, MEXICO
                        July 4-7, 2005
                      (2nd ANNOUNCEMENT)


You are  cordially invited to  attend the 6th edition of the
biennial  Iberoamerican  Conference  on  Topology  and   its
Applications (CITA)  wich will be  held from 4-th to 7-th of
July 2005  in the city of Puebla, a  colonial town about 130
km (80 miles) to the  eas  t from Mexico City. The  previous
Iberoamerican  Congresses  were held  in  Benicassim,  Spain
(1995),  Morelia,  Mexico  (1997),  Gandia,  Spain   (1999),
Coimbra,  Portugal  (2001), and Lorca, Spain (2003). One  of
the objectives of  the Iberoamerican Congresses is to bring
together, once in every two years, Iberoamerican topologists
and prominent topologists  from  other regions of the world.
The Congress will  consist  of 14 invited talks, contributed
talks of 25 minutes  in  parallel sessions and two workshops
given by

Alan Dow, University of North  Carolina,  and

Jan van Mill, Vrije Universiteit Amsterdam


************************************************************

The following PLENARY SPEAKERS have accepted invitation:

JOAN BAGARIA
(ICREA, Barcelona)

CARLOS BROTO
(Universidad Autonoma de Barcelona)

ADALBERTO  GARCIA-MAYNEZ
(Universidad Nacional Autonoma de Mexico)

SALVADOR HERNANDEZ
(Universidad Jaume I)

PIOTR KOSZMIDER
(Universidad de Sao Paulo)

SERGIO MACIAS
(Universidad Nacional Autonoma de Mexico)

FRANCISCO MONTALVO
(Universidad de Extremadura)

SAM NADLER, JR.
(West Virginia University)

VLADIMIR PESTOV
(Ottawa University)

JOSE SANJURJO
(Universidad Complutense de Madrid)

EVGENY SHCHEPIN
(Steklov Institute of Mathematics)

*************************************************

The  proceedings  of  the  Conference will be  published  in
Topology and its Applications.

*************************************************

THE ORGANIZING COMMITTEE includes:

Angel Tamariz (Chairman) (UNAM)
Sergey Antonyan (UNAM)
Fidel Casarrubias (UNAM)
Agustin Contreras (BUAP)
Manuel Ibarra (BUAP)
Isabel Puga (UNAM)
Vladimir Tkachuk (UAM)

THE LOCAL ORGANIZING COMMITTEE IN PUEBLA includes:

Juan Angoa (BUAP)
Agustin Contreras (BUAP)
David Herrera (BUAP)
Manuel Ibarra (BUAP)
Maria de Jesus Lopez (BUAP)
Armando Martinez (BUAP)
Celestino Soriano (BUAP)

******************************************************

THE SCIENTIFIC COMMITTE OF CITA-2005

OFELIA ALAS
(University of  Sao Paulo, Brasil)

MARIA MANUEL CLEMENTINO
(University of Coimbra, Portugal)

FRANCISCO BALIBREA
(University of Murcia, Spain)

JOSE LUIS BLASCO
(University of Valencia, Spain)

ALEJANDRO ILLANES
(National Autonomous University of Mexico)

RICHARD WILSON
(Metropolitan Autonomous University of Mexico)

*****************************************************


THE SPECIAL SESSIONS ORGANIZERS are

SET-THEORETIC TOPOLOGY:
Michael Hrusak (UNAM)

TOPOLOGICAL  AND  ALGEBRAIC  STRUCTURES:
Mikhail Tkachenko (UAM)

GENERAL TOPOLOGY:
Manuel   Sanchis    (University    Jaume    I)   and   Angel
Tamariz-Mascarua (UNAM)

GEOMETRIC  TOPOLOGY:
Sergey Antonyan  (UNAM)  and  Tadeusz Dobrowolski (Pittsburg
State University)

ALGEBRAIC TOPOLOGY:
Jacob Mostovoy (UNAM)

KNOT THEORY:
Max Neumann (UNAM)

CONTINUUM THEORY:
Raul Escobedo (BUAP) (This session will be
dedicated to J.J. Charatonik)

****************************************************

TOPICS

All   areas   of  topology-related   mathematics  especially
general/set theoretic topology,  continuum theory, geometric
topology, topological dynamics and applications of  topology
to  other  areas  of  mathematics and the sciences  will  be
covered.

****************************************************

PUEBLA


The City of Puebla is located about 130 km (80 miles) to the
east from Mexico City and it  is the capital of the State of
the same  name. It lies at an altitude  of 1800 meters (6000
feet)  above the  sea  level. Its climate  is  mild and  the
average temperature in summer is about 27C (80F). Puebla was
founded in 1531; its downtown boasts a beautiful ensemble of
religious  and   civil   buildings   in  the  Baroque  style
pertaining to 17-19  centuries.  In 1987 UNESCO declared the
downtown of Puebla  Cultural  Heritage of the Humankind. The
State  of  Puebla   is   known  for  its  textile  industry,
craftsmanship  and  food. There  are  several  arqueological
sites of prehispanic  cultures. There are many places in the
City   where   the   beautiful  volcanos  Popocatepetl   and
Iztaccihuatl can be watched. For more information on Puebla,
the City and State, see the web-page www.puebla.com.mx

****************************************************

TRAVELING TO PUEBLA

There is a bus service from  the  International  Airport  of
Mexico City  to the Bus Terminal of the  city of Puebla. The
buses of this servise depart hourly from 6:00 until 23:00.

****************************************************

THE WEB SITE AND THE ELECTRONICAL ADDRESSES OF CITA-2005

Conference web page:  http://docencia.izt.uam.mx/cita

If you have any  questions  or suggestions, please send them
to the Organizing Committee to any of the following e-mails:

cita@xanum.uam.mx
cita6-2005@lya.fciencias.unam.mx
cita2005@fcfm.buap.mx

*******************************************************

The 6th Iberoamerican Congress will be sponsored by:

BENEMERITA UNIVERSIDAD AUTONOMA DE PUEBLA

CONSEJO NACIONAL DE CIENCIA Y TECNOLOGIA

SOCIEDAD MATEMATICA MEXICANA

UNIVERSIDAD AUTONOMA METROPOLITANA:
Division de Ciencias Basicas e Ingenieria and
Departamento de Matematicas.

UNIVERSIDAD NACIONAL AUTONOMA DE MEXICO:
Coordinacion  de  la  Investigacion Cientifica, Facultad  de
Ciencias and Instituto de Matematicas

(10)

>
>E. W. Beth Dissertation Prize: call for submissions.
>
>Since 2002, FoLLI (the European Association for Logic, Language, and
>Information, www.folli.org) awards the E. W. Beth Dissertation Prize to
>outstanding dissertations in the fields of Logic, Language, and
>Information. Submissions are invited for 2004. The prize will be awarded
>to the best dissertation which resulted in a Ph.D. in the year 2004. The
>dissertations will be judged on the impact they made in their respective
>fields, breadth and originality of the work, and also on the
>interdisciplinarity of the work. Ideally the winning dissertation will be
>of interest to researchers in all three fields.
>
>Who qualifies: Those who were awarded a Ph.D. degree in the areas of
>Logic, Language, or Information between January 1st, 2004 and December
>31st, 2004. There is no restriction on the nationality of the candidate
>or the university where the Ph.D. was granted. However, after a careful
>consideration, FoLLI has decided to accept only dissertations written in
>English.
>
>Prize: The prize consists of
>
>=B7 a certificate
>=B7 an invitation to present the thesis during ESSLLI 05
>=B7 a donation of 2500 euros provided by the E. W. Beth Foundation.
>=B7 fee waive for ESSLLI 05 attendance
>=B7 the possibility to publish the thesis (or a revised version of it)
>   in the new series of books in Logic, Language and Information to be
>   published by Springer-Verlag as part of LNCS or LNCS/LNAI. (Further
>   information on this series will be posted on the FoLLI site soon.)
>
>How to submit: We only accept electronic submissions. The following
>documents are required:
>
>    1. the thesis in pdf or ps format (doc/rtf not accepted);
>    2. a ten page abstract of the dissertation in ascii or pdf format;
>    3. a letter of nomination from the thesis supervisor. Self-nominations
>       are not admitted: each nomination must be sponsored by the thesis
>       supervisor. The letter of nomination should concisely describe the
>       scope and significance of the dissertation and state when the
>       degree was officially awarded;
>    4. two additional letters of support, including at least one letter
>       from a referee not affiliated with the academic institution that
>       awarded the Ph.D. degree.
>
>All documents must be submitted electronically to
>beth_award@dimi.uniud.it. Hard copy submissions are not admitted.
>
>If you experience any problems with the email submission or do not receive
>a notification from us within three working days, please write to
>policriti@dimi.uniud.it or folli@inf.unibz.it
>
>     * Important dates:
>       Deadline for Submissions: March 15, 2005.
>       Notification of Decision: June 30, 2005.
>
>The prize will be officially assigned to the winner at ESSLLI'05
>(http://www.macs.hw.ac.uk/esslli05/), the 17th European Summer School in
>Logic, Language, and Information, to be held in Edinburgh, Scotland,
>August 9-19, 2005. Prize winner will be expected to attend the ceremony
>and to give a presentation of her/his Ph.D. dissertation at ESSLLI?05.
>
>Committee
>
>=B7 Anne Abeill=E9 (Universit=E9 Paris 7)
>=B7 Johan van Benthem (University of Amsterdam)
>=B7 Veronica Dahl (Simon Fraser University)
>=B7 Nissim Francez (The Technion, Haifa)
>=B7 Valentin Goranko (University of Johannesburg)
>=B7 Alessandro Lenci (University of Pisa)
>=B7 Ewa Orlowska (Institute of Telecommunications, Poland)
>=B7 Gerald Penn (University of Toronto)
>=B7 Alberto Policriti (chair) (Universit=E0 di Udine)
>=B7 Christian Retor=E9 (Universit=E9 Bordeaux 1 )
>=B7 Rob van der Sandt (University of Nijmegen)
>=B7 Wolfgang Thomas (RWTH Aachen)

(11)




                      S E C O N D   A N N O U N C E M E N T

                             Logic In Hungary, 2005
                           Budapest, August 5-11, 2005


We take great pleasure in announcing that the Janos Bolyai Mathematical Soc=
iety
is organizing a conference on mathematical logic.

In this announcement we provide information about invited speakers, contrib=
uted
talks, abstract submission, registration, conference venue, travel grants,
accommodation, and meals. Further information will be posted on the homepag=
e
of the conference:

                 http://www.renyi.hu/lh05

as it becomes available. We suggest you to check it regularly.

INVITED SPEAKERS
      The following invited speakers have already indicated their intention=
 to
      participate at our conference. (We list them according to subjects,
      but there is a considerable overlap between the subjects; in fact,
      several invited speakers intend to stress their unity.)

           Set Theory:
              S. Friedman,    Kurt Goedel Research Center for
                              Mathematical Logic, Vienna
              M. Foreman,     University of California, Irvine,
              M. Gitik,       Tel Aviv University,
              T. Jech,        Mathematical Institute of the Academy of
                              Sciences, Czech Republic,
              P. Koepke,      Rheinische Friedrich-Wilhelms Universitaet,
                              Bonn
              K. Kunen,       University of Wisconsin (tentative),
              N. Sauer,       University of Calgary,
              S. Todorcevic,  CNRS, Paris and University of Toronto,

           Foundations of Space-Time:
              N. Belnap,      University of Pittsburgh,
              G. David,       Eotvos University, Budapest,
              J. Earman,      University of Pittsburgh,
              H. Friedman,    Ohio State University,
              M. Hogarth,     Cambridge University, UK,
              V. Pambuccian,  Arizona State University West,
              P. Suppes,      Stanford University,
              C. Wuthrich,    University of Pittsburgh,

           Algebraic Logic:
              J. van Benthem, University of Amsterdam (tentative),
              J. Hintikka,    Boston University (tentative),
              R. Hirsch,      University College, London tentative,
              I. Hodkinson,   Imperial College, London,
              M. Makkai,      McGill University, Montreal,
              D. Monk,        University of Colorado, Boulder.


CONTRIBUTED TALKS

    The official language of the conference is English. Each contributed ta=
lk
    has a 20-minutes time slot. Every lecture room has an overhead projecto=
r
    and a data projector with a computer. You can also bring your laptop an=
d
    attach it to the data projector. Please, take into consideration
    however, that there are no blackboards in the lecture rooms. If you wis=
h
    to present a contributed talk, please submit the abstract of your talk
    following the procedure described in the next point.

ABSTRACT SUBMISSION

    Abstarcts of contributed talks should be submitted via the homepage of
    the conference

                    http://www.renyi.hu/lh05

    Please submit your abstract as a standard Tex or LaTex file without usi=
ng
    any specific package or macro. We can accept plain text files as well, =
but
    no Word documents (for example, doc or rtf files).

    The abstract should not be longer than one printed page.

REGISTRATION

    You may register on-line, using the homepage of the conference

              http://www.renyi.hu/lh05

    If you already (pre)registered but want to change any data then please
    simply register once again.

    The Registration Fee is
             160 EUR if paid before MAY 31, 2005 and
             200 EUR if paid thereafter.

    It covers all conference material (abstracts, program, etc.), the
    conference dinner, and service during the coffee breaks. Accompanying
    persons who wish to attend the conference dinner should also register.

    The Registration Fee for an accompanying person is 50 EUR. It covers
    the conference dinner and service during the coffee breaks.

    The registration fee does not include any kind of insurance. It is stro=
ngly
    recommended, that you take an insurance policy of your choice when you =
book
    your travel.

    Weakly tickets for all public transportation in Budapest can also be
    ordered when registering on our homepage. The price of it is 13 EUR.

    The registration fee should be paid by mailing a BANK CHECK (NOT a
    personal check!), made out to the J. Bolyai Math. Soc., to the address

            Janos Bolyai Mathematical Society
            Budapest
            Fo u. 68
            1027
            HUNGARY

    with the designation "Peter-Kalmar conference". Cancellations will be
    accepted if made before July 20, 2005. Before this date we reimburse
    the registration fee reduced with our administrative costs. After July
    20, 2005 no payment can be reimbursed.

    If you need a letter of invitation (e. g. to get a visa),
    please write  to the Bolyai Society (bjmt@renyi.hu).

CONFERENCE DATE AND VENUE

    The conference will be held between August 5-10 (the recommended
    arrival date is August 4, the recommended departure date is August 11).

    The conference will take place at the Corvinus University of Budapest,
    Faculty of Public Administration. The address is:

         5 M=E9nesi =FAt, Budapest, 11th district.

    It is a nice, quiet location on a hill (Gell=E9rt hill) that is at the
    same time within walking distance from the river Danube and the city
    center. For more about the location of the confer please visit our
    homepage.

TRAVEL GRANTS

    As a sponsor of the conference, the ASL (Association for Symbolic Logic=
)
    provides grants (partially) covering the expenses of Ph.D. students and
    young researchers who are members of the ASL. Applications for such a
    support should be submitted directly to the ASL. More information can b=
e
    found at

                  http://www.aslonline.org

ACCOMMODATION

    We reserved a block of dormitory rooms at the conference site. It is
    possible to extend your stay in these rooms by arriving a few days
    before and/or departing a few days after the conference.

    Each room contains two separate beds and two rooms form a unit having
    a common bathroom. The rooms are definitely of better quality than
    usual dormitory rooms or usual student hostel rooms. The prices per
    person (for one night) are as follows:

        Room with double occupacy:       15 EUR  (breakfast included),
        Room with single occupacy:       25 EUR  (breakfast included).

    The price should be paid upon arrival (no deposit is needed).
    In addition, the dormitory has two studio apartments (one with four
    beds, another with five beds) that are suitable for families. If you
    are interested in these, for further details please e-mail to
    lh05@renyi.hu

    Availability of the dormitory rooms is limited,  their reservation
    will proceed on a 'first-come first-served' basis. If you wish to
    reserve such a room then please fill in the related form in the
    homepage of the conference at

                  http://www.renyi.hu/lh05

    This is necessary even if you have already registered.

    If you wish to have a different accommodation then please make your
    own reservation directly. We may provide you some help in this if
    you send us an e-mail to lh05@renyi.hu describing your preferences.

MEALS

    During the conference there is a possibility to have lunch at the
    conference site. The price of a 3-course self served lunch is EUR 6,
    that should be paid upon registration. Please indicate on the (on-line)
    registration form if you wish to order this lunch service.

    No dinner will be served on the spot. We will provide a list of nearby
    restaurants.

DEADLINES

    The deadline of abstract submission is                  May 31, 2005.
    The deadline for paying the early registration fee is   May 31, 2005.
    The deadline for reserving a room at the hostel is      May 31, 2005.

    Cancellations should be announced before:               July 20, 2005.

SPONSORS

     Our conference is being sponsored by the

         Janos Bolyai Mathematical Society,
         Association for Symbolic Logic,
         Alfred Renyi Institute of Mathematics and the
         Hungarian Academy of Sciences.


GENERAL INFORMATION

     Hungary is located at the central part of Europe and it is a member of
     the European Union. Citizens of some countries outside Europe need a
     visa for entry to Hungary. Applications for visa should be made in
     your home country at least three months before the intended date of
     travel. Please check if you need a visa and make sure that you have
     it if you have to have it. If you do not fly directly to Hungary then
     please note that you may need a transit visa for some other countries
     in order to continue your travel.

     Hungary is on Central European Time (CET). Like most states in Europe,
     summer daylight-saving time is observed, i. e. the time is shifted
     forward by one hour; 2 hours ahead of Greenwich Mean Time (GMT+2).

     More and updated information about, for example, public transportation=
,
     weather forecast, currency exchange rates, etc. will be posted at the
     homepage of the conferece

                      http://www.renyi.hu/lh05

     Please check it regularly.


Please accept our apologies if you received this e-mail more than once.

We are looking forward to seeing you in Budapest.
On behalf of the organizing committee,

                                                     Gabor Sagi
                                       secretary of the organizing committe=
e

(12)


   Reminder:  Funding for PhD studentships and short term visit by PhD stud=
ents
   in Logic

   There is a Marie Curie Early Stage Training scheme  in Mathematical Logi=
c
and Applications (MATHLOGAPS), linking Leeds, Manchester, Munich, Lyon 1, a=
nd=20
Lyon Ecole Normale Superieure. Funding is available at all of these places =
for=20
Logic PhD students from elsewhere to pay short-term visits (for at least 3=
=20
months). There is also funding available for 36 month Logic PhD studentship=
s at=20
all the above places (except possibly Lyon ENS). A student requiring 36 mon=
ths=20
of funding must start by 1 September 2005. There are Marie Curie eligibilit=
y=20
restrictions based on mobility, nationality, and experience.

For more information, see www.maths.man.ac.uk/logic/mathlogaps
or contact Dugald Macpherson (h.d.macpherson@leeds.ac.uk)

(13)



*******************************************************************=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
   http://www.lfcs.informatics.ed.ac.uk/lics/newsletters/inst.html
*******************************************************************


TABLE OF CONTENTS
* CONFERENCES AND WORKSHOPS
   ETAPS 2005 - Call for Participation
   CMSB 2005 - Call for Participation
   CSL '05 - Call for Papers
   CONCUR 2005 - Call for Papers
   Algebraic and Topological Methods in Non-classical Logics II - Call
     for Papers
   IMLA'05 - Call for Papers
   LCC '05 - Call for Papers
   SEFM 2005 - Call for Papers
   TABLEAUX 2005 - Call for Papers and Tutorials
   FCS'05 - Call for Papers
   MTCoord 2005 - Call for Papers
   CoOrg 2005 - Call for Papers
   ESORICS 2005 - Call for Papers
   LOPSTR'05 - Call for Papers
   ARSPA'05 - Call for Papers
   ASIS 2005 - Call for Papers
* POSTGRADUATE
   Funded Visitorships for Logic PhD Students
   17th International School for Computer Science, Lipari
   Summer School on Logic-based Knowledge Representation, Dresden
* PRIZES
   ACKERMANN AWARD - Second call for Submissions
* VACANCIES
   Postdoctoral Position in Coordination Languages and Web Services,
     University of Namur, Belgium


EUROPEAN JOINT CONFERENCES ON THEORY AND PRACTICE OF SOFTWARE (ETAPS 2005)
   Call for Participation
   Edinburgh, 2nd - 10th April 2005.
   http://www.etaps05.inf.ed.ac.uk
* 5 Conferences, 16 Satellite Workshops, 4 Tutorials, Tool Demonstrations
* Main conferences are: Foundations of Software Science and
   Computation Structures (FOSSACS), Fundamental Approaches to Software
   Engineering (FASE), European Symposium on Programming (ESOP),
   International Conference on Compiler Construction (CC), and Tools
   and Algorithms for the Construction and Analysis of Systems (TACAS).
* Invited speakers: Gerard Berry, Marcelo Fiore, Thomas Henzinger,
   Ken McMillan, Ugo Montanari, Andrew Myers, Andreas Zeller.
* Online registration and accommodation details at
   http://www.etaps05.inf.ed.ac.uk
   Ordinary registration until 7th March, late registration fee after then.
* Organising chair: Don Sannella.  Contact: etaps05@inf.ed.ac.uk


COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY 2005 (CMSB 2005)
   3-5 April, Edinburgh, UK
   Call for Participation
   http://homepages.inf.ed.ac.uk/v1bklin/cmsb05/
* Invited Speakers:
     Hamid Bolouri, Institute for Systems Biology, Seattle (US)
     Drew Endy, MIT Biological Engineering (US)
     Stephen Muggleton, Imperial College (UK)
     Vincent Schachter, Genoscope, Evry (FR)
     Christophe Soule, Centre National de la Recherche Scientifique,
       Institut des Hautes etudes Scientifiques (FR)
* For full programme see webpage


COMPUTER SCIENCE LOGIC (CSL'05)
   22-25 August 2005
   Oxford, UK
   http://web.comlab.ox.ac.uk/oucl/conferences/CSL05/
   Call for Papers
* Computer Science Logic (CSL) is the annual conference of the European
   Association for Computer Science Logic (EACSL). The conference is
   intended for computer scientists whose research activities involve logic=
,
   as well as for logicians working on issues significant for computer scie=
nce.
* Suggested topics of interest include: automated deduction and
   interactive theorem proving, constructive mathematics and type theory,
   equational logic and term rewriting, modal and temporal logic,
   model checking, logical aspects of computational complexity, finite
   model theory, computational proof theory, logic programming and
   constraints, lambda calculus and combinatory logic, categorical logic
   and topological semantics, domain theory, database theory, specification=
,
   extraction and transformation of programs, logical foundations of
   programming paradigms, linear logic, higher-order logic.
* Invited speakers: Matthias Baaz (U. of Technology, Vienna), Ulrich Berger
   (U. of Wales, Swansea), Maarten Marx (U. of Amsterdam), Anatol Slissenko
   (Universite Paris 12)
* Submissions: the proceedings will be published in the Springer Lecture
   Notes in Computer Science.
   Deadline for abstracts  25 March, 2005
   Deadline for papers  1 April, 2005
* The EACSL Board has decided to launch the Ackermann Award: The EACSL
   Outstanding Dissertation Award for Logic in Computer Science. The first
   awards will be presented to the recipients at CSL'05. Further details of
   the Award can be found at http://www.dimi.uniud.it/~eacsl/award.html
* Programme Committee: Albert Atserias (Barcelona), David Basin (Zurich),
   Martin Escardo (Birmingham), Martin Grohe (Berlin), Ryu Hasegawa (Tokyo)=
,
   Martin Hofmann (Munich), Ulrich Kohlenbach (Darmstadt), Orna Kupferman
   (Jerusalem), Paul-Andre Mellies (Paris), Aart Middeldorp (Innsbruck),
   Dale Miller (Palaiseau), Damian Niwinski (Warsaw), Peter O'Hearn (London=
),
   Luke Ong (Oxford, Chair), Alexander Rabinovich (Tel Aviv), Thomas Schwen=
tick
   (Marburg), Alex Simpson (Edinburgh), Nicolai Vorobjov (Bath), Andrei Vor=
onkov
   (Manchester).


16TH INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY (CONCUR 2005)
   San Francisco, CA, USA,
   August 23-26, 2005
   Call for Papers
   http://www.soe.ucsc.edu/concur05/
* CONCUR 2005, the 16th International Conference on Concurrency Theory,
   will take place in San Francisco, California, on August 23-26, 2005.
   Eleven workshops will be held in affiliation with CONCUR 2005.
* Short Abstract Submission:     March 28, 2005
   Extended Abstract Submission:  April  1, 2005
* For more information see webpage


ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS II
   Barcelona, 15-18 June 2005
   Call for Papers
   http://www.mat.ub.es/~logica/meeting2005/
* In recent years the interest in non-classical logics has been
   growing. We aim to bring together researchers from various fields of
   non-classical logics and applications, as well as from lattice theory,
   universal algebra, category theory and general topology, in order to
   foster collaboration and further research.  The featured areas include,
   but are not limited to, the following:  Algebraic logic, Coalgebraic
   semantics, Categorical semantics in general, Dynamic logic and dynamic
   algebras, Fuzzy and many-valued logics, Lattices with operators, Modal
   logics, Ordered topological spaces, Ordered algebraic structures,
   Residuated structures, Substructural logics and Topological semantics
   of modal logic.
* Deadlines:
   Submission of contributed papers: 30 March 2005
   Acceptation of contributed papers: 30 April 2005
   Travel grant applications: 30 March 2005
* Programme committe:
   Leo Esakia, Georgian Academy of Sciences
   Mai Gehrke, New Mexico State University
   Petr Hajek, Czech Academy of Sciences
   Ramon Jansana, Universitat de Barcelona
   Hiroakira Ono, Japan Advanced Institute for Science
     and Technology (chair)
   Constantine Tsinakis, Vanderbilt University
   Yde Venema, Universiteit van Amsterdam
   Michael Zacharyaschev, King's College London
* For more details see webpage


THIRD INTERNATIONAL WORKSHOP ON INTUITIONISTIC MODAL LOGIC AND=20
APPLICATIONS (IMLA'05)
   Chicago, Illinois, June 30, 2005
   A LICS'05 affiliated workshop
   http://www.cs.cmu.edu/~fp/imla05/
   Call for Papers
* Constructive modal logics and type theories are of increasing
   foundational and practical relevance in computer science. Sample
   applications are in type disciplines for programming languages, and
   meta-logics for reasoning about a variety of computational phenomena.
* This workshop will bring together designers, implementers,
   and users to discuss all aspects of intuitionistic modal logics
   and type theories.=20
* Submission: April 17, 2005
* For details see webpage


WORKSHOP ON LOGIC AND COMPUTATIONAL COMPLEXITY (LCC'05)
   (affiliated with LICS 2005)
   Call for Papers
   Chicago, USA, June 24 - 25, 2005
   http://www.cis.syr.edu/~royer/lcc/LCC05/
* Topics of interest include:
   complexity analysis for functional languages,
   complexity in database theory,
   complexity in formal methods,
   computational complexity in higher types,
   formal methods for complexity analysis of programs,
   foundations of implicit computational complexity,
   logical & machine-independent characterizations of complexity classes,
   logics closely related to complexity classes,
   semantic approaches to complexity,
   software that applies LCC ideas,
   type systems for controlling complexity
* All submissions must be done electronically.
   See the workshop webpage for details.
* Submission Deadline : April 17, 2005
* Program committee:
   Samson Abramsky (University of Oxford), co-chair.
   Rajeev Alur (University of Pennsylvania).
   Albert Atserias (UPC, Barcelona).
   Andrei Bulatov (Simon Fraser University).
   Kousha Etessami (University of Edinburgh).
   Daniel Leivant (Indiana University).
   Leonid Libkin (University of Toronto), co-chair.
   Igor Walukiewicz (University of Bordeaux).


3rd IEEE Conf. on SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2005)
    Call for Papers
    Koblenz, Germany, 7-9 September 2005
    http://sefm2005.uni-koblenz.de
* Submission Deadline: March 18, 2005 (abstract), April 1, 2005 (paper)
* Theme. The aim of the conference is to bring together practitioners
   and researchers from academia, industry and government to advance the
   state of the art in formal methods, to scale up their application in
   software industry and to encourage their integration with practical
   engineering methods.
* Topics (not exhaustive): requirement analysis and specification;
   software architectures and their description languages; software
   specification, validation and verification; software design and
   refinement; models of programs and systems; object and multi-agent
   systems; coordination and feature interaction; integration of formal
   and informal methods; integration of different formal methods;
   component-based development; service-oriented development;
   aspect-oriented development; formal aspects of security and
   mobility; model checking and theorem proving; program analysis;
   fault-tolerant, real-time and hybrid systems; analysis of
   safety-critical systems; formal aspects of software evolution and
   maintenance; formal methods for testing, re-engineering and reuse;
   light-weight formal methods; prototyping and visualisation; CASE
   tools and tool integration; application to industrial cases; formal
   methods for industrial standardisation; socio-economic implications
   of the use of formal methods
* For more details see webpage


INTERNATIONAL CONFERENCE ON AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND
RELATED METHODS (TABLEAUX 2005)
   Call for Papers and Call for Tutorials
   Koblenz, Germany, September 14-17, 2005
   http://tableaux2005.uni-koblenz.de
* Theme. The conference brings together researchers interested in all aspec=
ts
   - theoretical foundations, implementation techniques, systems developmen=
t
   and applications - of the mechanization of reasoning with tableaux and
   related methods.
* Topics (not exhaustive): analytic tableaux for various logics (theory and
   applications), related techniques and concepts, e.g., model checking and
   BDDs, related methods (model elimination, sequent calculi, connection
   method, ...), new calculi and methods for theorem proving in classical
   and non-classical logics (modal, description, intuitionistic, linear,
   temporal, ...), systems, tools, implementations and applications
* All submissions must be done electronically.  Please use our conference
   management software at tableaux2005.confmaster.net
* Tutorial Proposal Submission Deadline : March 31, 2005
* Paper Submission Deadline : April 30, 2005
* Program committee. Bernhard Beckert (U. of Koblenz), Peter Baumgartner (M=
PI
   Saarbruecken), Marta Cialdea Mayer (U. Roma Tre), Roy Dyckhoff (U. of
   St. Andrews), Christian Fermueller (Technical U. of Vienna), Ulrich Furb=
ach
   (U. of Koblenz), Didier Galmiche (LORIA (U. Henri Poincare), Martin Gies=
e
   (Chalmers U.), Rajeev P. Gore (Australian National U.), Jean Goubault-La=
rrecq
   (Ecole Normale Superieure de Cachan), Reiner Haehnle (Chalmers
   U. (Gothenburg), Ian Horrocks (U. of Manchester), Ullrich Hustadt (U. of
   Liverpool), Christoph Kreitz (U. of Potsdam), Reinhold Letz (TU Muenchen=
),
   Carsten Lutz (Dresden U. of Technology), Maarten Marx (U. of Amsterdam),=
 Ugo
   Moscato (U. of Milano-Bicocca), Neil V. Murray (U. at Albany), Ilkka Nie=
mela
   (Helsinki U. of Technology), Nicola Olivetti (U. of Torino), Lawrence Pa=
ulson
   (U. of Cambridge), David A. Plaisted (U. of North Carolina), Peter H. Sc=
hmitt
   (U. of Karlsruhe), Viorica Sofronie-Stokkermans (MPI Saarbruecken), Aril=
d
   Waaler (U. of Oslo), Calogero G. Zarba (LORIA and INRIA-Lorraine)


FOUNDATIONS OF COMPUTER SECURITY (FCS'05)
   Chicago, IL, June 30 - July 1, 2005
   Affiliated with LICS'05
   http://www.cs.chalmers.se/~andrei/FCS05/
   Call for papers
* Computer security is an established field of Computer Science of both
   theoretical and practical significance. In recent years, there has
   been increasing interest in foundations for various methods in
   computer security, including the formal specification, analysis and
   design of cryptographic protocols and their applications, the formal
   definition of various aspects of security such as access control
   mechanisms, mobile code security and denial-of-service attacks, trust
   management, and the modeling of information flow and its application
   to confidentiality policies, system composition, and covert channel
   analysis.
* The aim of this workshop is to provide a forum for continued activity
   in this area, to bring computer security researchers in contact with
   the LICS'05 community, and to give LICS attendees an opportunity to
   talk to experts in computer security.
* Submission deadline: March 18, 2005
* For more details see webpage


1ST INTERNATIONAL WORKSHOP ON METHODS AND TOOLS FOR COORDINATING CONCURRENT=
,=20
DISTRIBUTED AND MOBILE SYSTEMS (MTCoord 2005)
   April 23, 2005, Namur, Belgium
   Affiliated to Coordination '2005
   http://www.info.fundp.ac.be/MTCoord/MTCoord05
   Call for papers
* Various classes of  computational models, languages, and formalisms
   have  emerged in the  aim of  providing high-level  descriptions of
   concurrent,  distributed,  and  mobile systems.   Typical  examples
   include so-called  coordination languages and  models (e.g.  Gamma,
   Linda,  Manifold,  Reo, Klaim,  Lime,  ...), concurrent  constraint
   languages (e.g.  cc languages,  Mozart, ...)  and  process algebras
   (e.g. CSP, CCS, pi-calculus, ...).
* These  models are based  on generative  communication via  a shared
   data  space or  on data  communication through  channels.   In both
   cases,  software components  are typically  conceived  in isolation
   assuming  that the  required  data will  eventually  be available.
   However,  making a  whole system  out of  these components  and, in
   particular, ensuring  that interactions occur properly  is far from
   being  obvious.  The  aim of  the  workshop is  precisely to  bring
   together    researchers,   working    in    different   communities
   (coordination, constraints, process algebras), on methods and tools
   for the construction of concurrent, distributed and mobile systems.
* March 1, 2005:    Abstract submission deadline.
   March 8, 2005:    Paper Submission deadline.
* For more details see webpage


1ST INTERNATIONAL WORKSHOP ON COORDINATION AND ORGANISATION (CoOrg 2005)
   Namur, Belgium, April 2005
   Affiliated to Coordination '2005
   Call for Papers
   http://boid.info/CoOrg05
* CoOrg 2005 is a one day workshop affiliated with COORDINATION 2005, Namur=
,
   Belgium, April 20-23, 2005.=20
* March 1, 2005: Submissions deadline
* For more details see webpage


10TH EUROPEAN SYMPOSIUM ON RESEARCH IN COMPUTER SECURITY (ESORICS 2005)
   Milan, Italy, September 14-16, 2005
   Call for Papers
   http://esorics05.dti.unimi.it/
* Papers offering novel research contributions in any aspect of computer
   security are solicited for submission to the Tenth European Symposium
   on Research in Computer Security (ESORICS 2005).
* Paper Submission due: March 25, 2005
* For more details see webpage


INTERNATIONAL SYMPOSIUM ON LOGIC-BASED PROGRAM SYNTHESIS AND=20
TRANSFORMATION (LOPSTR'05)
   September 7-9, 2005, London, UK.
   Call for Papers
   http://www.comp.leeds.ac.uk/lopstr05/
* The aim of the LOPSTR series is to stimulate and promote international
   research and collaboration on logic-based program development; the
   workshop is open to contributions in logic-based program development
   in any language paradigm.
* LOPSTR'05 will be held at Imperial College in London co-located
   with SAS 2005: The International Static Analysis Symposium
   (http://www.doc.ic.ac.uk/~clh/sas05.htm).
* Authors can either submit extended abstracts describing work in
   progress or they can choose to submit full papers.
* Submission of full papers:          May 20, 2005
   Submission of extended abstracts:   June 3, 2005=20
* For more details see webpage


SECOND WORKSHOP ON AUTOMATED REASONING FOR SECURITY PROTOCOL=20
ANALYSIS (ARSPA'05)
   Lisboa, Portugal
   July 16, 2005
   co-located with ICALP'05
   Call for Papers
   http://www.avispa-project.org/arspa=20
* The ARSPA workshop aims to bring together researchers and
   practitioners from both the security and the formal methods communities,
   from academia and industry, who are working on developing and applying
   automated reasoning techniques and tools for the formal specification
   and analysis of security protocols.
* Submission deadline:  April 15, 2005
* For more details see webpage


ARGENTINE SYMPOSIUM ON INFORMATION SYSTEMS (ASIS 2005)
   Rosario, Argentina, August 29
   Call for Papers
   http://www.sel.unsl.edu.ar/asis2005/
* ASIS 2005 seeks original works in the wide spectrum of information
   systems, not only from academic research but also from industrial
   and business applications, with significant impact and lessons
   learned from application development.=20
* Paper submission deadline: May 2, 2005=20
* For details see webpage


FUNDED VISITORSHIPS FOR LOGIC PHD STUDENTS
   http://www.maths.man.ac.uk/logic/mathlogaps
* There is a Marie Curie Early Stage Training scheme in Mathematical Logic
   and Applications (MATHLOGAPS), linking Leeds, Manchester, Munich,
   Lyon 1, and Lyon Ecole Normale Superieure. Funding is available at
   all of these places for Logic PhD students from elsewhere to pay
   short-term visits (for at least 3 months). There is also funding
   available for several 36 month Logic PhD studentships. A student
   requiring 36 months of funding must start by 1 September
   2005. There are Marie Curie eligibility restrictions based on
   mobility, nationality, and experience.
* For more information, see webpage or contact Dugald
   Macpherson (h.d.macpherson@leeds.ac.uk)


17TH INTERNATIONAL SCHOOL FOR COMPUTER SCIENCE RESEARCHERS AND GRADUATE
STUDENTS ON "FORMAL METHODS: THEORY AND PRACTICE"
   Lipari Island, Italy,
   July 10-23, 2005
* SPEAKERS:
   RAJEEV ALUR (UPenn)
     "Modeling and analysis of Hybrid and Embedded Systems"
   ED CLARKE (CMU)
     "Abstraction in Model Checking"
   TOM HENZINGER (EPFL)
     "Games in System Design and Verification"
   DANIEL JACKSON (MIT)
     "Relational Logic for Software Design"
   ZOHAR MANNA (Stanford)
     "Practical Static Analysis of Software Systems"
   SRIRAM RAJAMANI (Microsoft Research)
     "Software Model Checking"
   MOSHE VARDI (Rice)
     "The Automata-Theoretic Approach to Verification"
* DIRECTORS:
   ALFREDO FERRO (Catania)
   ZOHAR MANNA (Stanford)          
* For more information and registration, see web site:
   http://lipari.cs.unict.it/lipari/index.htm
* If you have any questions, contact Alfredo Ferro 


ICCL SUMMER SCHOOL 2005: LOGIC-BASED KNOWLEDGE REPRESENTATION
   Technische Universitat Dresden
   2nd-17th July 2005
   Call for Participation
   http://www.computational-logic.org/iccl-ss-2005
* The advantage of logic-based approaches for symbolic
   knowledge representation is that they provide the
   representation formalism with a formally well-founded
   semantics, which makes both the represented knowledge
   and the behavior of knowledge representation systems
   deducing implicit knowledge from the explicitly represented
   one comprehensible. The disadvantage is that the inference
   problems may become intractable or even undecidable if
   the expressive power of the formalism is large enough.
   For this reason, early systems employing the logic-based
   approach were either too inexpressive or too slow.
* This situation has changed drastically in the last 10-15 years.
   This is partially due to increased computing power. More
   importantly, however, were the recent theoretical and practical
   advances in the field of logic-based knowledge representation.
   The summer school will focus on several of the most successful
   subfields of this active research area:
   - reasoning about action and change,
   - nonmonotonic reasoning,
   - description logics and ontologies, and
   - action planning.
* Preferred registration by April 9, 2005.=20
* For details see webpage


ACKERMANN AWARD - THE EACSL OUTSTANDING DISSERTATION AWARD
FOR LOGIC IN COMPUTER SCIENCE
Second Call for Submissions
* The EACSL Board has decided to launch the ACKERMANN Award,
   the EACSL Outstanding Dissertation Award for Logic in Computer Science.
* The ACKERMANN Award will be presented to the recipients
   at the annual conference of the EACSL (CSL'xx).
   The jury is entitled to give more than one award per year.
   The first ACKERMANN Award will be presented at CSL'05.
* Eligible for the 2005 ACKERMANN Award are PhD dissertations
   in topics specified by the EACSL and LICS conferences,
   which were formally accepted as PhD theses at a university or
   equivalent institution between 1.1. 2003 and 31.12. 2004.
* The deadline for submission is 31.3.2005
   Submission details follow below.
* The award consists of
   - a diploma,
   - an invitation to present the thesis at the CSL conference,
   - the publication of the abstract of the thesis and the
     laudatio in the CSL proceedings,
   - travel support to attend the conference.
* The jury consists of seven members,
   three of them ex officio, namely the president (J. Makowsky, Haifa)
   and the vice-president (D. Niwinski, Warsaw) of EACSL, and one
   member of the LICS organizing committee (S. Abramsky, Oxford).
   The other members of the jury are currently
   - B. Courcelle (Bordeaux)
   - E. Graedel (Aachen)
   - M. Hyland (Cambridge)
   - A. Razborov (Moscow and Princeton)
* The candidate or his/her supervisor has to submit
   a) the thesis (ps or pdf file);
   b) a detailed description (not longer than 20 pages)
      of the thesis in ENGLISH (ps or pdf file);
   c) a supporting letter by the PhD advisor and
      two supporting letters by other senior faculty or researchers
      in equivalent positions (in English);
   d) a copy of the document asserting that the thesis was accepted
      as a PhD thesis at a recognized University (or equivalent institution=
)
      and that the candidate has received his/her PhD within
      the specified period;
   e) a short CV of the candidate.
* For more details see: http://www.dimi.uniud.it/~eacsl/award
   and http://www.cs.technion.ac.il/eacsl


POSTDOCTORAL POSITION ON COORDINATION LANGUAGES AND WEB SERVICES
   University of Namur, Belgium
* In the framework of the "Namur Institutional Programme of postdoctoral
   grants", a one-year postdoctoral position is available on the subject
   of coordination languages and web services at the University of Namur,
   Belgium.
* Application deadline: 1st March 2005
* For more details see:
   http://www.fundp.ac.be/recherche/Postdoc_FUNDP_CERUNA_2005.pdf
* For scientific questions about the project, please contact
   Prof. Jean-Marie Jacquet (email: jmj@info.fundp.ac.be,
   web: http://www.info.fundp.ac.be/~jmj).=20
* For general questions regarding the application, please
   contact Prof. Paul Thiry (email: paul.thiry@fundp.ac.be).


____________________________________________________________________________

                     Second SIGLaC Half-day Meeting on
                    MATHEMATICAL ASPECTS OF COMPUTATION

              Wednesday 16th March, 2005, University of Leeds

   This is the second in a series of interdisciplinary meetings bringing
  leading researchers in mathematics and logic, computer science, philosophy,
       physics, etc, to explain their work to a general audience


                              FULL PROGRAMME

                     1.00pm Welcome and buffet lunch

                     1.30pm: Jan Bergstra (Amsterdam)
                        "On Programs and Threads"

                    2.30pm: Gordon Plotkin (Edinburgh)
               "An Algebraic Theory of Computational Effects"

                         3.30pm Tea/coffee break

                       4.00pm: Vlatko Vedral (Leeds)
                   "Quantum Interference and Algorithms"

                               ALL WELCOME

In E.C. Stoner Building Room 10.70 - near staircase 4,  Centre for Studies
in Science and Mathematics Education

Meeting co-sponsored by the Schools of Mathematics and Computing

More information including abstracts for all the talks is available at
http://www.comp.leeds.ac.uk/siglac/

Forthcoming SIGLaC half-day meeting: 2nd November, 2005
___________________________________________________________________________
SIGLaC, a Special Interest Group in Logic and Computation, is a new
inter-disciplinary group at Leeds aimed at fostering the development of
research-related activity at the interface between Mathematics, Logic, and
Computing. For more information visit:
http://www.comp.leeds.ac.uk/siglac/
___________________________________________________________________________





Dr Mirna Dzamonja
Reader
School of Mathematics
University of East Anglia
Norwich, NR47TJ
UK

phone: +44-1603-592981
fax: +44-1603-593868

Marie Curie Research Training Network in Model Theory and Applications


Home Index

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

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

Last modified: Fri Jun 10 13:28:50 BST 2005