headers
Pierre-Louis Curien | 3 Dec 2003 09:57
Picon

nominations for Goedel Prize 2004

[----- The Types Forum, http://www.cis.upenn.edu/~bcpierce/types -----]

This message is to draw your attention on the

Goedel Prize

http://www.math.utu.fi/ICALP04/godel2004.html

which is probably still not well-enough known in the communities of
programming languages, global computing, semantics, and logical / 
categorical / probabilistic foundations.

The deadline for nominations is Januuary 10, 2004

As a newly appointed member of the jury, I encourage submissions in 
this general area of research!

Please do not hesitate to forward this message to other relevant 
mailing lists.

Best regards,

Pierre-Louis Curien
Permalink | Reply | 0 comments |
headers
Jeremy.Gibbons | 4 Dec 2003 18:21
Picon
Picon

Mathematics of Program Construction

[----- The Types Forum, http://www.cis.upenn.edu/~bcpierce/types -----]

                                MPC 2004

                     7th International Conference on

                   MATHEMATICS OF PROGRAM CONSTRUCTION
                   -----------------------------------

                  http://www.cs.cornell.edu/Projects/MPC2004

                  Organised in conjunction with AMAST '04

                            12--14 July, 2004

                          Stirling, Scotland, UK

                             CALL FOR PAPERS

This conference aims to promote the development of mathematical
principles and techniques that are demonstrably useful in the
process of constructing computer programs, whether implemented
in hardware or software.

The focus of the conference is on techniques that combine
precision with conciseness, enabling programs to be constructed by
formal calculation.  Within this theme, the scope of the conference
is very diverse.  We welcome contributions to programming
methodology (for example, formal methods for program specification
and transformation), to programming paradigms (for example,
(Continue reading)

Permalink | Reply | 0 comments |
headers
Carlo Combi | 5 Dec 2003 12:36
Picon

TIME 2004 Symposium - call for papers

[----- The Types Forum, http://www.cis.upenn.edu/~bcpierce/types -----]

Prolog: papers are solicited from different research areas, dealing with 
  time-related issues. Several topics could be of interest for the TYPES 
community. Among them, I mention here: temporal logics for dynamic data 
types; types for temporal data; type evolution; programming languages 
for temporal representation and reasoning.

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

The 11th International Symposium on
TEMPORAL REPRESENTATION AND REASONING

  (TIME 2004)

http://www.greyc.unicaen.fr/time2004

Tatihou, Basse Normandie, France
1-3 July, 2004

The purpose of this symposium is to bring together active researchers 
from distinct research areas involving the representation of, or 
reasoning with, time. As with previous meetings in this respected 
series, one of the main goals of the  TIME symposium will be to bridge 
the gap between theoretical and applied research in temporal 
representation and reasoning. Thus, we especially encourage submissions 
concerning temporal aspects within areas such as Artificial 
Intelligence, Temporal/Spatial Databases and Applications of Temporal 
Logic in Computer Science in order to achieve a multi-disciplinary 
perspective on the topic and to benefit from cross-fertilisation of ideas.
(Continue reading)

Permalink | Reply | 0 comments |
headers
Jamie Andrews | 5 Dec 2003 22:28
Picon
Favicon

Tech report: "Cut Elimination for a Weakly Typed Higher Order Logic"

[----- The Types Forum, http://www.cis.upenn.edu/~bcpierce/types -----]

Readers might be interested in the following technical report,
now available on

http://www.csd.uwo.ca/faculty/andrews/papers/

James H. Andrews. "Cut Elimination for a Weakly Typed Higher
Order Logic."  Technical Report No. 611, Department of Computer
Science, University of Western Ontario, December 2003.

Abstract:
Cut-elimination is proved for a weakly-typed higher order logic
based on those presented by Gilmore. The logic allows
lambda-abstraction over terms and formulas, permitting all terms
of the untyped lambda calculus including the Y combinator, and
providing various methods of expressing recursive functions and
predicates.  Consistency is achieved in the logic via a
nominalist distinction between use and mention of terms. This
report is intended as a companion to Andrews, "A Weakly-Typed
Logic with General Lambda Terms and Y-Combinator", Works in
Progress Track, TPHOLs 2002, which presented the syntax,
semantics and consistency of the logic.

cheers
--Jamie.
Permalink | Reply | 0 comments |
headers
Curtis Clifton | 8 Dec 2003 18:07

CFP FOAL 2004: Foundations of Aspect-Oriented Languages

[----- The Types Forum, http://www.cis.upenn.edu/~bcpierce/types -----]

  FOAL: Foundations of Aspect-Oriented Languages

    A one day workshop affiliated with AOSD 2004 in Lancaster, UK, on 
March 23,
    2003.

  Themes and Goals

   FOAL is a forum for research in foundations of aspect-oriented 
programming
   languages. Areas of interest include but are not limited to:

     * Semantics of aspect-oriented languages
     * Specification and verification for such languages
     * Type systems
     * Static analysis
     * Theory of testing
     * Theory of aspect composition
     * Theory of aspect translation (compilation) and rewriting

   The workshop aims to foster work in foundations, including formal 
studies,
   promote the exchange of ideas, and encourage workers in the semantics and
   formal methods communities to do research in the area of aspect-oriented
   programming languages. All theoretical and foundational studies of this
   topic are welcome.

   The goals of FOAL are to:
(Continue reading)

Permalink | Reply | 0 comments |
headers
Alex Simpson | 12 Dec 2003 12:53
Picon
Picon
Favicon

LICS 2004: 2nd CFP

[----- The Types Forum, http://www.cis.upenn.edu/~bcpierce/types -----]

                          CALL FOR PAPERS

                 Nineteenth Annual IEEE Symposium on 
                LOGIC IN COMPUTER SCIENCE (LICS 2004)

               July  14th - 17th, 2004, Turku, Finland
              http://www.lfcs.informatics.ed.ac.uk/lics/

The LICS Symposium is an annual international forum on theoretical and
practical topics in computer science that relate to logic in a broad
sense.  We invite submissions on that theme.  Suggested, but not
exclusive, topics of interest for submissions include: automata
theory, automated deduction, categorical models and logics,
concurrency and distributed computation, constraint programming,
constructive mathematics, database theory, domain theory, finite model
theory, proof theory, formal aspects of program analysis, formal
methods, hybrid systems, lambda and combinatory calculi, linear logic,
logical aspects of computational complexity, logics in artificial
intelligence, logical representation of knowledge, logics of programs,
logic programming, modal and temporal logics, model checking,
programming language semantics, reasoning about security, rewriting,
specifications, type systems and type theory, and verification.

Important Dates: 
Authors are required to submit electronically a paper title and a
short abstract of about 100 words before submitting the extended
abstract of the paper.
(Continue reading)

Permalink | Reply | 0 comments |
headers
Andrew Myers | 29 Dec 2003 20:34
Picon
Favicon

Polyglot extensible compiler framework release 1.1.1

[----- The Types Forum, http://www.cis.upenn.edu/~bcpierce/types -----]

We are pleased to announce the availability of version 1.1.1 of the
Polyglot extensible compiler framework for Java. Polyglot is a complete
Java 1.4 compiler front end, implemented as a Java class library that
is easily extended through inheritance to create a modified compiler.
Polyglot is useful for implementing domain-specific languages, for
exploring language design ideas, and for adding new optimizations or
analyses to a Java compiler.

Polyglot offers some advantages beyond a cleanly written Java front
end.  Extension code can be kept entirely separate from the (unmodified)
Polyglot library, and the amount of extension code tends to scale well
with the degree of modification to Java.  Extension languages can
be cleanly extended further using the same methodology.  The design
features that make this possible are described in the following paper:

    Nathaniel Nystrom, Michael R. Clarkson, Andrew C. Myers.
    Polyglot: An Extensible Compiler Framework for Java.  12th Int'l
    Conference on Compiler Construction, Apr. 2003.  LNCS 2622, pp.138-152.
    http://www.cs.cornell.edu/andru/papers/polyglot.pdf

This is the fifth release of Polyglot, incorporating many bug fixes and
extensions based on user feedback and testing.  It is released under
LGPL, which is relatively permissive.  Polyglot is currently being
developed and maintained by Nate Nystrom and Stephen Chong.

The Polyglot framework has been used to implement more than a dozen
major and minor extensions to Java. These extensions include new
expression forms, new type system features, new compiler passes, and
(Continue reading)

Permalink | Reply | 0 comments |
headers
Eelco Visser | 23 Dec 2003 15:34
Picon
Picon
Favicon

First CFP: GPCE'04 -- Generative Programming and Component Engineering

[----- The Types Forum, http://www.cis.upenn.edu/~bcpierce/types -----]

                         FIRST CALL FOR PAPERS

----------------------------------------------------------------------
                   Third International Conference on
       Generative Programming and Component Engineering (GPCE'04)

                     Vancouver, October 24-28, 2004
                       co-located with OOPSLA 2004

                          http://gpce04.gpce.org
----------------------------------------------------------------------

------------------------------------
Important Dates
------------------------------------

    +ACo Pre-submission: March 12, 2004
    +ACo Submission:     March 19, 2004

------------------------------------
Scope
------------------------------------

Generative and component approaches have the potential to revolutionize 
software development in a similar way as automation and components 
revolutionized manufacturing. Generative Programming (developing 
programs that synthesize other programs), Component Engineering (raising 
the level of modularization and analysis in application design), and
(Continue reading)

Permalink | Reply | 0 comments |
headers
Jonathan Ginzburg | 30 Dec 2003 03:02
Picon
Favicon

CATALOG'04: first CFP

[----- The Types Forum, http://www.cis.upenn.edu/~bcpierce/types -----]

There has recently been increasing interest in applying type theoretic 
techniques to problems of natural language semantics, specifically 
dialogue [see e.g. the Swedish Science Council's project "Records, types 
and computational dialogue semantics" involving Cooper, Coquand et al]. 
We would welcome submissions on related topics.

                         First Call for Papers

                            CATALOG'04

EIGHTH WORKSHOP ON THE SEMANTICS AND PRAGMATICS OF DIALOGUE (SEMDIAL)

                         Pompeu Fabra University
                             Barcelona
                          July 19-21 2004

		   (Apologies for Multiple Postings)

Workshop URL: http://www.upf.edu/catalog04
---------------------------------------------------------------------

Catalog'04 will be the eighth in a series of workshops that aims to bring
together researchers working on the semantics and pragmatics of dialogues
in fields such as artificial intelligence, formal semantics and pragmatics, computational
linguistics, philosophy, and psychology.  The Dial/Log conferences are always stimulating and fun and
Barcelona, which will host ACL 2004 immediately following Catalog'04, is a great place to visit.
Barcelona will also host, during the summer of 2004, its 'Forum 2004', a huge cultural fair full of events,
exhibits, and performances (http://www.barcelona2004.org/eng/). So
(Continue reading)

Permalink | Reply | 0 comments |

Gmane