[FOM] PHINEWS Bulletin, February 2006 (plain text)
vincent@ruc.dk
vincent at ruc.dk
Wed Mar 1 11:49:48 EST 2006
PHINEWS Bulletin / February 2006
PHINEWS (www.phinews.ruc.dk) is published by PHILOG (www.philog.ruc.dk) and
Springer (www.springer.com)
Edited by Vincent F. Hendricks, Pelle Guldborg Hansen, Stig Andur Pedersen, Dov
M. Gabbay
********************************************
BULLETIN TOC
PHINEWS, volume 9, April 2006
Masses of Formal Philosophy (call
http://www.formalphilosophy.com/Masses/index.html)
Annoucements
********************************************
PHINEWS, volume 9, April 2006
Deadline for submissions is March 15, 2006
TOC
1. Masses of Formal Philosophy
2. Schematism and the Construction of Mathematical Objects / Klaus Frovin
Jrgensen
3. Return to Self-Reference the publication of the book from the PHILOG
conference in 2002 by CSLI Publications, available in May 2006
4. Norms, Games and Emergence / Pelle Guldborg Hansen
5. Annoucements
6. Funny Fragments
7. PHINEWS
8. Index of Names
*******************************************
MASSES OF FORMAL PHILOSOPHY (Call for participation)
A sequel to Formal Philosophy (www.formalphilosophy.com) is being prepared
entitled
Masses of Formal Philosophy
a follow-up where everybody may answer the 5 questions posed to interviewees of
the first Formal Philosophy. The answers will be collected, compiled and
published as a book by Automatic Press / VIP; edited by Vincent F. Hendricks
and John Symons. If you would like to participate and give your view on formal
philosophy, please follow the instruction set - link below. Deadline for your
contribution is September 15, 2006. Follow this link for more:
http://www.formalphilosophy.com/Masses/index.html
*******************************************
ANNOUCEMENTS
*******************************************
8 BRIDGES BETWEEN FORMAL AND MAINSTREAM EPISTEMOLOGY:
New issue with Philosophical Studies, Volume 128, Number 1 , 2006. 8 Bridges
Between Mainstream and Formal Epistemology it contains contributions from H.
Arlo-Costa, Johan van Benthem, Luc Bovens and Stephan Harmann, Sven Ove
Hansson, Vincent F. Hendricks & John Symons, Matthias Hild, Robert Stalnaker,
and Heinrich Wansing. Edited by Vincent F. Hendricks. It just became available
with Springer:
http://springerlink.metapress.com/(0isj2245jnflck45nudeusav)/app/home/issue.asp?referrer=parent&backto=journal,2,417;linkingpublicationresults,1:102978,1
********************************************
NEW ENTRY IN FORMAL EPISTEMOLOGY ON WIKIPEDIA
http://en.wikipedia.org/wiki/Formal_epistemology
********************************************
FEW 2006
Third Annual Austin, Berkeley, CMU
Formal Epistemology Workshop
UCBerkeley
May 2528, 2006
Organizers: Branden Fitelson & Sahotra Sarkar
http://ist-socrates.berkeley.edu/~fitelson/few/
***********************************************
CARNEGIE MELLON SUMMER SCHOOL IN LOGIC AND FORMAL EPISTEMOLOGY
Carnegie Mellon Summer School in Logic and Formal Epistemology
http://www.phil.cmu.edu/summerschool
In 2006, the Department of Philosophy at Carnegie Mellon University will launch
a three-week summer school in logic and formal epistemology for promising
undergraduates in philosophy, mathematics, computer science, linguistics, and
other sciences. The goals are to
o introduce promising students to cross-disciplinary fields of research
at an early stage in their career; and
o forge lasting interdisciplinary links between the various disciplines.
The summer school will be held from Monday, June 12 to Friday, June 30, 2006.
There will be morning and afternoon lectures and daily problem sessions, as
well as planned outings and social events.
The summer school is free. That is, we will provide:
o full tuition
o dormitory accommodations on the Carnegie Mellon campus
So students need only pay for travel to Pittsburgh and living expenses while
there. There are no grades, and the courses do not provide formal course
credit.
This year's topics are:
Causal Statistical Inference
Monday, June 12 to Friday, June 16
Instructor: David Danks
Foundations of Computability
Monday, June 19 to Friday, June 23
Instructor: Wilfried Sieg
Philosophical Logic
Monday, June 26 to Friday, June 30
Instructor: Horacio Arlo-Costa
The summer school is open to undergraduates, as well as to students who will
have just received their undergraduate degrees. Instructions for applying can
be found on the summer school web page. Materials must be submitted to the
Philosophy Department by March 15, 2006. Inquiries may be directed to Jeremy
Avigad (avigad at cmu.edu).
***************************************************
Workshop "Rationality and Knowledge"
August 7-11, 2006, Malaga, Spain.
www.cs.gc.cuny.edu/~sartemov/rkw
Workshop organized as part of European Summer School on Logic, Language
and Information
ESSLLI 2006 http://esslli2006.lcc.uma.es/
July 31 - August 11, 2006 in Malaga, Spain
Workshop Organizers: Sergei Artemov and Rohit Parikh
Workshop Purpose:
The workshop on rationality and knowledge intends to bring together
researchers from a wide variety of fields - including Artificial
Intelligence, Cryptography, Distributed Computing, Economics and Game
Theory, Linguistics, Logic, Philosophy, and Psychology, in order to
further our understanding of interdisciplinary issues involving
reasoning about rationality and knowledge.
Workshop Topics:
Topics of interest include, but are not limited to
* semantic models for knowledge, for belief, and for uncertainty
* epistemic logic
* logics of knowledge and action
* formal analysis of games
* belief revision
* logics of proofs and justification
* the role of knowledge in general information flow
* voting and social choice
* social software
* fair division.
Submission details:
Authors are invited to submit an extended abstract describing original
work. Submissions should not exceed 8 pages. The following formats are
accepted: PDF, PS, ASCII text. Please send your submission
electronically by RKworkshop at gmail.com by the deadline listed below. The
submissions will be reviewed by the workshop's programme committee and
additional reviewers. The accepted papers will appear in the workshop
proceedings published by ESSLLI. The format for the final versions will
be available on the workshop website. A selection of papers will be
published in a special issue of a leading Journal in this area.
Workshop format:
The workshop is part of ESSLLI and is open to all ESSLLI participants.
It will consist of five 90-minute sessions held over five consecutive
days in the second week of ESSLLI. There will be two or three slots for
paper presentation and discussion per session. On the first day the
workshop organizers will give a brief introduction to the topic.
Important Dates:
* Submissions: March 8, 2006
* Notification: April 21, 2006
* Preliminary programme: April 24, 2006
* ESSLLI early registration: May 1, 2006
* Final papers for proceedings: May 17, 2006
* Final programme: June 21, 2006
* Workshop dates: August 7-11, 2006
Invited Speakers:
Johan van Benthem (Amsterdam/Stanford)
Remzi Sanver (Istanbul Bilgi University)
Workshop Programme Committee:
* Sergei Artemov (New York)
* Alexandru Baltag (Oxford)
* Steven Brams (New York)
* Adam Brandenburger (New York)
* Melvin Fitting (New York)
* Valentin Goranko (Johannesburg)
* Joseph Halpern (Ithaca)
* Vincent Hendricks (Roskilde)
* Barteld Kooi (Groningen)
* David Makinson (London)
* Yoram Moses (Haifa)
* Larry Moss (Indiana)
* Elena Nogina (New York)
* Rohit Parikh (New York)
* Krister Segerberg (Uppsala)
* Rineke Vergbugge (Groningen)
* Renata Wasserman (Sao Paulo)
* Tatiana Yavorskaya (Moscow)
Local Arrangements:
All workshop participants including the presenters will be required to
register for ESSLLI. The registration fee for authors presenting a paper
will correspond to the early student/workshop speaker registration fee.
Moreover, a number of additional fee waiver grants will be made
available by the OC on a competitive basis and workshop participants are
eligible to apply for those. There will be no reimbursement for travel
costs and accommodation. Workshop speakers who have difficulty in
finding funding should contact the local organizing committee to ask for
the possibilities for a grant.
Further Information:
About the workshop: www.cs.gc.cuny.edu/~sartemov/rkw
About ESSLLI: http://esslli2006.lcc.uma.es/
************************************************
ASL
2006 ASL Annual Meeting Montreal, Canada
May 17--21, 2006
The invited speakers include: E. Bouscaren, P. Kremer, C. LaFlamme, A.
Montalbn, J. Moore, P. Scott, H. Schwichtenberg, S. Shapiro, P. Speissegger,
and B. Spitters. The Seventeenth Annual Gdel Lecture will be given by P.
Martin-Lf, and a tutorial on quantum information theory will be offered by P.
Selinger. The invited program also includes a symposium to commemorate the
centennial of the birth of Gdel, in which J. Avigad, S. Friedman, and A.
Kanamori will speak. Special sessions are planned in categorical logic/quantum
information theory, effective aspects of measure theory and analysis, model
theory, and set theory. The members of the Program Committee are: S. Feferman,
S. Kuhlmann, D.A. Martin, P. Panangaden, S. Simpson, and M. Valeriote (Chair).
The members of the Local Organizing Committee include: L. Blair, F. Lepage, M.
Marion (Chair), and P. Panangaden.
Abstracts of contributed talks submitted by ASL members will be
published in The Bulletin of Symbolic Logic if they satisfy the Rules for
Abstracts (see below). Abstracts must be received by the deadline of February
10, 2006, at the ASL Business Office: ASL, Box 742, Vassar College, 124 Raymond
Avenue, Poughkeepsie, New York 12604, USA; Fax: 1-845-437-7830; email:
asl at vassar.edu.
For further information, visit the website below.
http://asl2006.uqam.ca
2006 ASL European Summer Meeting (Logic Colloquium '06)
July 27--August 2, 2006 Nijmegen, The Netherlands
July 27--August 2, 2006
The Program Committee includes: B. Cooper, S. Friedman, H. Geuvers, D.
Macpherson, G. Mints, A. Pillay, M. Rathjen, R. Schindler, H. Schwichtenberg
(Chair), R. Shore, W. Sieg, G. Sundholm, and J. Vnnen. The Local Organizing
Committee includes: H. Geuvers (Chair), N. Messink, B. Spitters, and F.
Wiedijk. Abstracts of contributed talks submitted by ASL members will be
published in The Bulletin of Symbolic Logic if they satisfy the Rules for
Abstracts (see below). Abstracts---hard copy or email---should be received
before the deadline of April 17, 2006 at the official meeting address: Logic
Colloquium 2006, ICIS Faculty of Science, Radboud University Nijmegen, P.O. Box
9010, 6500 GL Nijmegen, The Netherlands; email: lc2006 at cs.ru.nl. For further
information visit the website below.
http://www.cs.ru.nl/lc2006/
2007 ASL Annual Meeting Gainesville, Florida
March 10--13, 2007
The Program Committee members are: M. Aschenbrenner, M. Dzamonja
(Chair), N. Immerman, J. Larson, J. Miller, and J. Tappenden. The members of
the Local Organizing Committee include: D. Cenzer, G. Emch, W. Mitchell, G.
Ray, M. Sitharam, and J. Zapletal (Chair).
ASL Sponsored Meetings
XIV Brazilian Logic Conference Itatiaia, Rio de Janeiro,
Brazil
April 24--28, 2006
Topics for this meeting include: algebraic logic, logic and computation,
history of logic, logic and education, model theory, non-classical logics,
philosophy of formal sciences, and set theory. This event will also celebrate
the centennial of the birth of Kurt Gdel. The members of the Program Committee
are: X. Caicedo, W. Carnielli, O. Chateaubriand, J.C. Cifuentes, R. Cignoli,
M.E. Coniglio, N. da Costa, J.J. da Silva, I.L. D' Ottaviano, C. Di Prisco,
N.G. Gomes, D. Krause, R. Lewin, T. Pequeno, R. de Queiroz, M. Ruffino, and P.
Veloso. The members of the Organizing Committee include: O. Chateaubriand
(Chair), M. Correa, E.H. Haeusler, G. Hamazaki, and L.C. Pereira. The deadline
for submission of contributed talks is January 15, 2006. For further
information, send email to XIVEBL at inf.puc-rio.br, or visit the website below.
http://XIVEBL.inf.puc-rio.br/
Computability in Europe 2006 (CiE 2006): Logical
Approaches to Computational Barriers Swansea, Wales
June 30--July 5, 2006
This meeting is being organized within the network "Computability in
Europe"' (CiE). The particular focus of the event is on aspects of logical
approaches to computational barriers. There will be tutorials on Logical
Approaches to the P vs. NP problem (S. Buss) and, "Quantum Algorithms: Standard
Tools and New Models" (J. Kempe). Invited speakers include: J. Bergstra, L.
Cardelli, J.W. Dawson, J. Krajicek, E. Mayordomo Cmara, I. Nmeti, H.
Schwichtenberg, and A. Weiermann. Special sessions on Challenges in Complexity,
Computable Analysis, Foundations of Programming, Gdel Centenary: His Legacy for
Computing, Mathematical Models of Computers and Hypercomputers, and Proofs and
Computation also are planned. The Co-chairs of the Program Committee are A.
Beckmann and J. Tucker. The Organizers are: A. Beckmann (Chair), U. Berger, B.
Cooper, P. Grant, O. Kullmann, B. Lwe, M. Seisenberger, A. Setzer, and J.
Tucker. For further information, visit the website below.
http://www.cs.swansea.ac.uk/cie06/
Thirteenth Workshop on Logic, Language, Information and
Computation (WoLLIC'2006) Stanford, California
July 18--21, 2006
This is the thirteenth in a series of workshops intended to foster
interdisciplinary research in pure and applied logic. The Program Committee
includes: J. Avigad, J. van Benthem, M. Davis, K. Devlin, E. Hirsch, G. Hjorth,
D. Israel, V. Kreinovich, G. Mints, I. Neeman, H. Ono, W. Pohlers, V. Pratt, and
T. Scanlon. The members of the Organizing Committee are: A.G. de Oliveira, V. de
Paiva, M. Pauly, and R. de Queiroz. The deadline for submission of papers is
March 1, 2006. For further information, visit the website below.
http://www.cin.ufpe.br/~wollic/wollic2006/
Twenty-first Annual IEEE Symposium on Logic in Computer
Science (LICS 2006) Seattle, Washington
August 12--15, 2006
The LICS Symposium is an annual international forum on theoretical and
practical topics in computer science that relate to logic in a broad sense.
LICS 2006 will be held as part of the Fourth Federated Logic Conference
(FLoC'06). The invited speakers include: A. Blass, A. Gordon, and O. Kupferman.
There also will be a joint LICS/RTA/SAT plenary lecture given by R. Bryant. The
LICS Program Chair is R. Alur, and the LICS General Chair is P. Kolaitis. For
further information about LICS, visit the website below; for additional
information about FLoC'06, see http://research.microsoft.com/floc06/.
http://www.informatik.hu-berlin.de/lics/
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% %
% Second Call for Papers %
% %
% RELATIONS AND KLEENE ALGEBRA IN COMPUTER SCIENCE %
% %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Joint 9th International Conference on
RELATIONAL METHODS IN COMPUTER SCIENCE
and 4th International Workshop on
APPLICATIONS OF KLEENE ALGEBRA
(RelMiCS/AKA 2006)
29 August - 2 September 2006
Manchester, UK
www.cs.man.ac.uk/relmics06/
GENERAL INFORMATION:
The RelMiCS Conference is the main forum for the relational
calculus as a conceptual and methodological tool. The AKA
Workshop is a forum on topics related to Kleene algebras. As in
previous years, the two events are co-organised; they have a
joint programme committee and joint proceedings. RelMiCS/AKA
2006 will be held from 30 August to 2 September 2006 in
Manchester. Visit the conference website
www.cs.man.ac.uk/relmics06/ for more information.
TOPICS:
We invite submissions on the general topics of relations and
Kleene algebra in computer science. Special focus will be on
formal methods for software engineering, logics of programs and
links with neighbouring disciplines. Particular topics of the
conference cover, but are not limited to the theory of
* relation algebras and Kleene algebras
* related formalisms such as process algebras, fixed point
calculi, idempotent semirings, quantales, allegories, dynamic
algebras, cylindric algebras
and their applications in areas such as
* verification, analysis and development of programs and
algorithms
* algebraic approaches to logics of programs, modal and dynamic
logics, interval and temporal logics
* relational formal methods such as B or Z, tabular methods,
* algebraic semantics of programming languages
* graph theory and combinatorial optimisation
* games, automata and language theory
* mechanised and automated reasoning, decision procedures
* spatio-temporal reasoning, knowledge acquisition, preference
and scaling methods
* information systems
INVITED SPEAKERS:
* Ernie Cohen, Microsoft, USA
* Roger D. Maddux, Iowa State University, USA
* Jeff Sanders, Oxford University, UK
IMPORTANT DATES:
A paper title and a short abstract of about 100 words must
be
submitted before the paper. All submissions will be electronic
from the conference website.
Abstract Submission: 27 February 2006
Paper Submission: 6 March 2006
Author Notification: 2 May 2006
Camera-ready papers: 2 June 2006
PhD Programme: 29 August 2006
RelMiCS/AKA 2006: 30 August - 2 September 2006
SUBMISSION INSTRUCTIONS:
Submissions must be in English, in postscript or pdf format
and
provide sufficient information to judge their merits. They must
be unpublished and not submitted for publication elsewhere. They
may not exceed 15 pages in Springer LNCS style and must be
produced with LaTeX. Additional material may be provided by a
clearly marked appendix or a reference to a manuscript on a
website. This may be considered at the discretion of the PC.
Deviation from these requirements may cause immediate rejection.
One author of each accepted paper is expected to present the
paper at the conference.
Detailed instructions for electronic submission can be found
at
the conference website. Formatting instructions and the LNCS
style files can be obtained via
http://www.springer.de/comp/lncs/authors.html.
PUBLICATION DETAILS:
The proceedings of the conference will be published in the
Springer LNCS series. They will be available at the conference.
STUDENT PROGRAMME:
A PhD training programme will be co-organised with the
conference. Details will be published in a special call and on
the conference website.
COMMITTEES:
General Chair:
Renate Schmidt, Manchester, UK, schmidt at cs.man.ac.uk
Programme Chair:
Georg Struth, Sheffield, UK, g.struth at dcs.shef.ac.uk
Programme Committee:
Roland Backhouse, Nottingham, UK
Brandon Bennett, Leeds, UK
Rudolf Berghammer, Kiel, Germany
Stephane Demri, Cachan, France
Jules Desharnais, Laval, Canada
Zoltan Esik, Szeged, Hungary & Tarragona, Spain
Marcello Frias, Buenos Aires, Argentina
Hitoshi Furusawa, AIST, Japan
Stephane Gaubert, INRIA, France
Steven Givant, Mills College, USA
Valentin Goranko, Witwatersrand, South Africa
Martin Henson, Essex, UK
Ali Jaoua, Quatar
Peter Jipsen, Chapman University, USA
Wolfram Kahl, McMaster, Canada
Yasuo Kawahara, Kyushu, Japan
Zhiming Liu, UNU-IIST Macao, China
Bernhard Moeller, Augsburg, Germany
Damian Niwinski, Warsaw, Poland
Ewa Orlowska, Warsaw, Poland
Alban Ponse, Amsterdam, The Netherlands
Ingrid Rewitzky, Stellenbosch, South Africa
Ildiko Sain, Hungarian Academy of Sciences
Holger Schlingloff, Berlin, Germany
Gunther Schmidt, Muenchen, Germany
Renate Schmidt, Manchester, UK
Giuseppe Scollo, Catania, Italy
Harrie de Swart, Tilburg, The Netherlands
Michael Winter, St.Catharines, Canada
Local Organisation:
Renate Schmidt, Manchester, UK, schmidt at cs.man.ac.uk
Zhen Li, Manchester, UK
David Robinson, Manchester, UK
Iain Hart & ACSO, Manchester, UK
***********************************************
Vincent F. Hendricks, dr. phil., PhD
Editor-in-chief: Synthese & Synthese Library
Professor of Epistemology, Logic and Methodology
Member of IIP - The International Institute of Philosophy
Editor: Trends in Logic (Studia Logica Library) / Studia Logica
Director of PHILOG, Editor-in-chief of PHINEWS
Department of Philosophy and Science Studies Roskilde University P.O. Box
260, 4000 Roskilde Denmark
Cell: (+45) 4016 8063
Website:
http://akira.ruc.dk/~vincent
http://www.formalphilosophy.com
http://www.vince-inc.com
Vincent F. Hendricks, dr. phil., PhD
Editor-in-chief: Synthese & Synthese Library
Professor of Epistemology, Logic and Methodology
Member of IIP - The International Institute of Philosophy
Editor: Trends in Logic (Studia Logica Library) / Studia Logica
Director of PHILOG, Editor-in-chief of PHINEWS
Department of Philosophy and Science Studies Roskilde University P.O. Box
260, 4000 Roskilde Denmark
Cell: (+45) 4016 8063
Website:
http://akira.ruc.dk/~vincent
http://www.formalphilosophy.com
http://www.vince-inc.com
------------------------------------------------------------------------
NEW BOOK, Formal Philosophy (New York: Automatic Press, 2005),
http://www.amazon.com/gp/product/8799101300/qid=1137704037/sr=1-3/ref=sr_1_3/102-6269142-7034511?s=books&v=glance&n=283155
NEW BOOK - Mainstream and Formal Epistemology (New York: Cambridge
University Press, 2006),
http://www.amazon.com/gp/product/0521857899/qid=1116691168/sr=1-1/ref=sr_1_1/102-6269142-7034511?s=books&v=glance&n=283155
More information about the FOM
mailing list