‹Programming› 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy
Mon 1 Apr 2019 16:30 - 17:00 at Paganini - Code as Data

Mon 1 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 17:00
Code as DataELS at Paganini
16:00
30m
Talk
Working with First-Order Proofs and Provers
ELS
Michael Raskin Université de Bordeaux / LaBRI
16:30
30m
Talk
Plagiarism Detection for Common Lisp
ELS
António Menezes Leitão Technical University of Lisbon, Portugal
17:00
30m
Talk
Lightning Talks I
ELS