LICS'98 satellite workshop on games

• To: types@cs.indiana.edu, linear@cs.Stanford.edu, bra-types@cs.chalmers.se, logic@theory.lcs.mit.edu, prog-logique@irisa.fr, lics@research.bell-labs.com
• Subject: LICS'98 satellite workshop on games
• From: Vincent Danos <danos@logique.jussieu.fr>
• Date: Tue, 2 Jun 1998 12:49:18 +0200
• Delivery-Date: Tue, 02 Jun 1998 05:51:42 -0500

                    Call for participation
                 LICS'98 Satellite Workshop on
                 
                       GAME SEMANTICS
                       
                       June 25th 1998

       Organizers: S. Abramsky, V. Danos and L. Regnier
       Details: http://iml.univ-mrs.fr:80/~regnier/LICS98/
       Registration: http://lics98.cs.indiana.edu/
       
  * G. McCusker: Game semantics for programming languages
  * L. Regnier: Games semantics and abstract machines
  * V. Danos: Games semantics and denotational semantics
  * P. Malacaria: Applied game semantics
  
Conferences will be one hour and a half and of didactical spirit.
Handouts will be given to the participants. This workshop is a
satellite to LICS'98 to be held the day after LICS at the same place,
(at the Indiana University conference center).

                (* sorry for possible multiple copies *)

• Prev: Calculemus and Types 98: Call for Participation and Program
• Next: new technical research report
• Index(es):
  • Main
  • Thread