∀X.Xπ - APPA - Call for Participa tion/Registration

--Apple-Mail=_BED376DD-F919-4EB1-8751-5E70A7BDEC1F
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain;
	charset=utf-8


     APPA - =E2=88=80X.X=CF=80 - 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.=20
Early-registered participants will receive a book with the invited =
papers.=20
Early registration goes until 8th of June.


Description
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

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. =
=E2=88=80X.X=CE=A0 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.=20


Tutorial Topics and Speakers
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D

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

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

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

- Higher-order Automated Theorem Provers:=20
 + Christoph Benzm=C3=BCller (Freie Universit=C3=A4t Berlin, Germany)

- Interactive Theorem Provers:=20
 + Makarius Wenzel (LRI, Universit=C3=A9 Paris Sud, France)

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

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

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

- Foundational Proof Certificates:=20
 + Dale Miller (=C3=89cole Polytechnique, Paris, France)

- Program Verification (B Method):=20
 + Jean-Raymond Abrial (ETH Z=C3=BCrich, Switzerland)

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

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


Organizers
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

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


For more information, visit: http://vsl2014.at/meetings/APPA-index.html

--Apple-Mail=_BED376DD-F919-4EB1-8751-5E70A7BDEC1F
Content-Transfer-Encoding: 7bit
Content-Disposition: attachment;
	filename=signature.asc
Content-Type: application/pgp-signature;
	name=signature.asc
Content-Description: Message signed with OpenPGP using GPGMail

-----BEGIN PGP SIGNATURE-----
Comment: GPGTools - http://gpgtools.org

iQEcBAEBAgAGBQJTaiVMAAoJEADWMOJN8tfu4jcIAIB0QGv3hxcU405eBxHDme0g
ixJSc7wKHNXwf8TlmlptJudzEhTv5GN8kv1mVpFqvfvID7si3FNvMXOfkaY+ENXy
7VY0Xh+VldqNKoWJAbX9e5EBSWxoskNozg1ONl+YKGoWYoJlOVaym1hMIUOScXgP
0rAI6XGAGeFUuH8dsn6igFo9Kd8gfyUaENAH+Jz7gMV7wMhBVBlGZnOPSdMZrJ/P
nOrQqUm3sYbFEn4c0V9xUObsu8vbkYOtjFaxOejWyZaKFGf7OFNlyggjLhlnf6IL
tR/u4ksb1vcbVX3WelXVZ3EbHeeNknSgPkDwH5GW7+Fl2ykoUWtk4ZzcxWAj98Q=
=jvbd
-----END PGP SIGNATURE-----

--Apple-Mail=_BED376DD-F919-4EB1-8751-5E70A7BDEC1F--