Sjouke Mauw | 1 Jun 14:19 1999

CONCUR'99 Call for participation

Attachment: application/octet-stream, 6147 bytes
Didier.Remy | 6 Jun 12:32 1999

Call-For-Participation: PLI 99 = ICFP + PPDP + HOOTS + IDL + ...

                           CALL FOR PARTICIPATION

                                   PLI 99

                  Principles, Logics, and Implementations
                    of high-level programming languages

                               Paris, France,
                       September 27 - October 1, 1999



The colloquium on Principles, Logics, and Implementations of high-level
programming languages is a collection of conferences and workshops aimed at
the advancement of high-level programming languages. The first edition of
PLI will be held in September 1999 in Paris and will bring together two
popular conferences ICFP and PPDP (previously known as PLILP/ALP) focused on
functional and declarative programming languages, and a collection of
related satellite events.

PLI 99 comprises the following conferences and workshops: 

   ICFP    International Conference on Functional Programming 
   PPDP    Principles and Practice of Declarative Programming

Two-day workshops: 

   HOOTS   Higher-Order Operational Techniques in Semantics 
   IDL     Implementation of Declarative Languages 

One-day workshops: 

   COCL     Component-based Software Development in Computational Logic 
   DPS      Declarative Programming with Sets 
   FDPE     Functional and Declarative Programming in Education 
   HASKELL  workshop 
   LFM      Logical Frameworks and Meta-languages 
   OOSDS    Object-oriented Specification Techniques for
            Distributed Systems and Behaviours 
   WAAAPL   Workshop on Algorithmic Aspects of Advanced Programming Languages 


A detailed presentation of the conference including a preliminary program, 
registration and accomodation information and forms are all avalaible on the
WEB. The rest of this message is a summary of the PLI home page. 


|    Sep 27         Sep 28   |     Sep 29    |    Sep 30          Oct 1    |
|    Monday        Tuesday   |   Wednesday   |   Thursday        Friday    |
|                                   |                                      |
|              I C F P              |                P P D P               |
|                                   |                                      |
|            I D L           |      FDPE     |          H O O T S          |
|     COCL     |     LFM     |               |    WAAAPL    |   HASKELL    |
|    OOSDS     |     DPS     |                                             |
|                            |    Banquet    |                             |


The registration fees and the registration procedure are described on the
WEB. To benefit from the early bird rate, your registration and payment must
be received by August 20. If you are applying for a TMR grant, your TMR
application form must be received by July 1.

For registrations that cannot be made using the WEB form, please contact
the conference secretariat. 


Young European Participants (aged of 35 or younger) may apply for financial
support from the Training and Mobility of Researchers (TMR) program until
July 1. Information about TMR grants and the application form are available
on the WEB at the address given above and can also be obtained by fax from
the conference secretariat.

Students who will be presented a paper at either ICFP 99 or PPDP 99 may
apply for travel fellowships from the PAC fund


PLI 99 will be held in Paris, at the Maison de la Chimie. 

    28, rue Saint Dominique
    75007 PARIS
    tél: 33 (1) 40 62 27 00
    fax: 33 (1) 45 55 98 62


The ATI agency offers a large panel of hotels with different categories of
comfort and prices. Rooms have been pre-booked in several hotels that are
usually at a couple of metro stations from the Maison de la Chimie. Walking
from your hotel to Maison de la Chimie will be possible only if you have
time or good legs, since unfortunately, there are not very many convenient
lodging right next to the Maison de la Chimie.

To book a room through the ATI, please print and fill the booking form
available in (gzipped) Postscript or PDF format and send it directly to
ATI. You will be charged a 50 FF fee per file.

       September is usually very busy in Paris, so you should arrange
                for your accommodation as soon as possible.


For any information, please contact the conference secretariat

    INRIA Rocquencourt
    Bureau des Colloques
    BP 105
    78153 Le Chesnay Cedex - France

    Phone: +33 1 3963 5675
    Fax: +33 1 3963 5638
    Email: symposia@...


PLI 99 is organized by INRIA in collaboration with the ACM SIGPLAN and with
the sponsorship of the CNRS (France), Compaq (USA), Compulog (EU), European
Association for Programming Languages and Systems (EU), France-Telecom
(France), MENRT (France), Microsoft-Research (UK), Trusted Logic (France),
and the EU program "Training and Mobility of Research" (EU).

Zhaohui Luo | 7 Jun 12:50 1999

PhD Studentship

			EPSRC PhD Studentship

		    Department of Computer Science
`		      University of Durham, U.K.

Applications are invited from students with good undergraduate or MSc
degrees in computer science or mathematics to study for a PhD degree. A
U.K. EPSRC research studentship is available for a suitably qualified
candidate for the October 1999 entry (or later). It covers tuition fees
and maintenance for three years.

The successful candidate is expected to work in the Computer-Assisted
Reasoning Group (URL:, and in particular with
Dr. Z. Luo and Dr. R. Pollack on the EPSRC-funded project `An open proof
checker based on type theory' ( 
The student's work will involve both the theory and pragmatics of
type-theoretic proof checking. 

