headers
Amr Sabry | 2 Oct 2000 16:20
Picon
Picon
Picon
Favicon

Extended Submission Deadline (Continuations Workshop CW'01)

       The Third ACM SIGPLAN Workshop on Continuations (CW'01)
                    London, England, Jan. 16, 2001
      Collocated with POPL '01 (Jan. 17, 2001 -- Jan. 19, 2001)

                http://www.cs.indiana.edu/~sabry/cw01/

We have extended the submission deadline for CW'01 until October 15! 
See the web page for details. --Amr
Permalink | Reply | 0 comments |
headers
Benjamin C. Pierce | 2 Oct 2000 19:54

TACS 2001 CFP

                        Preliminary Call for Papers

                     Fourth International Symposium on
            Theoretical Aspects of Computer Science (TACS 2001)

                            October 29-31, 2001
                     Tohoku University, Sendai, Japan 

   The TACS Symposium will focus on the theoretical foundations of
   programming and their applications. The topics of interest include...

     Theoretical aspects of the design, semantics, analysis, and
     implementation of programming languages and systems; logics of
     programs; calculi and models of concurrency and parallel
     computation; theories of mobile computation and system security;
     categories and types in computer science; formalisms, methods, and
     systems for program specification, verification, synthesis, and
     optimization; constructive, linear, and modal logics in computer
     science.

   The scientific program will consist of invited lectures, contributed
   talks, and demo sessions.  A proceedings containing the full papers of
   the invited and contributed talks will be published by Springer-Verlag
   as a volume of Lecture Notes in Computer Science.  

   IMPORTANT DATES

   Submission deadline:         April 1, 2001
   Notification to authors:     June 15, 2001
   Deadline for final versions: July 20, 2001
(Continue reading)

Permalink | Reply | 0 comments |
headers
Pawel URZYCZYN | 3 Oct 2000 00:08
Picon
Favicon

TLCA -- WWW page and deadline reminder


Dear Typespeople,

Let me have the pleasure to announce that a permanent web page for
the conference series:

          Typed Lambda Calculi and Applications (TLCA)

has been established at the URL:

              http://www.mimuw.edu.pl/tlca

Let me also remind you that the submission deadline for TLCA 2001
       (to be held in Krakow, Poland from 2 to 5 May 2001) is:

                           OCTOBER 9

                  (that is, the next Monday!)

Details concerning submissions are available from:

               http://www.ii.uj.edu.pl/zpi/tlca2001/

Looking forward to see you in Krakow, 
Pawel Urzyczyn
Permalink | Reply | 0 comments |
headers
Horváth Zoltán | 3 Oct 2000 18:39
Picon
Picon

ECOOP 2001 --- Call for Contributions

[Although the list of topics does not specifically mention types,
ECOOP has a strong tradition of work on types for objects.  --BCP]

                 15th European Conference on

                 Object-Oriented Programming

            Eötvös Loránd University, Budapest, Hungary 

                     June 18 - 22, 2001

                   CALL FOR CONTRIBUTIONS

   ( Detailed information about the conference is available on the World
     Wide Web:  http://www.2001.ecoop.org )

    ECOOP 2001 is organized by the Department of General Computer Science
   of Eötvös Loránd University, Budapest, (ELTE) under the auspices of
   AITO (Association internationale pour les technologies objects). The 
   conference, tutorials and workshops will be held in Budapest in the 
   new university campus of Eötvös Loránd University.

EXECUTIVE COMMITTEE 
 Conference Chairs 
        Gerti Kappel (Johannes Kepler University of Linz) 
        László Varga (Eötvös Loránd University, Budapest)
 Programme Chair 
        Jørgen Lindskov Knudsen (University of Aarhus, Denmark)
 Organizing Chairs 
        László Kozma (Eötvös Loránd University, Budapest)
(Continue reading)

Permalink | Reply | 0 comments |
headers
Marjan Mernik | 5 Oct 2000 09:11
Picon

LDTA'2001 Remainder

                 EXACT DATE ANNOUNCEMENT

       First Workshop on Language Descriptions,
                 Tools and Applications
                        LDTA'2001
                      April 7, 2001
                      Genova, Italy

The workshop welcomes contributions on all aspects of formal
language definitions, with special emphasis on applications of these
language definitions and tools developed for or with these language
definitions.

For additional information, please check the following URL:
http://www-sop.inria.fr/oasis/LDTA/ldta.html

Schedule
 Submission of full paper           December  1, 2000
 Notification                       January  20, 2001
 Final version due                  February 20, 2001

Organizers
 Didier Parigot, Mark van den Brand and Marjan Mernik
Permalink | Reply | 0 comments |
headers
b.venneri | 9 Oct 2000 20:19
Picon

PLI 2001-Call for workshop proposals


                    CALL FOR  WORKSHOP PROPOSALS
                  Principles, Logics and Implementations
             of high-level programming languages (PLI 2001)
  			   Firenze, Italy

                      	September 3 - 7, 2001
                   http://music.dsi.unifi.it/pli01

PLI 2001, a federation of colloquia which includes ICFP 2001 (ACM-SIGPLAN
International Conference on Functional Programming) and PPDP 2001 (ACM-SIGPLAN
International Conference on Principles and Practice of Declarative
Programming), will be held in Firenze, Italy, September 3 -7 2001.
Affiliated workshops will be scheduled from  September 2 through September 8.

Researchers and practitioners are invited to submit workshop proposals,
that may be sent to the PLI 2001 Workshop Chair
Betti Venneri, venneri@...,
by e-mail (Postscript, Pdf, ASCII) with "PLI01 Workshop Submission"
in the subject header.

Proposals should include
* a short scientific justification of the proposed topic
(somehow related to the colloquia),
* names and contact information of the organizers,
* expected number of participants and  duration
(the preference is for one day-long workshops),
and any other relevant information (e.g., invited speakers, publication
policy, etc.).
(Continue reading)

Permalink | Reply | 0 comments |
headers
Andre Scedrov | 10 Oct 2000 00:28

CFP: Computer Security Foundations Workshop


                        Call For Papers

           14th IEEE Computer Security Foundations Workshop

                        June 11-13, 2001

            Keltic Lodge, Cape Breton, Nova Scotia, Canada

Sponsored by the Technical Committee on Security and Privacy
of the IEEE Computer Society

This workshop series brings together researchers in computer science
to examine foundational issues in computer security. For background
information about the workshop, and an html version of this Call for
Papers, see the CSFW home page http://www.csl.sri.com/csfw/csfw14/

This year the workshop will be in Cape Breton, Nova Scotia, Canada.

We are interested both in new results in theories of computer security
and also in more exploratory presentations that examine open questions
and raise fundamental concerns about existing theories.  Both papers
and panel proposals are welcome.

Possible topics include, but are not limited to: 

access control       authentication        data and system integrity
database security    network security      distributed systems security
anonymity            intrusion detection   security for mobile computing
security protocols   security models       decidability issues
(Continue reading)

Permalink | Reply | 0 comments |
headers
Furio Honsell | 13 Oct 2000 13:04
Picon
Favicon

FoSSaCS'01 deadline is Oct, 20

[Note the change in deadline from the original CFP... Oct 18 -> 20. --BCP]

 FoSSaCS 2001 - Foundations of Software Science and Computation Structures
         An ETAPS 2001 conference - Genova, Italy, 2 - 6 April, 2001

                    *** DEADLINE: October 20, 2000 ***                     

Full call for papers and submission page at http://fossacs.dimi.uniud.it/
ETAPS page is at http://www.disi.unige.it/etaps2001/

FoSSaCS seeks papers which offer progress in foundational research with a
clear significance to Software Sciences. Central objects of interest are
the algebraic, categorical, logical, and geometric theories, models, and
methods which support the specification, synthesis, verification,
analysis, and transformation of sequential, concurrent, distributed, and
mobile programs and software systems.  Topics covered are in:

 Semantic foundations of Computation and Software Sciences: e.g., type
 theory, domain theory, category theory; Operational and syntactic
 foundations of Computation and Software Sciences: e.g.,
 - computation processes over discrete and continuous data,
 - techniques for their manipulation, and analysis of their algorithmic properties; 
 - formal descriptions of general frames for the integration of
   specification techniques; 
 - automata; 
 - techniques for proving properties of protocols; 
 - transition systems; 
 - models of concurrency interactive and reactive systems, and
   corresponding calculi, algebras, and logics.
(Continue reading)

Permalink | Reply | 0 comments |
headers
Samson Abramsky | 13 Oct 2000 19:25
Picon
Picon

TLCA 2001: DEADLINE EXTENSION


This is to announce a deadline extension for:

   Fifth International Conference on
 Typed Lambda-Calculi and Applications

which will be held in Krakow, Poland, May 2nd-5th, 2001.

The new extended deadline is: MONDAY OCTOBER 30TH 2000.

The scientific scope of TLCA is quite broad, and includes topics from
proof theory and semantics to types and logical frameworks, and
functional and logic programming.

The original call-for-papers follows:
(see also the home page at http://www.ii.uj.edu.pl/zpi/tlca2001/)

********************************************************
*
*                    TLCA 2001
*
*          5th International Conference on
*        Typed Lambda Calculi and Applications
*                 May 2 -- 5, 2001
*                  Krakow, Poland
*
********************************************************
*                 CALL FOR PAPERS
********************************************************
(Continue reading)

Permalink | Reply | 0 comments |
headers
Jaco van de Pol | 19 Oct 2000 14:39
Picon
Picon
Favicon

2 PhD positions in Automated Verification

[ Relevance to types: Many `types' researchers are strongly
interested in theorem proving. Their students are highly
encouraged to apply for these positions. JvdP]

CWI (Center for Mathematics and Computer Science) in Amsterdam 
and TU/e (Eindhoven University of Technology) in Eindhoven
are looking for:

        2 PhD-researchers  (4 years)

for the following joint research project:

Integrating Techniques for the Verification of Distributed Systems
==================================================================

The goal of the project is the comparison and development of
algorithms for the automatic verification of large formulae (in the
boolean/arithmetic realm).  We also strive for efficient
implementations of such algorithms, in order to test their
effectiveness on benchmark formulae. These formulae arise from our
continuous investigations in the symbolic verification of distributed
systems.

More specifically, we expect promising results by comparing and
combining existing techniques, such as resolution, binary decision
diagrams and term rewriting.

One of the candidates will work at CWI (Amsterdam) in the group
"Specification and Analysis of Embedded Systems", the other at TU/e
(Eindhoven) in the group "Embedded Systems". These groups have
(Continue reading)

Permalink | Reply | 0 comments |

Gmane