Not logged in. · Lost password · Register

schroeder
Member since Apr 2012
50 posts
Subject: Theorievertiefung WiSe 2020/21
Hallo,

INF8 bietet im WiSe folgende Vertiefungsveranstaltungen an:

Nonclassical Logics in Computer Science
Formale Methoden der Softwareentwicklung
Seminar Automaten über unendlichen Wörtern
Seminar Themen der Kategorientheorie

Details unter https://www8.cs.fau.de/teaching/

Herzliche Grüße,

Lutz Schröder
schroeder
Member since Apr 2012
50 posts
Subject: Seminar Automaten über unendlichen Wörtern
Hallo,

das Seminar findet zumindest im November erst einmal auf Zoom statt, Zugangsdaten finden sich im StudOn-Kurs:

https://www.studon.fau.de/crs3374160.html

Herzliche Grüße,

Lutz Schröder
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