headers
Matthias Felleisen | 1 Jun 2000 18:55

Scheme and Functional Programming 2000

                           CALL FOR PAPERS

                   Scheme and Functional Programming

                   Montreal, Canada, 17 September 2000

         The workshop forms part of PLI 2000, which consists 
         of the ICFP and PPDP conferences and other workshops.

             http://www.cs.rice.edu/~matthias/Scheme2000/

       NOTE: [The Web page now contains instructions for submission.]

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

Background and Theme:
---------------------

   Over the past few years, Scheme and its implementations have made
   tremendous progress in support of generative programming, shell
   scripting, COMponent support and distributed programming, graphics
   and GUI support, OO programming, and various other aspects of
   engineering real-world software. We are calling on implementors and
   users of Scheme systems to share their ideas at a workshop during
   PLI 2000 in Montreal.

   The organizers goal is to attract presentations on a broad spectrum
   of topics:

    * applications
(Continue reading)

Permalink | Reply | 0 comments |
headers
Mark Aagaard | 2 Jun 2000 00:34
Picon

TPHOLs: student bursaries available!


TPHOLs 2000 Student Bursaries

A grant from the US National Science Foundation (NSF) allows
us to offer funding to students to attend TPHOLs 2000 
(The 13th International Conference on Theorem Proving and 
Higher Order Logics) in Portland, Oregon August 14-18, 2000.
See the web page at:
    http://www.cse.ogi.edu/tphols2000/
We have $10 000 available for bursaries.

We are now accepting applications from students for a bursary.  
  Deadline for applications: 20 June 2000
  Notification of funding: 28 June 2000

Please send your application to:
  tphols2000@...
