[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