Types, Processes and Compositional Program Logic.

[The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]

Dear colleagues,

I have done a small work on types and process/program logics.
It shows, among others, that types and compositional program
logics are in a tighter relationship than might have been
appreciated before, especially in the context of higher-order
programming languages.

The following link lists several papers related to this
topic. The title and abstract of the main paper are attached
at the end of this mail.

    http://www.dcs.qmul.ac.uk/~kohei/logics

In addition to the main paper, two short papers (2 and 4 in
the web page) would offer concise summaries of some of the
key ideas.

Your comments on this work will be greatly appreciated.

Best wishes,

kohei

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

Title: Process Logic and Duality, Part I.

TIME 2004 call for participation and preliminary program

[The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]

**********************************************************************

                    TIME 2004:
                Call for participation
             http://www.greyc.unicaen.fr/time2004

**********************************************************************

             Call for Participation

                 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.

- 14 papers were selected out 40 submitted papers, for full
presentation at the Symposium.

IJCAR 2004 call for participation

[The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]

                            IJCAR 2004
                        Call for participation

The Second International Joint Conference on Automated Reasoning (IJCAR)
is the fusion of several major conferences in Automated Reasoning:
   * CADE (The International Conference on Automated Deduction),
   * FTP  (The International Workshop on First-Order Theorem Proving),
   * TABLEAUX (The International Conference on Automated Reasoning with
     Analytic Tableaux and Related Methods),
   * CALCULEMUS  (Symposium on the Integration of  Symbolic Computation and
     Mechanized Reasoning), and
   * FroCoS (Workshop on Frontiers of Combining Systems).
These five events will join for the first time at the IJCAR conference
in Cork in July 2004.

Registration to IJCAR 2004 is open: the deadline for early registration is

                              May 21, 2004

Please see http://4c.ucc.ie/ijcar/ for all registration, accomodation,
and travel details.

Technical programme of the main conference

ECOOP 2004 - Call for Participation

[The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]

----------------------------------------------------------------
NEW DEADLINE FOR EARLY REGISTRATION:  May 17
----------------------------------------------------------------

                    Call for Participation

                         ECOOP 2004

                 18th European Conference on
                 Object-Oriented Programming

              University of Oslo, 14-18 June 2004

                http://www.ifi.uio.no/ecoop2004/

-----------------------------------------------------------------
 NEW DEADLINE FOR EARLY REGISTRATION:  May 17
-----------------------------------------------------------------

Invited speakers
   Matthias Felleisen: Functional Objects
   Thomas A. Henzinger: Richer Interfaces for Software Modules

Banquet speaker
   Douglas C. Engelbart, Bootstrap Institute

Technical Program Sessions   
  Programming Concepts            

Suggestions for Advanced Programming courses?

[The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]

Some of us at Penn are thinking about a new junior-level undergraduate
course on "Advanced Programming."  The goal is to take students who are
already *competent* programmers (having already done a considerable amount
of coding in several courses during the first two or two and a half years)
and give them a sense of how really *good* programmers work.  

Of course, we'd prefer to do this in the context of a civilized programming
language!  In particular, discussing modularity will be much easier in a
language with a modern module system or powerful type-system support for
modular programming -- this makes SML, OCaml, and Haskell natural choices
[*].  However, advanced textbooks and related course materials such as
projects -- critical for the success of such a course -- are not so
plentiful for these languages.

There must be lots of Types readers who have worked on similar course
designs.  Would you be willing to share some of your experiences?

Please reply directly to me and I will summarize to the list.

Regards,

     Benjamin

[*] I know Scheme also has good modularity support these days, so this is
another possibility; I would be interested in hearing about what kind of
advanced coursework people are doing in Scheme.  However, our taste runs to
statically typed languages.

RE: Suggestions for Advanced Programming courses?

[The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]

Aha!  Great minds think in similar ways, I guess.  I've been meaning to
invent just such a course here at CMU.  I was thinking of calling it
"Programming Methodology", or maybe "Real Software Engineering".  What I
want to do is to teach what it means to write good code, and how to do
it.  Students just do not know.  My idea is to be integrative, putting
together the various ideas they get in various classes (good algorithms,
typed language, modular design, specification and verification, and so
on).

Let me know what you come up with!

