FIRST Graduate School: Seminars (Activities)

The are a number of seminars and study groups relevant to members of the PhD school.

Seminars Please check the homepages of the seminars for up-coming events.

Algorithmics and Optimization Research talks are presented in the area of algorithms and optimization. Time: Friday, 13:15 - 14:00 Place: N037 (DIKU) Contact: David Pisinger

COPLAS COpenhagen Programming LAnguage Seminar: The programming language groups at the Department of Computer Science, University of Copenhagen (DIKU), at The IT University of Copenhagen (IT-C) and at the Royal Veterenary and Agricultural University (KVL) organize a joint series of weekly seminars in programming languages: the Copenhagen Programming Language Seminar. Its purpose is to exploit the proximity of the institutions to strengthen the integration between the programming language groups in the Copenhagen area and to present state-of-the-art research to students, academics and industry. Time: Thursday, 15:15 - 16:00 Place: Location alternates between ITU (2.03) and DIKU (NO34).

Theory Seminar The seminar is the place to meet guests and locals who talk about aspects of theoretical computer science like algorithms, logic, semantics, concurrency. Time: Usually Friday, 11:00 - 12:00 Place: 2.55 (ITU) Host: Theory Department, ITU.

VeCoS Seminars The seminar is a lunch meeting. Bring your own food and grab some coffee from the kitchen. Some talks will be announced by posters and will be relevant for a wide audience. Others are mostly discussion and planning. Time: Tuesday, 12:00 – 13:00 Place:Room 2.31 at ITU Host: The VeCoS Research Group, ITU

Study Groups

Bigraphical Programming Languages The aim for this study-group is to investigate the possibilities that the theory of Bigraphical Reactive Systems pose for programming languages for mobile systems with locality. We will focus on reading relevant research articles and surveying related research projects. An immediate goal will be to lay the foundation for an implementation of a generic interpreter for a bigraphical programming language, later goals include the design and implementation of a distributed bigraphical programming language. Time: Monday, 12:00 - 14:00 Plaec: 2.31 (ITU) Contact: Thomas Hildebrandt or Troels C. Damgaard

Topos Theory Study Group Goal of this seminar is to study aspects of topos theory relevant to computer science. After reading sections of the Johnstone opus Sketches of an Elephant - A Topos Theory Compendium we now read sections of the book by Lambek and Scott, Introduction to higher-order categorical logic. Time: Friday, 14:00 - 15:30 Place: 2.55 (ITU) Contact:Carsten Butz or Lars Birkedal

Content Addressable Peer-to-peer Networks If you want to join this informal study group please contact one of the organizers. Contact: Rasmus Pagh or Christian Worm Mortensen

Other

NWPT'05 - Nordic Workshop on Programming Theory Workshop at DIKU 19-21 October 2005