Bonjour à tous,
Une école d’été sur le thème SAT, SMT et plus généralement le raisonnement automatique est organisée avant la conférence SAT, qui se déroulera cette année à Lisbonne, Portugal.
L’inscription à cette école est gratuite mais doit se faire avant le 31 mai sur le site suivant :
http://reason.di.fc.ul.pt/ssa-school-2019/
Cette école d’été est organisée annuellement depuis 2011 sur la thématique SAT/SMT et depuis 2016 sur le triptyque SAT/SMT/AR.
Daniel Le Berre