[SMT-LIB] ∀X.Xπ - APPA - Call for Participation/Registration

Bruno Woltzenlogel Paleo bruno.wp at gmail.com
Wed May 7 08:21:32 EDT 2014


     APPA - ∀X.Xπ - All about Proofs, Proofs for All
             ++ Tutorials about Proofs ++
            July 18, 2014, Vienna, Austria

              --- call for participation ---

        http://vsl2014.at/meetings/APPA-index.html


Register now at http://vsl2014.at/registration/, selecting "APPA" on workshop block 2. 
Early-registered participants will receive a book with the invited papers. 
Early registration goes until 8th of June.


Description
===========

Many of us, logicians, devote our work to the improvement of proofs, proof systems, proof formats, interactive proof script languages, proof search methods... But what makes a proof (system|format|search-method|...) better than another? Logicians from different communities will give radically different answers to this question! The principles behind their answers may be unknown to outsiders; they may even sound obscure, ungrounded or in apparent contradiction to the principles of other communities.

The Vienna Summer of Logic presents a unique opportunity to promote a conversation between all communities on questions related to proofs. ∀X.XΠ will promote a fruitful knowledge exchange by organizing short tutorials given by prominent speakers from various communities. These tutorials shall be accessible to young researchers and of interest to experienced researchers from other communities as well. 


Tutorial Topics and Speakers
============================

- SAT-Solvers: 
 + Marijn Heule (University of Texas at Austin, USA)

- SMT-Solvers:  
 + Clark Barrett (New York University, USA)
 + Pascal Fontaine (LORIA Nancy, France)
 + Leonardo de Moura (Microsoft Research, USA)

- First-order Automated Theorem Provers: 
 + Stephan Schulz (Munich University of Technology, Germany)

- Higher-order Automated Theorem Provers: 
 + Christoph Benzmüller (Freie Universität Berlin, Germany)

- Interactive Theorem Provers: 
 + Makarius Wenzel (LRI, Université Paris Sud, France)

- Calculus of Inductive Constructions: 
 + Christine Paulin-Mohring (LRI & INRIA Saclay, France)

- Deduction Modulo: 
 + Gilles Dowek (INRIA Paris, France)

- Deep Inference: 
 + Alessio Guglielmi (University of Bath, England)

- Foundational Proof Certificates: 
 + Dale Miller (École Polytechnique, Paris, France)

- Program Verification (B Method): 
 + Jean-Raymond Abrial (ETH Zürich, Switzerland)

- Security:
 + Gilles Barthe (IMDEA Software Institute, Madrid, Spain)

- Mathematical Proof Analysis:
 + Alexander Leitsch (Vienna University of Technology, Austria)


Organizers
==========

- David Delahaye (Cedric/Cnam/Inria, Paris)
- Bruno Woltzenlogel Paleo (Vienna University of Technology)


For more information, visit: http://vsl2014.at/meetings/APPA-index.html
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 495 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: </pipermail/smt-lib/attachments/20140507/47812946/attachment.asc>


More information about the SMT-LIB mailing list