and include the following information:
  1. name, address, phone number, email address
  2. are you a full-time or part-time student?
  3. degree in progress and year within the program of study
  4. estimated costs including accommodations
  5. would you like to attend the 
     - combined tutorials and conference?
     - tutorials only?
     - conference only?
  7. are you presenting a paper?  are you an author of a paper?
  8. do you have other sources of travel funds to attend this
    conference?  (answering yes to this question, doesn't
    necessarily mean that you won't get a student bursary)
(Continue reading)

Permalink | Reply | 0 comments |
headers
Andrei Voronkov | 2 Jun 2000 14:46
Picon
Picon

LPAR'2000: deadline extended


  [ deadline extended to June 7 ]

                              LPAR'2000 

                   7th International Conference on

            LOGIC for PROGRAMMING and AUTOMATED REASONING

                 Reunion Island, November 6-10, 2000

       
                           CALL FOR PAPERS 

       http://www.cs.man.ac.uk/~voronkov/LPAR/2000/general.html

Location:

LPAR'2000 will be held November 6-10, 2000, on Reunion Island, a small
french island in the Indian Ocean, to the east of Madagascar. It will
be followed by a "Workshop on Implementations of Logic", November 11-12.

Topics:

* automated reasoning               * lambda and combinatory calculi 
* interactive theorem proving       * constructive logic and type theory
* implementations of logic          * computional interpretations of logic
* design of logical frameworks      * logical foundations of programming
* program & system verification     * logical aspects of concurrency
* model checking                    * program extraction from proofs
(Continue reading)

Permalink | Reply | 0 comments |
headers
gmh | 2 Jun 2000 18:08
Picon

Four lectureships in Nottingham

Dear all,

We are currently advertising four new lectureships in Nottingham.  
There are no particular research areas specified for these positions,
but applications from type systems researchers would be most welcome.

Graham Hutton

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

		     THE UNIVERSITY OF NOTTINGHAM

	School of Computer Science and Information Technology

			  Four lectureships

Applications are  invited for the  above posts in a  rapidly expanding
School   based   at   one   of   the   UK's   strongest   research-led
universities. The School was graded  4 in the 1996 Research Assessment
Exercise and is  now building up its research  strengths for a further
improvement in  grade.  These posts are  part of a  steady increase in
the  size of the  School accompanied  by a  move to  new purpose-built
accommodation  in September 1999.  Although the  successful candidates
will have the opportunity of  teaching within their specialist area at
undergraduate and postgraduate level, there will also be a requirement
to teach  general computer science and  information technology modules
outside of any particular specialisation.

Candidates should already  have a PhD in computer  science, or another
closely related discipline, together  with strong evidence of existing
(Continue reading)

Permalink | Reply | 0 comments |
headers
Samson Abramsky | 2 Jun 2000 19:39
Picon
Picon

TLCA 2001

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

The TLCA series of conferences aims at providing a forum for the
presentation and discussion of current research in a field which was
originally rather restricted, but has now expanded considerably.
Typical areas include, but are not limited to:

Proof theory: 
Natural Deduction and Sequent Calculi, Cut elimination and
Normalization, Computational interpretations of Classical Logic, 
Linear Logic and Proof Nets, Bounded systems capturing complexity
classes

Semantics: 
Denotational semantics, Operational semantics, Game  semantics,
Realizability, Categorical models, Logical Relations, Full Completeness

Implementation:
Abstract machines, Parallel execution, Optimal Reduction
(Continue reading)

Permalink | Reply | 0 comments |
headers
Computer Science Logic 2000 | 5 Jun 2000 14:18
Picon

CSL2000 : Early Registration extended until 7 June !

- We have extended the early registration deadline until
  7 June - Wednesday this week: Register now!
- The program is updated - please check the web page for the
  latest version of the program.

Thorsten

                              CSL 2000
               2nd CALL FOR REGISTRATION AND PARTICIPATION

           14th Annual Conference of the European Association
                   for Computer Science Logic (EACSL)

                Fischbachau, Germany, August 21-26, 2000

           http://www.tcs.informatik.uni-muenchen.de/csl2000/

        1. ORGANIZATION                 4. REGISTRATION 
        2. SCIENTIFIC PROGRAM           5. GRANTS
        3. SOCIAL PROGRAM               6. LOCATION and ACCOMODATION
                                        7. TRAVEL INFORMATON

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

1. ORGANIZATION 

CSL 2000 is the 14th Annual Conference of the European Association for Computer
Science Logic.

Program commitee:
(Continue reading)

Permalink | Reply | 0 comments |
headers
Yves Bertot | 5 Jun 2000 15:54
Picon
Picon
Favicon

PhD grant at INRIA Sophia Antipolis

See the second part of this message for a translation in English.

  Bourse de doctorat à l'INRIA Sophia Antipolis
                Projet Lemme

le projet Lemme de l'INRIA Sophia Antipolis propose une bourse de
doctorat centrée sur les méthodes formelles basées sur Coq et sur la
description de langages de programmation adaptés aux cartes à puces.
Cette thèse s'intègrera dans le cadre d'une collaboration avec GemPlus,
entreprise à la pointe du développement des cartes à puces, Les
techniques étudiées devront permettre de développer des vérificateurs
de byte-code formellement certifiés pour des langages approximant le
langage JavaCard.  L'objectif à terme est de fournir un vérificateur
de byte-code entièrement prouvé correct pour le langage JavaCard tel
qu'il est défini par JavaSun.

L'étudiant travaillant avec cette bourse doctorale aura l'occasion
d'approfondir ses compétences dans un domaine à l'intersection des
domaines théoriques les plus ambitieux de la logique et de
l'informatique fondamentale et des champs d'applications les plus
dynamiques de l'évolution récente des technologies de l'information et 
de la communication (authentification, sécurité sur les réseaux,
commerce électronique...).

Les candidats intéressés devront envoyer un curriculum vitae et une
lettre de motivation à Yves Bertot (Yves.Bertot@...).

Liens utiles:

http://www-sop.inria.fr/lemme
(Continue reading)

Permalink | Reply | 0 comments |
headers
Etaps 2001 | 6 Jun 2000 16:06
Picon
Favicon

ETAPS 2001: FIRST ANNOUNCEMENT & CALL FOR SUBMISSIONS

                              ETAPS 2001
                          APRIL 2 - 6, 2001
                           GENOVA - ITALY

The European Joint Conferences on Theory and Practice of Software
(ETAPS) is a loose and open confederation of conferences and other
events that has become the primary European forum for academic and
industrial researchers working on topics relating to Software Science.

                 http://www.disi.unige.it/etaps2001/

FIRST ANNOUNCEMENT  & CALL FOR SUBMISSIONS
-----------------------------------------------------------------------
5 Conferences - Tutorials - Tool Demonstrations - 7 Satellite Events
-----------------------------------------------------------------------

Conferences
-----------------------------------------------------------------------
CC 2001: International Conference on Compiler Construction
Chair: Reinhard Wilhelm

ESOP 2001, European Symposium On Programming
Chair: David Sands

FASE 2001, Fundamental Approaches to Software Engineering
Chair: Heinrich Hußmann

FOSSACS 2001,
Foundations of Software Science and Computation Structures
Chair: Furio Honsell
(Continue reading)

Permalink | Reply | 0 comments |
headers
Olivier Danvy | 7 Jun 2000 07:28
Picon
Favicon

Christopher Strachey

The original reference to parametric and ad-hoc polymorphism is finally
published: Christopher Strachey's "Fundamental concepts in programming
languages" is available online at
	http://www.wkap.nl/journals/lasc
(Click on "Free Online Sample Copy".)

At the occasion of the 25th anniversary of Christopher Strachey's passing
away, the journal Higher-Order and Symbolic Computation is dedicating to
his memory a special issue, containing "Fundamental concepts" (with a
foreword by Peter Mosses), the original monograph on continuations (with
a foreword by Christopher Wadsworth), and a collection of tributes by Rod
Burstall, R. Kent Dybvig, Mike Gordon, David Hartley, Tony Hoare, Michael
Jackson (the computer scientist), Peter Landin, Robert Milne, Roger
Penrose, Martin Richards, David Schmidt, Dana Scott, Bob Tennent, and Dan
Ghica.

For the next coming weeks, the special issue is freely available online.
(If your institution subscribes to HOSC online, then the issue is
permanently available by clicking on "Browse through the Table of
Contents" and then on "Volume 13, Issue 1/2, April 2000".)

-- Olivier Danvy, co-Editor in Chief, HOSC
Permalink | Reply | 0 comments |
headers
Alan Jeffrey | 8 Jun 2000 20:41
Picon

HOOTS 2000 invited speakers

Dear all,

The HOOTS programme commitee is pleased to announce that Cedric Fournet of 
Microsoft Research, and Ian Mason of University of New England, have agreed
to give invited talks at this year's workshop.  Microsoft Research has
generously sponsored these speakers.  

Alan.

PS: The deadline for papers is now only two weeks away!
-- 
Alan Jeffrey               http://fpl.cs.depaul.edu/ajeffrey/
CTI, DePaul University, 243 S. Wabash Ave, Chicago 60604, USA

                              HOOTS 2000

                         Call For Papers for
                 The Fourth International Workshop on
           Higher Order Operational Techniques in Semantics

                   A satellite workshop of PLI 2000
                      Montreal, September 21-22

        HOOTS 2000 home page: http://hoots.cs.depaul.edu/
        HOOTS home page:      http://www.cl.cam.ac.uk/users/amp12/hoots
        PLI 2000 home page:   http://www.cs.yorku.ca/pli-00/

SCOPE The fourth workshop on Higher Order Operational Techniques in
Semantics (HOOTS 2000) will address fundamental principles and
important innovations in the definition, analysis, and application of
(Continue reading)

Permalink | Reply | 0 comments |

Gmane