Association for Automated Reasoning

#	Item
1	Jasmin Christian Blanchette AugustPersonal Information Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-08-14 09:31:55 Theoretical computer science Automated theorem proving Mathematical logic Logic in computer science Formal methods Proof assistants Isabelle Automated reasoning Interactive Theorem Proving International Joint Conference on Automated Reasoning Association for Automated Reasoning International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
2	SICSA Distinguished Visiting Fellow: Dr Claus-Peter Wirth Final report Background Dr Claus-Peter Wirth has been a member of the Association for Automated Reasoning since 1994 and has worked in automated and human-oriente Add to Reading List Source URL: www.sicsa.ac.uk Language: English - Date: 2014-08-12 12:41:25
3	Jasmin Christian Blanchette 1 Personal Information Citizenship: Canadian Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-04-09 12:51:30 Automated theorem proving Isabelle Automated reasoning Proof assistant International Joint Conference on Automated Reasoning International Conference on Automated Reasoning with Analytic Tableaux and Related Methods Association for Automated Reasoning Logic programming Blanchett Theoretical computer science Mathematics Applied mathematics