staf2016.conf.tuwien.ac.at
Call for Papers for the Doctoral Symposium - STAF 2016
http://staf2016.conf.tuwien.ac.at/call-doctoral-symposium
Restaurants & Cafés. Call for Projects Showcases. Call for Doctoral Papers. July 4-8, 2016 in Vienna, Austria. Calls: Call for Papers for the Doctoral Symposium. The call for papers to the Doctoral Symposium is closed. Call for Papers for the Doctoral Symposium. Relevant fields within Software Engineering include (but are not limited to):. Models: reasoning, execution, management, testing and validation. Model transformations: paradigms, algorithms, development, applications, tools. Each submission will ...
arkaptur.informatik.uni-freiburg.de
The HOL-Z home page.
http://arkaptur.informatik.uni-freiburg.de/holz
Version 2.1.1. Welcome to the HOL-Z. Contents of this page:. What is HOL-Z 2.1.1. Is a proof environment for Z. And HOL specifications based on ZeTa. On the one hand and the generic theorem prover Isabelle. Side, Z has been represented in a structure preserving embedding of Z into the higher-order logic (HOL) instance of Isabelle. Technically speaking, HOL-Z. Cannot be used for meta-theoretic reasoning over Z. HOL-Z. Essentially consists of three parts:. The LaTeX setup contains an own LaTeX-style file.
tap2014.org
8th International Conference on Tests & Proofs (TAP 2014)
http://www.tap2014.org/pc.shtml
8th International Conference on Tests and Proofs. July 24 - July 25, 2014, York, UK. Achim D. Brucker. Built with Twitter Bootstrap.
lug-freiburg.de
Supportseite der Freiburger Linux User Group
http://www.lug-freiburg.de/support
Freiburger Linux User Group. Wir sind dabei, eine Liste mit erfahrenen Linux-Usern zu erstellen, die allen Linux-Interessierten (auch Einsteigern) bei ihren Fragen behilflich sind:. Patrick.banholzer:at:gmail.com. Und dann kann man auch mich fragen, entweder ich weiß es oder ich weiß es nicht. (Daten von 02.11.2007). Franck.borel:at:t-online.de. Debian/Ubuntu, SuSE, JAVA, J2EE, Tomcat, Jetty, Python, bash, Apache (Daten von 22.04.2007). Achim D. Brucker. Security (Daten von 09/2003). Ingo W. Hiller.
dbsec2016.fbk.eu
Call for Papers - dbsec2016
http://dbsec2016.fbk.eu/call-for-papers
30th Annual IFIP WG 11.3 Conference on. Data and Applications Security and Privacy. Trento, Italy - July 18-21, 2016. Http:/ dbsec2016.fbk.eu. The 30th Annual IFIP WG 11.3 Conference on Data and Applications Security and Privacy (DBSec 2016) will be held in Trento, Italy. DBSec is an annual international conference covering research in data and applications security and privacy. SCOPE OF THE CONFERENCE. Applied cryptography in data security. Data and system integrity. Knowledge discovery and privacy.
lechtsundrinks.de
Mitglieder – FLUGWiki
http://www.lechtsundrinks.de/index.php/Mitglieder
Es folgt eine Liste der Freiburger Linux User:. Mein Interessensgebiet: Debian, Ubuntu, Webserver (Apache), Samba, Embedded Systeme, VPN/SSH. Achim D. Brucker. Brucker:at:freiburg.linux.de. X61;xel flug-01:at:balrog.de. Michael Frhr. v. Münchhausen. Michael.von.muenchhausen:at:vr-web.de. Suse Linux 10.0 , Mac OS X. Daniele.Frijia:at:sase.de. Linux:at:patric-hafner.de. X69;nacker:at:freiburg.linux.de. Steve:at:freiburg.linux.de. M-knaack:at:gmx.de. Auf meinem Rechner läuft seit Jahren nur Linux.
sotec.informatik.uni-freiburg.de
The HOL-Z home page.
http://sotec.informatik.uni-freiburg.de/holz
Version 2.1.1. Welcome to the HOL-Z. Contents of this page:. What is HOL-Z 2.1.1. Is a proof environment for Z. And HOL specifications based on ZeTa. On the one hand and the generic theorem prover Isabelle. Side, Z has been represented in a structure preserving embedding of Z into the higher-order logic (HOL) instance of Isabelle. Technically speaking, HOL-Z. Cannot be used for meta-theoretic reasoning over Z. HOL-Z. Essentially consists of three parts:. The LaTeX setup contains an own LaTeX-style file.