Advanced Concurrency Theory

Liebe Studierende,

Die drei Reviews zu ihrer Ausarbeitung wurden mittlerweile als Feedback zu ihrer Submission im dCMS hochgeladen.
Lesen Sie sich bitte alle drei Reviews gründlich durch und überlegen Sie sich ob die geäußerte Kritik faktisch angebracht ist.
In diesem Fall sollten sie Verbesserungen vornehmen.

Die endgültige Version Ihrer Ausarbeitung laden Sie bitte bis zum 31.03.2017 (23:59 Uhr) im dCMS hoch.

Beste Grüße,
  Holger Hermanns & Gilles Nies

Liebe Studierende,

Sie haben bis zum 7ten März (07.03.2017, 23:59 Uhr) Zeit Ihre Reviews der Write-Ups zu erstellen.

Die Ausarbeitungen die sie reviewen sollen werden Ihnen per e-mail zugeschickt.

Ein Review besteht in der Regel aus folgenden Teilen:

1. Eine kurzer Überblick dessen, was in dem Write-Up präsentiert wird.
2. Positive sowie negative Aspekte der Ausarbeitung. Denken Sie an:
   • Motivation des Themas.
   • Struktur der Ausarbeitung.
   • Adäquate Darstellung und Erklärung der wesentlichen Punkte.
   • Lesefluss.
   • Inhaltliche Korrektheit.
   • Grundsätzliche stilistische Aspekte.
   • etc.
3. Eine Sammlung kleinerer Probleme wie Schreibfehler, Grammatik, Formulierungen, Punktuation, Satzbau, Layout-Probleme bei Bildern oder Tabellen, etc.

Hinweis: Ein Review der keine Kritik übt, ist nicht glaubwürdig.

Viele Grüße,
  Holger Hermanns & Gilles Nies

Liebe Studierende,

im Rahmen der Vorlesungsevaluation möchten wir Sie bitten zur nächsten Sitzung (morgen, 24.01.2017) 10 Minuten früher zu erscheinen um die Evaluationsbögen auszufüllen.

Wir beginnen also um 8:20 Uhr!

Beste Grüße,

  Holger Hermanns & Gilles Nies

 

Liebe Studierende,

unter Materialien finden sie nun ein Template für ihre Ausarbeitung. Wir erwarten einen Umfang von 6 bis 9 Seiten (ohne Referenzen). In der Regel spiegelt ihre Ausarbeitung die Struktur und Inhalt ihres Vortrags wider. Sollte dies nicht ausreichen, nehmen wir mit Ihnen individuell Kontakt auf.

Es empfiehlt sich ein oder mehrere eigene, didaktisch gut gewählte Beispiele zu verwenden die die Themen veranschaulichen, um die es geht.

Beste Grüße,

Holger Hermanns & Gilles Nies

Liebe Studierenden,

wir haben die folgende Reihenfolge für die Themenvorträge festgelegt:

• 10. Januar (ab 8:57):
  1. Priced and Energy Timed Automata
• 17. Januar (ab 8:27):
  1. Probabilistic Automata and PCCS
  2. Model Based Testing
• 24. Januar (ab 8:27):
  1. Event Structures
  2. Process Algebra
• 28. Januar (ab 9:07)
  1. Petri Nets
  2. Interface Automata
  3. Bisimulation Minimization
  4. Spectral Analysis
  5. Value Passing Semantics
  6. Stochastic Automata
• 31. Januar (ab 8:27):
  1. Hybrid Automata
  2. Probabilistic Timed Automata

Jeder Vortrag wird 40 Minuten dauern, gefolgt von etwa 5 Minuten Diskussion (zu der rege Teilnahme erwartet wird).

Beste Grüße,

  Holger Hermanns und Gilles Nies