CSL18: COMPUTER SCIENCE LOGIC 2018
Patricia Bouyer
Organization: LSV, CNRS & ENS Cachan, Université Paris Saclay
Web page: http://www.lsv.fr/~bouyer/
Pages in this Program
Program
Program for Friday, September 7th