headers
Jaap van Oosten | 4 Mar 1998 13:28
Picon

Master Class in Logic - Reminder

MASTER CLASS IN MATHEMATICAL LOGIC - REMINDER

Dear colleagues,

This is to remind you of the Master Class in Logic
which will be held in Utrecht, the Netherlands, and
for which we posted an ad some time ago.

The deadline for applications of students who wish to participate but do not
need funding is June 1st; students who wish to
apply for a funding may still do so IF THEIR
APPLICATION REACHES US (that is: Marian Brands, at the
Department of Maths., Utrecht University) BEFORE THE
END OF NEXT WEEK.

We let the text of the original message follow:

In the academic year 1998-1999 the Universities
of Utrecht and Nijmegen organize, as part of
the MRI Master Class, a year-long education program
in Mathematical Logic. The program is aimed at 
students who intend to enter a Ph.D.-program in the 
subsequent year.

The courses are in English and foreign students are
specifically invited to apply. A limited number
of stipends are available.

The contents of the program are detailed
in a brochure which exists both as
(Continue reading)

Permalink | Reply | 0 comments |
headers
Nevin Heintze | 6 Mar 1998 23:38
Favicon

Final CFP: LICS Workshop on Formal Methods and Security Protocols


The deadline for paper submission (5-10 extended abstracts) is March 13.
Submission is by email to nch@... and wing <at> cs.cmu.edu.
See the attached call for papers for details.

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

                          Final Call for Papers

            Workshop on Formal Methods and Security Protocols

                       Thursday, 25 June, 1998
                        Indianapolis, Indiana
                         (following LICS'98)  

  Computer security protocols are notoriously difficult to get right.
  Surprisingly simple problems with some well known protocols have been found
  years after the original protocol was published and extensively analyzed.  

  Our workshop goal is to bring together the formal methods and security
  communities.  Security is a current hot topic in the formal methods
  community, and we hope that this workshop can help focus these energies.

  Topics of interest include descriptive techniques (specification languages,
  models, logics) and analysis techniques (model checking, theorem proving,
  and their combination), as applied to protocols for authentication, fair
  exchange, electronic commerce, and electronic auctions.  However, this list
  is not exclusive.  We particularly want to hear about new approaches, new
  problems, new security properties, and new protocol bugs. Reports on work
  in progress are welcome.
(Continue reading)

Permalink | Reply | 0 comments |
headers
Flemming Nielson | 10 Mar 1998 10:46
Picon
Picon

Course on Program Analysis

Advanced course on PRINCIPLES OF PROGRAM ANALYSIS at Schloss Dagstuhl

There will be a residential course on program analysis
   from 8 to 13 November 1998 at Schloss Dagstuhl (Germany)
based on our forthcoming book. The intended audience are pre- and post-
doctoral researchers who are embarking on research in this area. We hope
to be able to offer grants to cover partial costs. Details of the course
and how to apply may be found at 
   http://www.daimi.aau.dk/~hrn/dagstuhl.html
Please bring this to the attention of any suitable candidates at your
institution.

Flemming Nielson, Hanne Riis Nielson, Chris Hankin
----------------------------------------------------------------------
Permalink | Reply | 0 comments |
headers
Neil Ghani | 10 Mar 1998 18:59
Picon
Picon
Favicon

PSSL'66


If you intend to attend, please make the organisation of this meeting
easier by registering now. A detailed program will be circulated soon.

       **** Final Announcement and Registration ****

      The 66th Peripatetic Seminar on Sheaves and Logic 
                    March 28-29, 1998

                 University of Birmingham
                         England 

The 66th meeting of the PSSL will be held at the University of
Birmingham, England, over the weekend of 28-29 March 1998. Since its
inception, the focus of the PSSL has broadened and now includes talks
related to category theory, logic and theoretical computer
science. The meetings are informal in nature and talks on work in
progress is welcome. 

We have arranged bed and breakfast in the University House which will
cost 23 pounds per night. In addition, a buffet lunch and tea/coffee
will be provided on Saturday and Sunday at a cost of 8 pounds per
day. Student participation is particularly encouraged at this meeting
and hence we have been granted a small fund to help with the costs of
attendence for students. Those interested in this offer should contact
the organisers as soon as possible. All payments should be by cash or
cheque (travellers cheques are acceptable). There are several ATM
machines on campus. 

Participants may wish to plan their arrival so that they may attend
(Continue reading)

Permalink | Reply | 0 comments |
headers
Martin Odersky | 11 Mar 1998 07:20

Postdoctoral Researcher and Ph.D. Scholarships


		 Postdoctoral Researcher in Computing
		                and
   		      Ph.D. Research Scholarships

	      at the Advanced Computing Research Centre
		    University of South Australia

 I'm looking for a postdoctoral researcher with excellent potential 
 to participate in the ARC funded research project

              Program Checking with Constrained Types

 You will cooperate with other team members in the:

   - design and implementation of program checking analyses,
   - further development of the Pizza compiler and related tools,
   - research in type systems and constraint solving.
   - general programming language research.

 Appointment is initially for two years, with the potential of renewal.
 Applicants should have a background in at least two of the following
 areas: functional programming, type systems, constraints, 
 programming language implementation.

 Annual salary: Research Associate: AUS$40,412-AUS$43,329 per annum,
 Research Fellow: AUS$45,663-$54,226 per annum depending on credentials.
 Preference will be given to candidates with a relevant Ph.D. and strong
 research record pertinent to the area of appointment. 
 Applications with curriculum vitae including the names of two
(Continue reading)

Permalink | Reply | 0 comments |
headers
Maurizio Gabbrielli | 11 Mar 1998 13:36
Picon
Picon

SAS and PLILP/ALP 98, 2nd CFP


                2nd Call For Papers

Joint International Symposia SAS'98 and PLILP/ALP'98

       Pisa, Italy, 14--18 September 1998

      http://www.di.unipi.it/di/groups/lp/spa98

Important dates
~~~~~~~~~~~~~~~
    Submission:     April 3, 1998 
    Notification:   May 29, 1998 
    Final Version:  June 26, 1998

Paper submissions 
~~~~~~~~~~~~~~~~~
Papers must describe original, previously unpublished work, and must
not be simultaneously submitted for publication elsewhere.  They must
be written in English, must not exceed 15 pages (Springer LNCS format,
excluding references and figures), and must contain a cover page
containing the following: a 200-word abstract, keywords, postal and
electronic mailing addresses, and phone and fax numbers of one of the
authors.

Submission is electronic (up to exceptions) either via web,
preferably, or via e-mail, using the following adrresses:

SAS 98
Web:	  http://sas98.di.unipi.it/
(Continue reading)

Permalink | Reply | 0 comments |
headers
Stefano Bistarelli | 11 Mar 1998 16:28
Picon
Picon

Second Call For CP98 Post-Conference Workshop Proposals

-----------------------------------------------------------------------
                              CP98
  Fourth International Conference on Principles and Practice of
                     Constraint Programming

         Call For CP98 Post-Conference Workshop Proposals
-----------------------------------------------------------------------

Constraints have emerged as the basis of a representational and
computational paradigm that draws from many disciplines and can be
brought to bear on many problem domains.  The Fourth International
Conference on Principles and Practice of Constraint Programming (CP98)
will be held on October 26-30, 1998 at Pisa, Italy and is the main
conference devoted to all aspects of computing with constraints including: 
algorithms, applications, environments, languages, models, systems.
In conjunction with the main conference, several post-conference
workshops are planned at the end of the conference on October 30, 1998.

The role of the post-conference workshops is to provide a platform
for the presentation of preliminary work or novel ideas in a less
formal way than the conference itself.  It is an opportunity to 
disseminate work in progress, particularly so for new researchers. 
It also provides a venue for presenting more specialised topics and
opportunities for more intensive discussions and exchange of ideas.
The topics of the workshops can cover any area related to constraints 
and any related cross-disciplinary areas.

The format of the workshop will be determined by the organizers.
Workshops can vary in length with an expected duration ranging from
half a day up to one day.  Having two or three co-organizers for a
(Continue reading)

Permalink | Reply | 0 comments |
headers
Ruy de Queiroz | 11 Mar 1998 15:17
Picon

5th WoLLIC'98 - 3rd Call

[Please post]

                        Third Call for Contributions

        5th Workshop on Logic, Language, Information and Computation
       	                      (WoLLIC'98)
                           July 28-31, 1998
 !  TUTORIALS   >>     (Tutorial Day: July 28th)       <<   TUTORIALS !
                       IME-USP, Sao Paulo, Brazil

The "5th Workshop on Logic, Language, Information and Computation" (WoLLIC'98),
the fifth version of a series of workshops which started in 1994 with the aim
of fostering interdisciplinary research in pure and applied logic, will be held
in Sao Paulo, Brazil, from July 28th to 31st 1998.  Contributions are invited
in the form of short papers (6 10pt pages or 1800 words) in all areas related
to logic, language, information and computation, including: pure logical
systems, proof theory, model theory, algebraic logic, type theory,
category theory, constructive mathematics, lambda and combinatorial calculi,
program logic and program semantics, logics and models of concurrency,
logic and complexity theory, nonclassical logics, nonmonotonic logic,
logic and language, discourse representation, logic and artificial
intelligence, automated deduction, foundations of logic programming,
logic and computation, and logic engineering.

The 5th WoLLIC'98 has the scientific sponsorship of the Interest Group in
Pure and Applied Logics (IGPL), the European Association for Logic, Language
and Information (FoLLI), the Association for Symbolic Logic (ASL),
the Sociedade Brasileira de Computacao (SBC), and the Sociedade Brasileira de
Logica (SBL).
(Continue reading)

Permalink | Reply | 0 comments |
headers
johanj | 12 Mar 1998 14:24
Picon

Call for participation: MPC'98


                   Call for participation:

                            MPC '98

               Fourth International Conference on

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

             http://www.md.chalmers.se/Conf/MPC98/

                      June 15 - 17, 1998

                       Marstrand, Sweden

                    Post-conference workshops:

        * Workshop on Generic Programming, WGP'98
          http://www.cse.ogi.edu/PacSoft/conf/wgp/

        * International Workshop on Constructive Methods for
          Parallel Programming, CMPP'98
          http://brahms.fmi.uni-passau.de/cl/cmpp98/index.html

        * Formal Techniques for Hardware and Hardware-like
          Systems, FTH'98
          http://www.cs.chalmers.se/~ms/FTH98/

The general theme of this series of conferences is the use of crisp,
(Continue reading)

Permalink | Reply | 0 comments |
headers
Christopher Colby | 12 Mar 1998 17:27

ICCL'98 Call For Participation

                        CALL FOR PARTICIPATION

                        IEEE Computer Society
         1998 International Conference on Computer Languages

                          Loyola University
                    Chicago, USA, 14--16 May, 1998

                            Sponsored by
    the IEEE Computer Society Technical Committee on Computer Languages,
 in cooperation with the ACM Special Interest Group on Programming Languages.

                   http://www.math.luc.edu/iccl98/

This is the sixth in a series of conferences devoted to all aspects of
computer languages, serving to bring together people broadly
interested in machine processable descriptions.  The hallmarks of ICCL
are diversity, openness to a wide range of linguistic research, and
international representation.  The focus is on new ideas in languages
and language technology which are innovative or experimental in
nature.

On May 13, a pre-conference Workshop on Internet Programming Languages
will be conducted at Loyola University.  Details are given at the end
of this announcement.

                         IMPORTANT DEADLINES 

     Hotel discount reservation deadline: April 12, 1998 
     Early conference registration deadline: April 22, 1998
(Continue reading)

Permalink | Reply | 0 comments |

Gmane