back to root
Stream bookclub
2020-06-1 at 15:00 (CET): ???
2020-05-14 at 15:00 (CET): Brown - Reducing HO to SAT
2020-09-03 at 15:00 (CET): A Unified Ordering for Termina...
2020-06-25 at 15:00 (CET): A metaprogramming framework fo...
2020-06-25 at 15:00 (CET): ?
2020-10-01 at 15:00 (CET): Politeness for The Theory of A...
2021-01-21 at 15:00 (CET): TBD
stream events
2020-?? : ??
2021-02-18 at 15:00 (CET): ?
2020-10-29 at 15:00 (CET): ??
2020-07-23 at 15:00 (CET): AUTO2, a saturation-based heur...
2020-04-30: paper choice
2020-05-??
2020-11-26 at 15:00 (CET): ??
2020-05-28 at 15:00 (CET): Labelled Clauses
2020-06-11 at 15:00 (CET): ???
2020-06-11 at 15:00 (CET): Möhle & Biere - Backing Backtr...
2020-11-26 at 15:00 (CET): Kodkod, from Torlak and Jackson
2020-07-23 at 15:00 (CET): ???
paper proposals
next session (TBD)
2020-05-28 at 15:00 (CET): ??
2020-05-?? : Satallax
organisation
2020-04-16 at 16:00 (CEST): Nieuwenhuis et al. - Solving ...
2020-07-09 at 15:00 (CET): ?
2020-04-16: next paper and next meeting
2020-09-23 at 15:00 (CET): ??
compare to "papers we love"
2020-04-30 at 15:00 (CEST): Voronkov - AVATAR: The Archit...
2021-01-21 at 15:00 (CET): A Minimalistic Verified Bootst...
2020-04-16: Nieuwenhuis et al. - Solving SAT and SMT
2020-10-29 at 15:00 (CET): Using Resolution Proofs to Ana...