144 <A HREF="http://isabelle.in.tum.de/nominal/activities/tphols09/idw.html">IDW'09</A> (organiser), |
144 <A HREF="http://isabelle.in.tum.de/nominal/activities/tphols09/idw.html">IDW'09</A> (organiser), |
145 <A HREF="http://www.seas.upenn.edu/~sweirich/wmm/wmm09.html">WMM'09</A> (PC chair), |
145 <A HREF="http://www.seas.upenn.edu/~sweirich/wmm/wmm09.html">WMM'09</A> (PC chair), |
146 <A HREF="http://tphols.in.tum.de/">TPHOLs'09</A> (PC co-chair), |
146 <A HREF="http://tphols.in.tum.de/">TPHOLs'09</A> (PC co-chair), |
147 <A HREF="http://dream.inf.ed.ac.uk/events/automatheo-2010/">Automatheo'10</A> (member of PC), |
147 <A HREF="http://dream.inf.ed.ac.uk/events/automatheo-2010/">Automatheo'10</A> (member of PC), |
148 <A HREF="http://www.floc-conference.org/">ITP'10</A> (member of PC), |
148 <A HREF="http://www.floc-conference.org/">ITP'10</A> (member of PC), |
149 <A HREF="http://www.inf.kcl.ac.uk/staff/maribel/UNIF.html">UNIF'10</A> (invited speaker), |
149 <A HREF="http://www.inf.kcl.ac.uk/staff/maribel/UNIF/UNIF.html">UNIF'10</A> (invited speaker), |
150 <A HREF="http://www.cis.upenn.edu/~bcpierce/wmm/">WMM'10</A> (invited speaker), |
150 <A HREF="http://www.cis.upenn.edu/~bcpierce/wmm/">WMM'10</A> (invited speaker), |
151 <A HREF="http://isabelle.in.tum.de/nominal/activities/idw10/idw.html">IDW'10</A> (co-organiser), |
151 <A HREF="http://isabelle.in.tum.de/nominal/activities/idw10/idw.html">IDW'10</A> (co-organiser), |
152 <A HREF="http://formes.asia/cpp">CPP'11</A> (member of PC), |
152 <A HREF="http://formes.asia/cpp">CPP'11</A> (member of PC), |
153 <A HREF="http://www.rdp2011.uns.ac.rs/rta/">RTA'11</A> (member of PC), |
153 <A HREF="http://www.rdp2011.uns.ac.rs/rta/">RTA'11</A> (member of PC), |
154 <A HREF="http://lfmtp11.cs.umn.edu">LFMTP'11</A> (member of PC) |
154 <A HREF="http://lfmtp11.cs.umn.edu">LFMTP'11</A> (member of PC) |