Tjark Weber

Name:	Tjark Weber
Affiliation:	University of Cambridge
E-mail:	(only provided to users who are logged into talks.cam)
Last login:	Tue Jul 05 16:55:05 +0000 2011

Public lists managed by Tjark Weber

Talks given by Tjark Weber

Obviously this only lists talks that are listed through talks.cam. Furthermore, this facility only works if the speaker's e-mail was specified in a talk. Most talks have not done this.

• Validating QBF Validity in HOL4
• Validating QBF Invalidity in HOL4
• Integration of SMT Solvers with ITPs - There and Back Again
• SMT Solvers: New Oracles for the HOL Theorem Prover
• Finite Model Generation, Proof-Producing SAT Solvers, and SMT

Talks organised by Tjark Weber

This list is based on what was entered into the 'organiser' field in a talk. It may not mean that Tjark Weber actually organised the talk, they may have been responsible only for entering the talk into the talks.cam system.

• Nitpicking C++ Concurrency