Date and information about lectures and the final

Seminar in Theoretical Computer Science


Seminar in Theoretical Computer Science

Lectures:

Lectures plan:

  • 6 October 2016 h: 10-12 (Introductory)
  • 11 October 2016 h: 10-13 (Topics assignment)
  • 12 October 2016 h: 10-12
  • 18 October 2016 h: 14-16
  • 19 October 2016 h: 10-13
  • 25 October 2016 h: 14-17

  • Alle lectures in Seminarraum von Neumann.

    Final presentations:

    The final presentions will be on:

  • 27 October 2016 h: 10-13 (Meeting room Menger, Favoritenstr. 9, Stiege 3, 3rd floor)
  • 27 October 2016 h: 16-19 (Seminarraum von Neumann)
  • 28 October 2016 h: 10-13 (Meeting room Menger, Favoritenstr. 9, Stiege 3, 3rd floor)

  • Each presentation is expected to be around 45 min (say, no less than 30 min) plus a discussion on it for a total time slot of around 1h.

    Final presentations schedule (tentative):

    • Thu 27 October 2016 h.10 [Toni, DPLL and CDCL SAT]
    • Thu 27 October 2016 h.11 [Mehdi, DPLL-like non-disjunctive ASP]
    • Thu 27 October 2016 h.12 [Jannik, CDCL-like non-disjunctive ASP]
    • Thu 27 October 2016 h.16 [Manouchehr, DPLL-like non-disjunctive ASP]
    • Thu 27 October 2016 h.17 [Fenghong, Cautious reasoning in ASP]
    • Thu 27 October 2016 h.18 [Fatemeh, QDPLL]
    • Fri 28 October 2016 h.10 [Markus, Constraint ASP]
    • Fri 28 October 2016 h.11 [Thomas, AFs]

    Rules:

    The final exam will consist on a presentation with slides made by an individual (preferable) or a small group on the assigned topic.  

    Main page