2011/10/11 Jonathan von Schroeder jonathan.von_schroe...@dfki.de:
Hi all,
im currently having a problem figuring out the meaning of the following
theorem (from realax.ml):
# real_neg;;
val it : thm =
|- --x1 = mk_real (\u. ?x1. treal_neg x1 treal_eq u /\ dest_real x1 x1)
You can also
-ready copy:15.06.2012
PC Chairs
Christoph Lüth (DFKI, Germany)
Cezary Kaliszyk (University of Innsbruck, Austria)
The full program committee will be announced soon.
More information about the workshop series can be found at the UITP
Interest Group web page www.uitp-ig.org.
--
Cezary
Program Committee:
David Aspinall, University of Edinburgh, UK
Serge Autexier, DFKI, Germany
Christoph Benzmueller, Articulate Software, USA
Herman Geuvers, Radboud University Nijmegen, the Netherlands
Cezary Kaliszyk, University of Innsbruck, Austria, (PC co-chair)
Christoph Lüth, DFKI
of communication is English.
Salary is paid according to the FWF funding scheme: for a postdoctoral
researcher (40 hours) approximately EUR 47,000 per year (gross), and
for a PhD student (30 hours) EUR 27,000 per year (gross).
Send applications including CV and two references to Cezary Kaliszyk
(Inria)
Cezary Kaliszyk (University of Innsbruck, co-chair)
Chantal Keller (Université Paris-Sud)
Assia Mahboubi (Inria)
Laurent Théry (Inria)
Cesare Tinelli (University of Iowa)
Josef Urban (Czech Technical University in Prague)
--
Cezary Kaliszyk, University of Innsbruck,
http://cl-informatik.
ernational and
the language of communication is English.
Candidates for a PhD position must hold a MSc in computer science or
mathematics and candidates for the postdoctoral position hold a PhD
degree in computer science or mathematics.
Applications and informal inquiries are welcome, please contact
Cezar
ructions for authors on document preparation:
https://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/
--
Cezary Kaliszyk, University of Innsbruck,
http://cl-informatik.uibk.ac.at/~cek/
___
hol-info mailing list
hol-info@lists.s
/lipics and for more
detailed instructions for authors on document preparation:
https://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/
--
Cezary Kaliszyk, University of Innsbruck,
http://cl-informatik.uibk.ac.at/~cek/
___
hol-info m