Mercurial Mercurial > hg > public_html / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Nominal/activities/idw10/idw.html
changeset 415 f1be8028a4a9 
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Nominal/activities/idw10/idw.html	Wed Mar 30 17:27:34 2016 +0100
@@ -0,0 +1,239 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
+<html>
+<head>
+<title>Isabelle Developers Workshop 2010</title>
+</head>
+
+<BODY TEXT="#000000" 
+      BGCOLOR="#4169E1" 
+      LINK="#0000EF" 
+      VLINK="#51188E" 
+      ALINK="#FF0000"
+      onload="initialize()" onunload="GUnload()">
+
+<TABLE WIDTH="100%" 
+       BGCOLOR="#4169E1" 
+       BORDER="0"   
+       FRAME="border"  
+       CELLPADDING="10"     
+       CELLSPACING="2"
+       RULES="all">
+
+<!-- left column -->
+<TR>
+<TD BGCOLOR="#FFFFFF" 
+    WIDTH="20%" 
+    VALIGN="TOP" 
+    ROWSPAN="2">
+
+<p align=center>
+<a href="http://www.cl.cam.ac.uk/images/cl-spring-370.jpg">
+<img src="http://www.cl.cam.ac.uk/images/cl-spring-370.jpg" alt="Lab" border=0></a>
+<br>
+<small>Computer Laboratory in Cambridge</small><br>
+</p>
+
+<p align=center>
+<a href="http://www.kings.cam.ac.uk/sites/default/files/chapel/chapel-sunset-reflection.jpg">
+<img src="http://www.kings.cam.ac.uk/sites/default/files/chapel/chapel-sunset-reflection.jpg" alt="King's College" border=0></a>
+<br>
+<small>King's College, Cambridge</small><br>
+</p>
+
+
+</TD>
+
+
+<!-- right column -->
+<TD BGCOLOR="#FFFFFF" WIDTH="75%" VALIGN="TOP">
+<TABLE>
+<TR>
+<TD><H1>Isabelle Developers Workshop</H1>
+<H3>17 and 18 June in Cambridge, UK</H3>
+</TD>
+</TR>
+</TABLE>
+
+
+<H3>Programme</H3> 
+
+The Isabelle Developers Workshop will be held in Cambridge this year. 
+Like the <A href="http://isabelle.in.tum.de/nominal/activities/tphols09/idw.html">last one</A>
+in Munich, the workshop is very much meant to be an informal meeting 
+where developers can talk to developers.  It is also a place where you 
+can learn about Isabelle programming and the latest developments around
+Isabelle. We like to reach out to new people to help them to become
+part of the Isabelle developer community.
+
+<p>
+There is no registration fee for this workshop. 
+If you want to participate, please let me know as soon as possible
+(email: urbanc  at in tum de). 
+
+<H3>Venue</H3> 
+
+The workshop will take place in the <A href="http://www.cl.cam.ac.uk/">Computer 
+Laboratory in Cambridge</A> (<A HREF="http://maps.google.co.uk/maps?f=q&source=s_q&hl=en&geocode=&q=15+JJ+Thomson+Avenue,+Cambridge&sll=52.215417,0.10231&sspn=0.018695,0.033989&ie=UTF8&hq=&hnear=15+J+J+Thomson+Ave,+Cambridge+CB3+0FD,+United+Kingdom&z=16">location</A>). The room is FW11 on the first floor inside the "public" part of the Computer Laboratory. There will be signs leading the way.
+
+<H3>Wifi</H3>
+
+There is free wifi in the Computer Lab. The network name is <B>wgb</b>.
+
+<H3>Material</H3>
+
+We will hand out some files during the workshop. The release candidate
+of Isabelle is available <A HREF="http://www4.in.tum.de/~wenzelm/test/isabelle/">here</A>.
+Although incomplete, you might find the Isabelle Programming Tutorial 
+(<A HREF="http://isabelle.in.tum.de/nominal/activities/idp">draft</A>) helpful.
+
+<H3>Organisers</H3> 
+<TABLE>
+<TR><TD><A HREF="http://www.cl.cam.ac.uk/~lp15/">Larry Paulson</A></TD>
+    <TD>University of Cambridge, UK</TD>
+</TR>
+<TR><TD><A HREF="http://wwwbroy.in.tum.de/~urbanc/">Christian Urban</A></TD>
+    <TD>TU Munich, Germany</TD>
+</TR>
+</TABLE>
+
+<H3>Confirmed Participants</H3> 
+
+<TABLE>
+<TR><TD><A HREF="http://wwwbroy.in.tum.de/~berghofe/">Stefan Berghofer</A></TD>
+    <TD>TU Munich, Germany</TD>
+</TR>
+<TR><TD><A HREF="http://wwwbroy.in.tum.de/~blanchet/">Jasmin Blanchette</A></TD>
+    <TD>TU Munich, Germany</TD>
+</TR>
+<TR><TD><A HREF="http://www.brucker.ch/">Achim Brucker</A></TD>
+    <TD>SAP, Germany</TD>
+</TR>
+<TR><TD>Abdou Feliachi</TD>
+    <TD>Univ. Paris Sud, France</TD>
+</TR>
+<TR><TD><A HREF="http://www-pu.informatik.uni-tuebingen.de/users/gast/">Holger Gast</A></TD>
+    <TD>University of T&uuml;bingen, Germany</TD>
+</TR>
+<TR><TD><A HREF="http://www.inf.ed.ac.uk/people/staff/Bogdan_Grechuk.html">Bogdan Grechuk</A></TD>
+    <TD>University of Edinburgh, UK</TD>
+</TR>
+<TR><TD><A HREF="http://homepages.inf.ed.ac.uk/ggrov/">Gudmund Grov</A></TD>
+    <TD>University of Edinburgh, UK</TD>
+</TR>
+<TR><TD><A HREF="http://www4.in.tum.de/~kaliszyk/">Cezary Kaliszyk</A></TD>
+    <TD>TU Munich, Germany</TD>
+</TR>
+<TR><TD>Matthias Krieger</TD>
+    <TD>LRI / Univ. Paris Sud, France</TD>
+</TR>
+<TR><TD><A HREF="http://pp.info.uni-karlsruhe.de/personhp/andreas_lochbihler.php">Andreas Lochbihler</A></TD>
+    <TD>KIT Karlsruhe, Germany</TD>
+</TR>
+<TR><TD><A HREF="http://www.cl.cam.ac.uk/~mom22/">Magnus Myreen</A></TD>
+    <TD>University of Cambridge, UK</TD>
+</TR>
+<TR><TD><A HREF="http://www.ist.tugraz.at/neuper">Walther Neuper</A></TD>
+    <TD>TU Graz, Austria</TD>
+</TR>
+<TR><TD><A HREF="http://homepages.inf.ed.ac.uk/s0793667/">Omar Montano Rivas</A></TD>
+    <TD>University of Edinburgh, UK</TD>
+</TR>
+<TR><TD><A HREF="http://homepages.inf.ed.ac.uk/s0566973/">Jaroslav Sevcik</A></TD>
+    <TD>University of Cambridge, UK</TD>
+</TR>
+<TR><TD><A HREF="http://www.nicta.com.au/people/sewellt">Thomas Sewell</A></TD>
+    <TD>NICTA, Australia</TD>
+</TR>
+<TR><TD><A HREF="http://cl-informatik.uibk.ac.at/~griff/">Christian Sternagel</A></TD>
+    <TD>University of Innsbruck, Austria</TD>
+</TR>
+<TR><TD><A HREF="http://www.cl.cam.ac.uk/~ns441/">Nik Sultana</A></TD>
+    <TD>University of Cambridge, UK</TD>
+</TR>
+<TR><TD><A HREF="http://cl-informatik.uibk.ac.at/~thiemann/">Rene Thiemann</A></TD>
+    <TD>University of Innsbruck, Austria</TD>
+</TR>
+<TR><TD><A HREF="http://www.cl.cam.ac.uk/~mu232/">Matej Urbas</A></TD>
+    <TD>University of Cambridge, UK</TD>
+</TR>
+<TR><TD><A HREF="http://www.cl.cam.ac.uk/~vv216/">Viktor Vafeiadis</A></TD>
+    <TD>University of Cambridge, UK</TD>
+</TR>
+<TR><TD><A HREF="http://www.cl.cam.ac.uk/~tw333/">Tjark Weber</A></TD>
+    <TD>University of Cambridge, UK</TD>
+</TR>
+<TR><TD><A HREF="http://www.lri.fr/~wenzel/">Makarius Wenzel</A></TD>
+    <TD>LRI / Univ. Paris Sud, France</TD>
+</TR>
+<TR><TD><A HREF="http://www.lri.fr/~wolff/">Burkhart Wolff</A></TD>
+    <TD>LRI / Univ. Paris Sud, France</TD>
+</TR>
+</TABLE>
+
+
+<H3>Schedule</H3> 
+
+<H5>Wednesday, June 16</H5>
+
+For anybody who is present, we will meet at 5 o'clock in the 
+afternoon in the <A HREF="http://www.cambridge2000.com/cambridge2000/html/0009/P9042329.html">Eagle Pub</A>
+(8 Benet St, Cambridge CB2 3QN; <A HREF="http://maps.google.co.uk/maps?q=52.2040,0.1180(Bene't+Street:+The+Eagle+pub)&z=17">location</A>).
+This pub is in a side street not far from King's College.
+
+
+<H5>Thursday, June 17</H5>
+
+<ul>
+<li> 9:30 - 10:30 <B>Isabelle Programming Introduction I</B> (Makarius Wenzel / Christian Urban)
+[<A HREF="http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/cambridge tutorial/raw-file/tip/T01_Intro.thy">T01_Intro.thy</A>]
+<li> 11:00 - 12:00 <B>Isabelle Programming Introduction II</B> (Jasmin Blanchette / Christian Urban)
+[<A HREF="http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/cambridge tutorial/raw-file/tip/T02_Intro.thy">T02_Intro.thy</A>]
+<li> 14:00 - 15:00 <B>Tactics and Conversions</B> (Christian Urban / Stefan Berghofer)
+[<A HREF="http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/cambridge tutorial/raw-file/tip/T03_Tactics.thy">T03_Tactics.thy</A>]
+<li> 15:30 - 16:30 <B>Contexts and Local Theories</B> (Makarius Wenzel)
+[<A HREF="http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/cambridge tutorial/raw-file/tip/T04_Contexts.thy">T04_Contexts.thy</A>]
+<li> 17:00 - 18:00 <B>Contributed Talks:</B> 
+I3P for Developers: How to Represent Your Tool in the UI (Holger Gast)
+[<A HREF="http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/cambridge tutorial/raw-file/tip/gast.pdf">slides</A>],
+HOL-Boogie - An Interactive Verification Backend for VCC (Burkhart Wolff),
+[<A HREF="http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/cambridge tutorial/raw-file/tip/smt_talk.pdf">slides1</A>,
+<A HREF="http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/cambridge tutorial/raw-file/tip/boogie.pdf">slides2</A>]
+</ul>
+
+<H5>Friday, June 18</H5>
+
+<ul>
+<li> 9:30 - 10:30 <B>Parsing and Methods</B> (Stefan Berghofer)
+[<A HREF="http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/cambridge tutorial/raw-file/tip/T05_Methods.thy">T05_Methods.thy</A>]
+<li> 11:00 - 12:00 <B>ML and Scala</B> (Makarius Wenzel)
+[<A HREF="http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/cambridge tutorial/raw-file/tip/T06_System.thy">T06_System.thy</A>]
+<li> 14:00 - 15:00 <B>Isabelle and LaTeX</B> (Christian Urban)
+[<A HREF="http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/cambridge tutorial/raw-file/tip/T07_Latex.thy">T07_Latex.thy</A>, <A HREF="http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/cambridge tutorial/raw-file/tip/T07_Latex.tex">T07_Latex.tex</A>, <A HREF="http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/cambridge tutorial/raw-file/tip/T07_Latex.pdf">slides</A>]
+<li> 15:30 - 16:30 <B>Contributed Talks:</B> Monad Syntax (Christian Sternagel)
+[<A HREF="http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/cambridge tutorial/raw-file/tip/Monad_Syntax.thy">Monad_Syntax.thy</A>, <A HREF="https://www4.in.tum.de/~krauss/hg/monad_notation/">HG repository</A>, <A HREF="http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/cambridge tutorial/raw-file/tip/sternagel.pdf">slides</A>], 
+Encoding Object-oriented Datatypes in HOL: Extensible Records Revisited
+(Achim Brucker)
+<li> 17:00 - 17:30 <B>Contributed Talk:</B> HOL-TestGen - A Testcase Generation Environment
+(Burkhart Wolff) [<A HREF="http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/cambridge tutorial/raw-file/tip/testgen.pdf">slides</A>]
+</ul>
+
+If there is interest, Nik Sultana will show after the workshop the highlights of Cambridge 
+in a tourist tour.
+
+<H3>Accommodation, Travelling etc</H3>
+
+Some information about accommodation in Cambridge is
+available <A HREF="http://www.accommodation.cam.ac.uk/">here</A>. There are two convenient options
+for travelling to Cambridge from continental Europe: one is by Eurostar and train from London; 
+the other is via plane to London Stansted and by train or bus from there.
+</TD>
+</TR>
+</TABLE>
+
+<hr>
+<!-- hhmts start -->
+Last modified: Wed Jul 21 11:46:56 CEST 2010
+<!-- hhmts end -->
+<a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
+</body>
+</html>
public_html