[TYPES] Final CFP: Intuitionistic Modal Logic and Applications
(IMLA'05)
Frank Pfenning
fp at cs.cmu.edu
Thu Apr 14 16:19:30 EDT 2005
[Note new information:
Submission deadline April 17, 2005 is not strict
Advise chairs <paiva at parc.com>, <fp at cs.cmu.edu> about late submissions
Invited speakers:
David Walker (Princeton, USA)
Checking properties of pointer programs
Yde Venema (Amsterdam, The Netherlands):
Intuitionistic modal logic: observations from algebra and duality
]
Third Internation Workshop on
Intuitionistic Modal Logic and Applications
(IMLA'05)
http://www.cs.cmu.edu/~fp/imla05/
A LICS'05 affiliated workshop
Chicago, Illinois, June 30, 2005
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. Topics include, but are not limited to:
* applications of intuitionistic necessity and possibility
* monads and strong monads
* constructive belief logics and type theories
* applications of constructive modal logic and modal type theory to
formal verification, abstract interpretation, and program analysis
and optimization
* modal types for integration of inductive and co-inductive types,
higher-order abstract syntax, strong functional programming
* models of constructive modal logics such as algebraic, categorical,
Kripke, topological, and realizability interpretations
* notions of proof for constructive modal logics
* extraction of constraints or programs from modal proofs
* proof search methods for constructive modal logics and their implementations
The workshop continues a series of previous LICS-affiliated workshops,
which were held as part of FLoC'99, Trento, Italy and of FLoC2002,
Copenhagen, Denmark.
We solicit submissions on work in progress and on more mature results.
Submissions should be extended abstracts of 5-10 pages and sent in
PostScript or PDF format to the program co-chair at fp at cs.cmu.edu
Note that the submission deadline is not strict---please email the
chairs if you are interested in submitting a paper after the deadline.
IMPORTANT DATES:
Submission: April 17, 2005 (soft deadline!)
Notification: May 9, 2005
Workshop Date: June 30, 2005
INVITED TALKS:
David Walker (Princeton, USA)
Checking properties of pointer programs
Yde Venema (Amsterdam, The Netherlands)
Intuitionistic modal logic: observations from algebra and duality
PROGRAM COMMITTEE:
Natasha Alechina (Nottingham, UK)
Frank Pfenning (co-chair, CMU, USA)
Carsten Schuermann (Yale, USA)
Alex Simpson (Edinburgh, UK)
Valeria de Paiva (co-chair, PARC, USA)
CONTACTS
Valeria de Paiva Frank Pfenning
PARC, Palo Alto Research Center Carnegie Mellon University
paiva at parc.com fp at cs.cmu.edu
More information about the Types-list
mailing list