Carlos Areces

Stand Up Logician
FaMAF, Universidad Nacional de Córdoba
Medina Allende s/n , Ciudad Universitaria
CP:X5000HUA Córdoba, Argentina
Phone: (0054) 351 5353701 - Ext. 41414 or 43030
Fax: +54 351 4334054
mail: firstname.lastname (at) gmail.com
http://cs.famaf.unc.edu.ar/~careces

"Las revoluciones --dijo--
se hacen con una sonrisa.
Empezemos por ahí."

Recent Papers

  • C. Areces, P. Fontaine, and S. Metz. Modal Satisfiability via SMT Solving. Martin Wirsing Festschrift, LNCS, 2015