[FOM] PHINEWS bulletin 2 / March 2004
Vincent F. Hendricks
vincent at ruc.dk
Wed Mar 17 04:13:22 EST 2004
PHINEWS Bulletin 2 / March 2004
Dear PHINEWS and PHILOG,
aside from PHINEWS 5 coming out to you as we speak (and may be
downloaded online from http://www.phinews.ruc.dk) I have been asked to
post the following conference annoucements for which the the deadlines
are drawing close,
yours truly
Vincent F. Hendricks
[Founder and editor-in-chief / PHINEWS and PHILOG]
------------------------------------------------------------------------
---
LOFT 6
REMINDER
The deadline for submission of papers to be presented at the LOFT6
conference (Sixth conference on Logic and the Foundations of Game
and Decision Theory, Leipzig, Germany, July 16-18) is
March 31, 2004
For information on the submission procedure and general information
about the conference click the following link:
<http://www.econ.ucdavis.edu/faculty/bonanno/loft6_call.html>
------------------------------------------------------------------------
---
FINAL CALL FOR PAPERS
AiML-2004
Advances in Modal Logic
September 9-11, 2004, Manchester
DEADLINE: April 15, 2004
Advances in Modal Logic is an initiative aimed at presenting
an up-to-date picture of the state of the art in modal logic and its
many applications. The initiative consists of a conference series
together with volumes based on the conferences.
AiML-2004 is the fifth conference organized as part of
this initiative. It will be held September 9-11, 2004 in
Manchester, UK.
TOPICS
Topics of interest include:
o complexity and decidability of modal and temporal logics,
o deontic logic,
o description logics,
o dynamic logic,
o epistemic logic,
o modal logics of space,
o modal logic and game theory,
o modal logic and grammar formalisms,
o modal and temporal logic programming and theorem proving,
o model theory and proof theory of modal logics,
o computational aspects of modal logics,
o correspondence theory, duality theory,
o representation of time in natural language semantics,
o non-monotonic modal logics,
o modal logics for agent-based systems,
o modal logic in Computer Science and AI,
o provability logic,
o mathematics of modal logic,
o philosophy of modal logic.
Papers on related subjects will also be considered.
SPECIAL SESSION
During the conference there will be a special session on
o Modal Logics for Knowledge and Action.
INVITED SPEAKERS
Invited speakers include:
o Philippe Balbiani (Toulouse, France)
o Keith Devlin (Stanford, USA)
o Valentin Goranko (Johannesburg, Rep. South Africa)
o Wiebe van der Hoek (Liverpool, UK)
o Maarten Marx (Amsterdam, The Netherlands)
o Robert Stalnaker (MIT, USA)
PAPER SUBMISSION
Authors are invited to submit a detailed abstract of a full paper of at
most 10 pages (a4paper, 11pt). The cover page should include title,
names of authors, the co-ordinates of the corresponding author, and some
keywords describing the topic of the paper.
Postscript and PDF files can be accepted. A link to the electronic
submission page will appear on about March 22, 2004. To be considered,
submissions must be received no later than April 15, 2004.
Note that at least one author of each accepted paper is required to
register for and attend the conference to present the paper. (Otherwise
there is a risk of not being invited to the formal proceedings volume.)
PUBLICATION DETAILS
Preliminary versions of the full papers will be made
available at the meeting. Authors will be invited to submit
a full version, which will again be refereed. The selected
papers will be included in the formal proceedings to be
published by King's College Publications. Notification
date for the conference is June 15, 2004; for the formal
proceedings it is December 1, 2004.
PROGRAM COMMITTEE
Patrick Blackburn (Nancy, France)
Alexander Chagrov (Tver, Russia)
Vincent Hendricks (Roskilde, Denmark)
Ian Pratt-Hartmann (Manchester, UK)
Mark Reynolds (Perth, Australia)
Maarten de Rijke (Amsterdam, The Netherlands)
Ulrike Sattler (Manchester, UK)
Holger Schlingloff (Berlin, Germany)
Renate Schmidt (Manchester, UK)
Nobu-Yuki Suzuki (Shizuoka, Japan)
Heinrich Wansing (Dresden, Germany)
Frank Wolter (Liverpool, UK)
Michael Zakharyaschev (London, UK)
PROGRAM CO-CHAIRS
Mark Reynolds
Murdoch University, Perth, Australia
e-mail: m.reynolds at murdoch.edu.au
Heinrich Wansing
Dresden University of Technology, Germany
e-mail: wansing at rcs.urz.tu-dresden.de
LOCAL ORGANIZERS
Renate Schmidt (schmidt at cs.man.ac.uk),
University of Manchester, UK
Ian Pratt-Hartmann (ipratt at cs.man.ac.uk),
University of Manchester, UK
IMPORTANT DATES
Submission deadline: April 15, 2004
Acceptance notification: June 15, 2004
Conference: September 9-11, 2004
Preliminary versions for conference due: July 15, 2004 Notification of
acceptance for full papers: December 1, 2004
FURTHER INFORMATION
Information about AiML-2004 can be obtained at
<http://www.cs.man.ac.uk/aiml04/>
E-mail enquiries about AiML-2004 should be directed to
the local organizers or the program co-chairs.
Information about AiML can be obtained at
<http://www.aiml.net>
SPONSORS:
Advances in Modal Logic Initiative
School of Information Technology, Murdoch University
CologNet
British Logic Colloquium
Department of Computer Science, University of Manchester
-------------------------------------------------------
Conference Announcement
ALAN MATHISON TURING 2004:
A celebration of his life and achievements
June 5th, 2004, University of Manchester, UK
<http://www.maths.man.ac.uk/logic/turing2004/>
The `Turing 2004' meeting will be held at Manchester University to
celebrate Turing's life and achievements on the 50th anniversary of his
death. Some funds are available to subsidise students to travel to the
meeting. See the conference webpage for full details and registration
forms.
The speakers, covering all aspects of Turing's mathematical heritage,
will be:
Andrew Hodges (Oxford)
Barry Cooper (Leeds)
Jack Copeland (Canterbury, NZ)
David Anderson (Portsmouth)
Jonathan Swinton (Cambridge)
The meeting is jointly organised by:
British Logic Colloquium
British Society for the History of Mathematics.
Sponsored by:
London Mathematical Society
British Logic Colloquium
------------------------------------------------------------
Vincent F. Hendricks, PHD
Associate Professor of Epistemology, Logic and Methodology
Editor-in-chief: Synthese Library
Editor: Trends in Logic (Studia Logica Library)
Director of PHILOG, Editor-in-chief of PHINEWS Reviews and Associate
Editor: Studia Logica
Department of Philosophy and Science Studies Roskilde University P.O.
Box 260, 4000 Roskilde Denmark
Phone: (+45) 4674 2343
Fax: (+45) 4674 3012
Cell: (+45) 4016 8063
Pages:
*
<http://akira.ruc.dk/~vincent> http://akira.ruc.dk/~vincent
(Home Page)
*
<http://www.mot.ruc.dk/> http://www.mot.ruc.dk (Modal Operator
Theory)
*
<http://www.philog.ruc.dk/> http://www.philog.ruc.dk (PHILOG)
*
<http://www.phinews.ruc.dk/> http://www.phinews.ruc.dk
(PHINEWS)
*
<http://www.mathnet.ruc.dk/> http://www.mathnet.ruc.dk
(MATHNET)
*
<http://www.phis.ruc.dk/> http://www.phis.ruc.dk (PHIS)
*
<http://akira.ruc.dk/~vincent/slreview/>
http://akira.ruc.dk/~vincent/slreview/ (Studia Logica)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: /pipermail/fom/attachments/20040317/6861cf24/attachment.html
More information about the FOM
mailing list