NB: The University of Bern requires all those attending lectures or meetings in presence to have a valid Covid certificate.

MSc registration Fall 2021

JMCS students

• Register on Academia for teaching units by Oct. 9, 2021
• Register on Academia for the CP exam by November 27, 2021
  • [January 4, 2022 for all other MSc courses]

NB: Hosted JMCS students (e.g. CS bachelor students etc.) must additionally:

• Request for Academia access by September 30, 2021

See also: Student’s ToDo list for every semester

Registration

• Please also register on ILIAS

Resources

• ILIAS discussion forum
• Podcasts
• Annotated lecture slides (pdf)
• Exercises (pdf)
• Previous exam (pdf)
• LTSA and Java examples repo
• LTSA 3.0 download
• LTSA documentation
• Petit Petri Net Interpreter
• Course evaluations: WS05/06, HS10, HS15, HS17

This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.

Reading material

(unibe intranet or vpn only)

• Concurrent programming in Java (unibe access only)
• Online Supplement to Concurrent Programming in Java by Doug Lea.
• java.util.concurrent Interest Site
• Concepts and Notations for Concurrent Programming survey paper (pdf)
• Petri Nets survey paper (pdf)
• Linda survey paper (pdf)