Not logged in. · Lost password · Register

schroeder
Member since Apr 2012
48 posts
Subject: Theorievertiefung SoSe 2020
+2 Horsccht, Stef_15
Hallo zusammen,

INF8 bietet im Sommersemester folgende Vertiefungsveranstaltungen an:

  Seminar Koalgebraische Logik (Lutz Schröder)
  Kommunikation und Parallele Prozesse (Sergey Goncharov)
  Praktische Semantik von Programmiersprachen (Tadeusz Litak)

Der Modus ist noch in Klärung, aber die Veranstaltungen finden in jedem Fall statt.

Viele Grüße,

Lutz Schröder
Horsccht
#faui2k16
Member since Dec 2016
97 posts
Vielen Dank für die eindeutige Nachricht, dann können wir Studenten immerhin ein bisschen planen ;)
www.bogenlinuxmeisterrennen.de
Stef_15
StefDude
Member since Mar 2016
194 posts
+1 Horsccht
ich würde mich freuen, wenn man die module dann auch ohne zoom abschließen kann :)
schroeder
Member since Apr 2012
48 posts
Subject: Seminar Koalgebraische Logik
Hallo zusammen,

das Seminar Koalgebraische Logik findet zum geplanten Termin

  23.4.2020, 14:15

zum ersten Mal statt. Für die erste Sitzung verwenden wir Zoom; ich lasse mich gerne von alternativen Möglichkeiten überzeugen. Es gibt einen StudOn-Kurs; ich bitte Interessenten, sich dort anzumelden (danke an die, die das schon getan haben!) oder sich kurz per Mail bei mir zu melden, damit ich die Teilnehmer gezielt kontaktieren kann. Der Zoom-Link steht bereits auf StudOn. Bei technischen Schwierigkeiten gerne Rückmeldung am mich.

Herzliche Grüße,

Lutz Schröder
litak
Member since Apr 2020
1 post
Subject: SemProg
+2 Stef_15, Marcel[Inf]
SemProg is already quite popular, but there are still a few slots left. We're unlikely to use Zoom, at least I am going to do everything possible to avoid it. There is a lot of online material already, the course has always been electronic by nature (including all the assignments), there are also videos from previous years that I am going to use and perhaps tweak, I can also create new ones if need be. Coq is not only the tool you're going to learn (in a very different way than in our obligatory lectures, which do not even scan the surface), but also your infinitely patient personal electronic tutor. Our other  tools and means of communication are: StudOn, perhaps MS Teams, perhaps Jitsi, perhaps Mattermost or Riot/Matrix, whatever the audience is going to prefer. From today (Tue 21) I want to start setting things up publicly after several days of private experiments, communicate with students etc. If you haven't joined our StudOn course yet but still think about it, hurry up!  :cool:
sergey
Member since Apr 2014
2 posts
In reply to post #1
Die weitere Informationen zur Kommunikation und Parallele Prozesse (Sergey Goncharov) finden Sie auf der Kurs-Webseite: https://www8.cs.fau.de/ss20:kommpar Und der StudOn-Modul befindet sich hier: https://www.studon.fau.de/crs2999510.html
This post was edited on 2020-04-21, 18:25 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