Skip to main content ITU
Logo
  • Programmes
    • BSc Programmes
    • BSc in Global Business Informatics
    • BSc in Digital Design and Interactive Technologies
    • BSc in Software Development
    • BSc in Data Science
    • Applying for a BSc Programme
    • MSc Programmes
    • MSc in Digital Innovation & Management
    • MSc in Digital Design and Interactive Technologies
    • MSc in Software Design
    • MSc in Computer Science
    • MSc in Data Science
    • MSc in Games
    • Applying for an MSc Programme
    • Student Life
    • Women in tech
    • Student Organisations at ITU
    • Labs for students
    • Practical Information for International Students
    • Study Start
    • Study and Career Guidance
    • Guest Students
    • Who can be a Guest Student
    • ITU Summer University
    • Exchange Student
    • Become an exchange student at ITU
    • Open House
    • Open House - MSc Programmes
    • Open House - BSc programmes
  • Professional Education
    • Master in IT
    • Master in IT Management
    • Single Subjects
    • About single subjects
    • Contact
    • Contact us here
  • Research
    • Departments
    • Business IT Department
    • Computer Science Department
    • Digital Design Department
    • Research Groups and Labs
    • Research Groups
    • Labs
    • Research Centres
    • Centre for Computer Games Research
    • Center for Computing Education Research
    • Centre for Digital Welfare
    • Centre for Information Security and Trust
    • European Blockchain Centre
    • Research Centre for Government IT
    • Research Institutes
    • Danish Institute for IT Program Management
    • Selected Research Themes
    • Artificial intelligence
    • Big Data
    • Climate IT
    • Computer games
    • Blockchain
    • Digitalization
    • IT security
    • Find a Researcher
    • Faculty Search
    • PhD Programme
    • About the PhD Programme
    • Available PhD Positions
    • PhD Courses
    • Research Ethics and Integrity
    • Good Scientific Practice
    • PhD Defences
    • Technical Reports
    • Technical Reports
  • Collaboration
    • Collaboration with students
    • Project collaboration
    • Project Market
    • Student worker
    • Project postings
    • Job and Project bank
    • Portraits of ITU graduates
    • Employer Branding
    • IT Match Making
    • Hiring an ITU student or graduate
    • Make a post in the job bank
    • Research collaboration
    • Licensing Opportunities
    • Open Entrepreneurship
    • Research collaboration
    • Industrial PhD
    • Hire an Industrial PhD
    • Innovation and entrepreneurship
    • ITU Business Development
    • ITU Startup programme
    • Startup stories
  • About ITU
    • Vacancies
    • Press
    • ITU Alumni
    • News
    • Calendar
    • Contact
    • About ITU
  • DK
PhD Courses
ITU  /  Research  /  PhD Programme  /  PhD Courses  /  PhD courses 2013  /  PhD Course on Advanced process Calculi
  • Research
    • Research Departments
    • Research Ethics and Integrity
    • Good Scientific Practice
    • Research Groups and Centers
    • Labs
    • Technical Reports
    • PhD Programme
      • Industrial PhD
      • Marie Curie European Industrial PhD
      • Project PhD
      • Institute PhD
      • Independent PhD - Tuition Fee Free
      • PhD Positions
      • PhD Courses
        • PhD courses 2022
        • PhD courses 2021
        • PhD courses 2020
        • PhD Courses 2019
        • PhD Courses 2018
        • PhD courses 2017
        • PhD courses 2016
        • PhD courses 2015
        • PhD courses 2014
        • PhD courses 2013
          • PhD Course - Games and Subjectivity
          • PhD Course - Readings in Database Systems
          • PhD Course - Technological and Political Ontologies
          • PhD Course - Writing Process Re-engineering
          • PhD Course in Dependently Typed Functional Programming with Idris
          • PhD Course on Advanced process Calculi
            • PhD Course on The art of writing and reviewing papers
            • PhD reading group - STS literature
          • PhD courses 2012
          • PhD courses 2011
          • PhD courses 2010
        • PhD Defences
        • PhD Handbook
        • PhD Support
      • Center for Digital Welfare

    PhD Course on Advanced process Calculi

    Organisers:
    Jesper Bengtson (jebe at itu.dk)
    Joachim Parrow (Uppsala University)

    Lecturer:
    Joachim Parrow (Uppsala University)
    Ramunas Gutkovas (UppsalaUniversity)

    Website:
    http://www.it.uu.se/research/group/mobility/apc-course-copenhagen-2013

    Dates of the course:
    19-23 August
    23 September

    Time:
    Lecture 10:00-12:00 and exercises 13:00-16:00

    Room:
    4A54

    Course Description:
    This course will focus onadvanced modelling techniques of distributed systems using Psi-calculi.Psi-calculi extend the pi-calculus with nominal datatypes for data structuresand for logical assertions and conditions. These can be transmitted betweenprocesses and their names can be statically scoped as in the standardpi-calculus. Psi-calculi can capture the same phenomena as other proposedextensions of the pi-calculus such as the applied pi-calculus, thespi-calculus, the fusion calculus, the concurrent constraint pi-calculus, andcalculi with polyadic communication channels or pattern matching. Psi-calculican be even more general, for example by allowing structured channels, higher-order formalisms such as the lambda calculus for data structures, and predicatelogic for assertions.

    The course will be taught byProfessor Joachim Parrow from Uppsala University. Joachim is one of theoriginal designers of the pi-calculus and he is one of the most prominent andmost highly cited researchers of computer science in Sweden. For the last fiveyears Joachim has been leading a group that focusses on the design ofparametric framework of process calculi. His work extends not only to thetheoretical ground work required to create these frameworks, but also toolsupport (the Psi Workbench) and mechanising the meta-theory (e.g. thatbisimulation is a congruence) using Nominal Logic in the interactive proofassistant Isabelle. We will touch on theory, tool support, and proofmechanisation in the scope of this course.

    You will receive 2 ETCS for the course. You areexpected to prepare by reading up on a few select papers that will be posted atthe beginning of August, attend four lectures in week 34 (19th to the 23d ofAugust), and do a small project in September using one or several of themethods taught in the course. Preferably, the project should somehow beconnected to your research but this is not a strict requirement.

    Program:
    http://www.it.uu.se/research/group/mobility/apc-course-copenhagen-2013

    Prerequisites:
    Students are expected to have asolid understanding in logics and semantics. Proficiency in process calculi isa plus, but not a strict requirement.

    Exam:
    Mandatory project to be handed on one month after lectures.

    Credits:
    2 ECTS

    Amount of hours the student is expected to use on the course:
    Participation: 15 hours lecturesand 40-50 hours project works
    Preparation: 15-20 hours

    Contact us

    Phone
    +45 7218 5000
    E-mail
    itu@itu.dk

    All contact information

    Web Accessibility Statement

    Find us

    IT University of Copenhagen
    Rued Langgaards Vej 7
    DK-2300 Copenhagen S
    Denmark
    How to get here

    Follow us

    ITU Student /
    Privacy /
    EAN-nr. 5798000417878/
    CVR-nr. 29 05 77 53

    This page is printed from https://en.itu.dk/research/portalplaceholder?layoutfraction=top&langRef=https://pure.itu.dk/portal/da/organisations/digital-design(d065e6c2-4fae-4d68-ad04-70aec25d2d5e)/clippings.html?page=29