ASST-09

From PLSwiki

Jump to: navigation, search

Contents

Advanced Seminar in Semantics and Types, Spring 2009

The course will cover at least the following topics:

  • Session Types and Extensions
  • Linear Logic and Game Semantics
  • Sortings and Types for Bigraphs

and possibly include topics on concurrent constraint programming, (concurrent), logical frameworks and presheaf models for concurrency.

Prerequisites for the course will be introductory course in types and semantics, e.g. following the books ”Types and Programming Languages (Pierce [2002])”and ”The Formal Semantics of Programming Languages (Winskel [1993])”.

These topics will be covered by reading, presenting, and discussing lecture notes and articles.

Practical and administrative matters

  • Lectures: Wednesday 13:00-15:00 (Room 3A01 at ITU), except for May 6th where we will be in room 2A08, and May 27 in 3A08 (probably the course will be finished before that ;) ).
  • The course period is 14 weeks (7.5 ects).
  • Students are expected to give lectures and possible work on a project.
  • No exam.

Please register by sending an email to Thomas Hildebrandt (hilde@itu.dk) and Marco Carbone (maca@itu.dk)

Topics and tentative plan

  • Below is a tentative plan.
Week Date Teacher Topic Materials Labs
6 Wed 04 Feb MC Planning Session/Introduction to Session Types
  1. Any introduction to pi-calculus
  2. K. Honda, V. Vasconcelos, and M. Kubo. Language primitives and type disciplines for structured communication-based programming. In ESOP'98, volume 1381 of LNCS, pages 22–138, 1998.
    Espen: The follow up paper gives a nicer presentation: Nobuko Yoshida and Vasco T. Vasconcelos. Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited - Two Systems for Higher-Order Session Communication
7 Wed 11 Feb MC Advanced extensions to Session Types (Multi-party, exceptions, subtyping...)
  1. K. Honda, N. Yoshida and M. Carbone. Multiparty Asynchronous Session Types. In POPL'08.
  2. M. Carbone, K. Honda, N. Yoshida. Structured Interactional Exception in Session Types. In Concur'08.
8 Wed 18 Feb EH Subtyping in Session Types
  1. S. Gay, M. Hole. Subtyping for session types in the pi calculus. Acta Inf. 42(2-3): 191-225 (2005)
9 Wed 25 Feb TH Thomas will give a test run talk for a one hour talk at Leicester:
Sorting out Higher-order Contexts by playing Games with the Int-construction
  1. L. Birkedal, M. Bundgaard, S. Debois, D. Grohmann, T. Hildebrandt. Higher-order Contexts via Games and the Int-construction. Submitted for publication, January 2009.
10 Wed 04 Mar Cancelled
11 Wed 11 Mar LN Modal Logics for Session Types
  1. M. Berger, K. Honda, N. Yoshida. Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes. In ICALP'08, p. 99-111.
12 Wed 18 Mar THv + HL TCCP
  • 13-14 Tom presents: A Temporal Logic for Reasoning about Timed Concurrent

Constraint Programs, Proceedings of the Eighth International Symposium on Temporal Representation and Reasoning (TIME'01) (http://ieeexplore.ieee.org/iel5/7412/20130/00930721.pdf?arnumber=930721)

  • 14-15 Hugo gives a 30 minutes test run on his talk for PLACES on declarative

sessions followed by 30 minutes discussion.

13 Wed 25 Mar AH Session types for HOπ-calculus
  1. D, Mostrous, N. Yoshida. Two Session Typing Systems for Higher-Order Mobile Processes. In TLCA'07, LNCS 4583, pp. 321-335.
14 Wed 1 Apr RM Logic Based Service Contracts
  1. Dumitru Roman and Michael Kifer. Semantic Web Service Choreography: Contracting and Enactment. In ISWC'08.
16 Wed 15 Apr Cancelled
17 Wed 22 Apr Cancelled
18 Wed 29 Apr MB Linear and Non-Linear Higher-Order Mobile Embedded Resources
  1. Mikkel Bundgaard, Thomas Hildebrandt, and Jens Chr. Godskesen. [1]. Sections 4, 6, and 7 can be read cursorily.
19 Wed 06 May. Room 2A08 AH THv A Game-Theoretic Model for Distributed Programming by Contract
  1. A Game-Theoretic Model for Distributed Programming by Contract
  2. Background paper af Meyer Design by Contract
20 Wed 13 May

Participants

  • TH: Thomas Hildebrandt
  • MC: Marco Carbone
  • EH: Espen Højsgaard
  • HL: Hugo A. Lopez
  • RM: Raghava Rao Mukkamala
  • AF: Andrzej Filinski
  • AH: Anders Starcke Henriksen
  • LN: Lasse Nielsen
  • THv: Tom Hvitved
Retrieved from "http://www.itu.dk/research/pls/wiki/index.php/ASST-09"
Personal tools