Further enquiries and applications can be sent to 

Dr. Zhaohui Luo, 
Dept. of Computer Science, 
University of Durham, 
South Road, 
Durham DH1 3LE, 

Email:  Zhaohui.Luo@... 
Phone:  +44 (0)191 374 3657
Fax:    +44 (0)191 374 2560 

Application forms can be obtained either from the above address or the
Computer Science Office of Durham University. 


IFIP TC1 TCS Conference Y2000 in Japan

         "International Conference on Theoretical Computer Science"

         --- Exploring New Frontiers of Theoretical Informatics ---

                         organized by

      IFIP Technical Committee TC1 on Foundations of Computer Science

                       in cooperation with

              Information Processing Society of Japan
          Japan Society of Software Science and Technology (*)
 Institute of Electronics, Information and Communication Engineers of Japan (*)
         European Association of Theoretical Computer Science
                  Association for Symbolic Logic (*)
             Association for Computing Machinery-SIGACT

                    (*) indicates "to be verified".

Date:     August 17 - 19, 2000

Place:    Aoba Memorial Building, Faculty of Engineering, Tohoku University,
          Sendai, Japan

Web page:

Email:    For any inquiry on TCS2000, 
          <<to be formed as follows>>

Conference Co-Chairs:
    Giorgio Ausiello, IFIP TC1 Chair and University of Roma "La Sapienza"
    Takayasu Ito, Tohoku University

Steering Committee:
    Giorgio Ausiello, University of Roma "La Sapienza" (chair)
    Wilfried Brauer, Technical University of Muenchen
    Takayasu Ito, Tohoku University
    Michael Rabin, Harvard University
    John Staples, University of Queensland
    Joseph Traub, Columbia University

Organizing Committee: 
    Co-Chairs:  Takayasu Ito, Tohoku University
                Yasuyoshi Inagaki, Nagoya University
                Setsuo Arikawa, Kyushu University
    Members:    (To be announced)

Program Committee:
   TRACK (1): "Algorithms, Complexity and Models of Computation"
    Co-Chairs:  Jan van Leeuwen, University of Utrecht
                Osamu Watanabe, Tokyo Institue of Technology
   TRACK (2): "Logic, Semantics, Specification and Verification"
    Co-Chairs:  Peter D. Mosses, University of Aarhus
                Masami Hagiya, University of Tokyo
   PC Members:  (To be announced)

Major Topics: <Tentative list of major topics>                                       
   TRACK (1): "Algorithms, Complexity and Models of Computation"              
     Analysis and design of algorithms                                  
     Continuous algorithms and complexity                              
     Computational complexity                                        
     Descriptional complexity                                         
     Cellular automata and machines                                    
     Automata and formal languages                                    
     Hardware algorithms and parallel algorithms                          
     Computational learning theory
     Algorithmic aspects in discovery science                                     
     Molecular computing and algorithmic aspects of bioinformatics
     Probabilistic and randomized algorithms                             
     Quantum computing                                           
     Neural network computing
     Evolutionary and genetic algorithms
     Computational geometry                                          
     Computational mathematical finance                               
     Bridging complexity and semantics

   TRACK (2): "Logic, Semantics, Specification and Verification"                   
     Logic and semantics for programs and languages                      
     Foundations of system specification                               
     Term rewriting systems                                          
     Proofs and specifications in computer science                         
     Types and category theory in computer science                       
     Theoretical aspects of specification and verification of 
        hardware and software
     Theoretical aspects of software concepts                             
     Concurrency theory                                              
     Theory of parallel and distributed systems                            
     Theory of internet languages and systems                               
     Constructive and non-standard logics in computer science              
     Foundations of security                                              
     Theoretical foundations of data bases                                  
     Logic, specification and verification of hybrid and real-time systems
     Theoretical foundations of open systems                                
     Bridging semantics and complexity                                 

Keynote Plenary Speakers:    (to be announced) 

Invited Speakers for TRACKs: (to be announced)

Call for Papers: (to be announced)

  [Important Dates]

    Deadline for submission:     January 28 (Friday), 2000                            

    Notification of acceptance:  April 7 (Friday), 2000                              

    Deadline for final text:     May 5 (Friday), 2000                               


Pawel Urzyczyn | 21 Jun 21:39 1999

Type Fixpoints: Iteration vs. Recursion

Attachment: application/octet-stream, 2502 bytes
Robert A.G. Seely | 21 Jun 22:19 1999

"OctoberFest" category theory meeting in Montreal

Attachment: application/octet-stream, 3627 bytes
Haruo Hosoya | 21 Jun 23:39 1999

New paper: How Good is Local Type Inference?

Attachment: application/octet-stream, 1330 bytes
Martin Elsman | 22 Jun 05:04 1999

Static Interpretation of Modules

Attachment: application/octet-stream, 1438 bytes
Martin Hofmann | 23 Jun 14:42 1999


Attachment: application/octet-stream, 8079 bytes
Fairouz Kamareddine | 23 Jun 17:32 1999

Posts at Heriot-Watt

Attachment: application/octet-stream, 1910 bytes