109 I was also offered a lectureship |
109 I was also offered a lectureship |
110 <A HREF="http://www.it.uu.se/" TITLE="Uppsala">here</A>, an associate professorship |
110 <A HREF="http://www.it.uu.se/" TITLE="Uppsala">here</A>, an associate professorship |
111 <A HREF="http://en.itu.dk/" TITLE="ITU, Copenhagen">here</A>, |
111 <A HREF="http://en.itu.dk/" TITLE="ITU, Copenhagen">here</A>, |
112 and full professorships |
112 and full professorships |
113 <A HREF="http://www.ustcsz.edu.cn/kedweb/" TITLE="IAS, Suzhou">here</A> and |
113 <A HREF="http://www.ustcsz.edu.cn/kedweb/" TITLE="IAS, Suzhou">here</A> and |
114 <A HREF="http://http://www.sei.ecnu.edu.cn/En/Default" TITLE="Shanghai">here</A>. |
114 <A HREF="http://www.sei.ecnu.edu.cn/En/Default" TITLE="Shanghai">here</A>. |
115 I thank all people involved for their efforts. |
115 I thank all people involved for their efforts. |
116 <P> |
116 <P> |
117 |
117 |
118 <B>Past Positions</B> |
118 <B>Past Positions</B> |
119 In April 2006, I was awarded an <A HREF="http://en.wikipedia.org/wiki/Emmy_Noether">Emmy-Noether</A> |
119 In April 2006, I was awarded an <A HREF="http://en.wikipedia.org/wiki/Emmy_Noether">Emmy-Noether</A> |
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://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/lfmtp08/">LFMTP'08</A> (PC co-chair), |
153 <A HREF="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://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/tphols09/idw.html">IDW'09</A> (organiser), |
158 <A HREF="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://http://www.inf.kcl.ac.uk/staff/urbanc/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://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/idw10/idw.html">IDW'10</A> (co-organiser), |
165 <A HREF="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://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/">webpage</A> and a |
207 There is a <A HREF="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. |