Mercurial Mercurial > hg > public_html / comparison
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.
index.html~
changeset 421 38739b26f80d
parent 415 f1be8028a4a9
equal deleted inserted replaced
420:6600eb5b11cb 421:38739b26f80d 
    42 <B>Links</B><BR>
 
    42 <B>Links</B><BR>
 
    43 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/index.html">Home</A><BR>
 
    43 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/index.html">Home</A><BR>
 
    44 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/publications.html">Publications</A><BR>
 
    44 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/publications.html">Publications</A><BR>
 
    45 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/teaching.html">Teaching</A><BR>
 
    45 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/teaching.html">Teaching</A><BR>
 
    46 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/travelling.html">Recent Talks</A><BR>
 
    46 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/travelling.html">Recent Talks</A><BR>
 
    47 <A HREF="http://isabelle.in.tum.de/nominal/">My Research Group</A>
 
    47 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/">Nominal Isabelle</A>
 
    48 <BR>
 
    48 <BR>
 
    49 <BR>
 
    49 <BR>
 
    50 
    50 
    51 <B>Handy Information</B><BR>
 
    51 <B>Handy Information</B><BR>
 
    52 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/logic.html">People in Logic</A><BR> 
    52 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/logic.html">People in Logic</A><BR> 
    55 <BR><BR>
 
    55 <BR><BR>
 
    56 
    56 
    57 <table border="0">
 
    57 <table border="0">
 
    58 <tr>
 
    58 <tr>
 
    59 <td>
 
    59 <td>
 
    60 <A HREF="http://isabelle.in.tum.de/nominal/">
 
    60 <A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/">
 
    61 <IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left"></A>
 
    61 <IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left"></A>
 
    62 </td>
 
    62 </td>
 
    63 </tr>
 
    63 </tr>
 
    64 <tr>
 
    64 <tr>
 
    65 <td>
 
    65 <td>
 
   148 
   148 
   149 
   149 
   150 <B>Conferences</B>
 
   150 <B>Conferences</B>
 
   151 UNIF'06 (member of PC), 
   151 UNIF'06 (member of PC), 
   152 <A HREF="http://www.cs.mcgill.ca/~bpientka/lfmtp07">LFMTP'07</A> (member of PC), 
   152 <A HREF="http://www.cs.mcgill.ca/~bpientka/lfmtp07">LFMTP'07</A> (member of PC), 
   153 <A HREF="http://isabelle.in.tum.de/nominal/activities/lfmtp08/">LFMTP'08</A> (PC co-chair), 
   153 <A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/lfmtp08/">LFMTP'08</A> (PC co-chair), 
   154 <A HREF="http://www.cis.upenn.edu/~sweirich/wmm/">WMM'08</A> (member of PC),
 
   154 <A HREF="http://www.cis.upenn.edu/~sweirich/wmm/">WMM'08</A> (member of PC),
 
   155 <A HREF="http://www.mat.ufmg.br/lsfa2008/">LSFA'08</A> (invited speaker),
 
   155 <A HREF="http://www.mat.ufmg.br/lsfa2008/">LSFA'08</A> (invited speaker),
 
   156 <A HREF="http://www.inf.kcl.ac.uk/staff/maribel/TAASN.html">TAASN'09</A> (member of PC),
 
   156 <A HREF="http://www.inf.kcl.ac.uk/staff/maribel/TAASN.html">TAASN'09</A> (member of PC),
 
   157 <A HREF="http://lsfa09.cic.unb.br/">LSFA'09</A> (member of PC),
 
   157 <A HREF="http://lsfa09.cic.unb.br/">LSFA'09</A> (member of PC),
 
   158 <A HREF="http://isabelle.in.tum.de/nominal/activities/tphols09/idw.html">IDW'09</A> (organiser),
 
   158 <A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/tphols09/idw.html">IDW'09</A> (organiser),
 
   159 <A HREF="http://www.seas.upenn.edu/~sweirich/wmm/wmm09.html">WMM'09</A> (PC chair),
 
   159 <A HREF="http://www.seas.upenn.edu/~sweirich/wmm/wmm09.html">WMM'09</A> (PC chair),
 
   160 <A HREF="https://isabelle.in.tum.de/nominal/activities/tphols09/">TPHOLs'09</A> (PC co-chair),
 
   160 <A HREF="https://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/tphols09/">TPHOLs'09</A> (PC co-chair),
 
   161 <A HREF="http://dream.inf.ed.ac.uk/events/automatheo-2010/">Automatheo'10</A> (member of PC),
 
   161 <A HREF="http://dream.inf.ed.ac.uk/events/automatheo-2010/">Automatheo'10</A> (member of PC),
 
   162 <A HREF="http://www.floc-conference.org/">ITP'10</A> (member of PC),
 
   162 <A HREF="http://www.floc-conference.org/">ITP'10</A> (member of PC),
 
   163 <A HREF="http://www.inf.kcl.ac.uk/staff/maribel/UNIF/UNIF.html">UNIF'10</A> (invited speaker),
 
   163 <A HREF="http://www.inf.kcl.ac.uk/staff/maribel/UNIF/UNIF.html">UNIF'10</A> (invited speaker),
 
   164 <A HREF="http://www.cis.upenn.edu/~bcpierce/wmm/">WMM'10</A> (invited speaker),
 
   164 <A HREF="http://www.cis.upenn.edu/~bcpierce/wmm/">WMM'10</A> (invited speaker),
 
   165 <A HREF="http://isabelle.in.tum.de/nominal/activities/idw10/idw.html">IDW'10</A> (co-organiser),
 
   165 <A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/idw10/idw.html">IDW'10</A> (co-organiser),
 
   166 CPP'11 (member of PC),
 
   166 CPP'11 (member of PC),
 
   167 <A HREF="http://www.rdp2011.uns.ac.rs/rta/">RTA'11</A> (member of PC),
 
   167 <A HREF="http://www.rdp2011.uns.ac.rs/rta/">RTA'11</A> (member of PC),
 
   168 <A HREF="http://lfmtp11.cs.umn.edu">LFMTP'11</A> (member of PC),
 
   168 <A HREF="http://lfmtp11.cs.umn.edu">LFMTP'11</A> (member of PC),
 
   169 <A HREF="http://www.cs.uwyo.edu/~ruben/itp-2014">ITP'14</A> (member of PC),
 
   169 <A HREF="http://www.cs.uwyo.edu/~ruben/itp-2014">ITP'14</A> (member of PC),
 
   170 <A HREF="http://www.cicm-conference.org/2015/cicm.php?event=mkm">MKM'15</A> (member of PC),
 
   170 <A HREF="http://www.cicm-conference.org/2015/cicm.php?event=mkm">MKM'15</A> (member of PC),
 
   202 <A HREF="http://www.humboldt-foundation.de/web/home.html">foundation</A>. During this time I was a visitor in the group of 
   202 <A HREF="http://www.humboldt-foundation.de/web/home.html">foundation</A>. During this time I was a visitor in the group of 
   203 <A HREF="http://www.mathematik.uni-muenchen.de/~schwicht/">Prof. Helmut Schwichtenberg</A>.
 
   203 <A HREF="http://www.mathematik.uni-muenchen.de/~schwicht/">Prof. Helmut Schwichtenberg</A>.
 
   204 Since 2006 this work is supported by an
 
   204 Since 2006 this work is supported by an
 
   205 <A HREF="http://en.wikipedia.org/wiki/Emmy_Noether">Emmy-Noether</A> 
   205 <A HREF="http://en.wikipedia.org/wiki/Emmy_Noether">Emmy-Noether</A> 
   206 <A HREF="http://www.dfg.de/en/research_funding/programmes/individual/emmy_noether/in_brief/index.html">fellowship</A>.
 
   206 <A HREF="http://www.dfg.de/en/research_funding/programmes/individual/emmy_noether/in_brief/index.html">fellowship</A>.
 
   207 There is a <A HREF="http://isabelle.in.tum.de/nominal/">webpage</A> and a
 
   207 There is a <A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/">webpage</A> and a
 
   208 <A HREF="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/nominal-isabelle">mailing list</A> 
   208 <A HREF="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/nominal-isabelle">mailing list</A> 
   209 about Nominal Isabelle. It also includes a list of projects that use Nominal Isabelle.
 
   209 about Nominal Isabelle. It also includes a list of projects that use Nominal Isabelle.
 
   210 Users of Nominal Isabelle had their papers appearing at LICS, POPL, FOSSACS, SOS, TPHOLs, CPP, SEFM,
 
   210 Users of Nominal Isabelle had their papers appearing at LICS, POPL, FOSSACS, SOS, TPHOLs, CPP, SEFM,
 
   211 the Haskell Symposium and
 
   211 the Haskell Symposium and
 
   212 in the Journal of Automated Reasoning.
 
   212 in the Journal of Automated Reasoning.
 
   351 </TR>
 
   351 </TR>
 
   352  
   352  
   353 
   353 
   354 </TABLE>
 
   354 </TABLE>
 
   355 <P>
 
   355 <P>
 
   356 <!-- hhmts start --> Last modified: Fri Nov 13 13:13:26 GMT 2015 <!-- hhmts end -->
 
   356 <!-- hhmts start --> Last modified: Wed Mar 30 16:25:03 BST 2016 <!-- hhmts end -->
 
   357 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 
   357 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 
   358 </BODY>
 
   358 </BODY>
 
   359 </HTML>
 
   359 </HTML>
public_html