Bob

-----Original Message-----
From: types-list-bounces@...
[mailto:types-list-bounces@...] On Behalf Of Benjamin
Pierce
Sent: Sunday, May 09, 2004 3:30 PM
To: types@...
Subject: [TYPES] Suggestions for Advanced Programming courses?

[The Types Forum,
http://lists.seas.upenn.edu/mailman/listinfo/types-list]

Some of us at Penn are thinking about a new junior-level undergraduate
course on "Advanced Programming."  The goal is to take students who are
already *competent* programmers (having already done a considerable
amount

P.S. to "Suggestions for Advanced Programming course materials"

[The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]

I should have added that we are, of course, also considering Java and C#
as possibilities.  But the students already see a lot of Java (and C) in
their other coursework, so it would be nice to expose them to some of
the programming ideas and habits of thought encouraged by functional
languages (persistent data structures, structural recursion, ...).

Ideally, one would do 3/4 of the course in a functional language and use
the remaining time to show students how they can transfer idioms from
these languages to more commonly used languages such as Java and C#.

    - Benjamin

Call for Participation: Fourth International Workshop on Reduction Strategies in Rewriting and Programming (WRS'04)

[The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]

===============================================================
Final call for participation, WRS'04, June 2, 2004.
We apologize for multiple copies of this announcements
===============================================================

            ***************************************    
            *                                     *
            *  WRS'04     CALL FOR PARTICIPATION  *
            *                                     *
            ***************************************

The Fourth International Workshop on Reduction Strategies in
Rewriting and Programming (WRS'04) will be held on June, 2, 2003,
in Aachen, Germany, as a part of the Federated Conference on
Rewriting, Deduction, and Programming (RDP'04).

INVITED TALKS will be given by:

    *  Olivier Danvy (University of Aarhus, Denmark),
       Normalization by Evaluation
    *  Jan Willem Klop (Vrije Universiteit Amsterdam, The Netherlands),
       Reduction Cycles

ROUND TABLE Strategies in Programming Languages Today

    *  Moderator: Salvador Lucas
    *  Speakers: Francisco Duran, Claude Kirchner, Ralf Laemmel

Computational Methods in Systems Biology - Final Call for Participation.

[The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]

Biological modeling is increasingly in search of sophisticated modeling 
frameworks and automated tools for model analysis and refinement. Some 
models based on concurrent languages are actively being investigated in 
the programming language community. Part of the purpose and specificity 
of CMSB is to bring a computer science audience in touch with this 
potentially immense field of application.

***************************************************
CMSB04 FINAL CALL FOR PARTICIPATION
( Apologies for multiple postings -- Please forward to all who may be 
interested)

Second International Workshop on Computational Methods in Systems 
Biology 2004
May 26 - 28, 2004
Hotel Meridien Montparnasse, Paris, France
Organized by : Genoscope, Evry – Genopole, Evry – CNRS – University of 
Paris – BioPathways Consortium
Conference website: http://www.biopathways.org/CMSB04/

********** KEYNOTE SPEAKERS ***********
Trey Ideker, University of California, San Diego, USA
Rene Thomas, Free University of Brussels, Belgium
Alfonso Valencia, CNB-CSIC, Madrid, Spain

******* CONFERENCE PROGRAM ********

The CMSB (Computational Methods in Systems Biology) conference series

Final CFP: Workshop on Software Analysis and Development for Pervasive Systems (SONDA 2004)

[The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]

[EXTENDED DEADLINE:  May 21, 2004]

This CFP might be of interest to to the TYPES community.
Among others, solicited topics include: abstract data types, term  
reduction, lambda calculus, concurrent, distributed, and mobile  
programming.
Please note that the scope ranges from very high level semantical and  
operational issues to low level algorithms and applications.

[EXTENDED DEADLINE:  May 21, 2004]

======================================================================== 
=================

			* Call for Papers *

    Workshop on Software Analysis and Development for Pervasive Systems

			    SONDA 2004

               http://www.asap.ecs.soton.ac.uk/sonda/

                August 24-28, 2004 - Verona (Italy)
                - Held in conjunction with LOPSTR, PEPM, PPDP and SAS.

SCOPE

The emergence of the PC has undoubtedly affected our lives in many