Not logged in. · Lost password · Register

Forum: Master / Vertiefung › LS 8: Theoretische Informatik RSS
Theorievertiefung SoSe 2021
sergey
Member since Apr 2014
3 posts
 2021-04-07, 12:51   #1  
Subject: Theorievertiefung SoSe 2021
Hallo Zusammen,

INF8 bietet im Sommersemester folgende Vertiefungsveranstaltungen an:

  Kommunikation und Parallele Prozesse (Sergey Goncharov)
  Seminar Homotopy Type Theory (Tadeusz Litak and Sergey Goncharov)
  Praktische Semantik von Programmiersprachen (Tadeusz Litak)

Einzelheiten auf der verlinkten Webseiten.

Viele Grüße,
Sergey Goncharov
This post was edited on 2021-04-07, 14:19 by sergey.
Close Smaller – Larger + Reply to this post:
Verification code: VeriCode Please enter the word from the image into the text field below. (Type the letters only, lower case is okay.)
Smileys: :-) ;-) :-D :-p :blush: :cool: :rolleyes: :huh: :-/ <_< :-( :'( :#: :scared: 8-( :nuts: :-O
Special characters:

Go to forum
Datenschutz | Kontakt
Powered by the Unclassified NewsBoard software, 20150713-dev, © 2003-2011 by Yves Goergen