154 <B>Conferences</B> |
154 <B>Conferences</B> |
155 UNIF'06 (member of PC), |
155 UNIF'06 (member of PC), |
156 <A HREF="http://www.cs.mcgill.ca/~bpientka/lfmtp07">LFMTP'07</A> (member of PC), |
156 <A HREF="http://www.cs.mcgill.ca/~bpientka/lfmtp07">LFMTP'07</A> (member of PC), |
157 LFMTP'08 (PC co-chair), |
157 LFMTP'08 (PC co-chair), |
158 <A HREF="http://www.cis.upenn.edu/~sweirich/wmm/">WMM'08</A> (member of PC), |
158 <A HREF="http://www.cis.upenn.edu/~sweirich/wmm/">WMM'08</A> (member of PC), |
159 <A HREF="http://www.mat.ufmg.br/lsfa2008/">LSFA'08</A> (invited speaker), |
159 LSFA'08 (invited speaker), |
160 <A HREF="http://www.inf.kcl.ac.uk/staff/maribel/TAASN.html">TAASN'09</A> (member of PC), |
160 <A HREF="http://www.inf.kcl.ac.uk/staff/maribel/TAASN.html">TAASN'09</A> (member of PC), |
161 <A HREF="http://lsfa09.cic.unb.br/">LSFA'09</A> (member of PC), |
161 <A HREF="http://lsfa09.cic.unb.br/">LSFA'09</A> (member of PC), |
162 <A HREF="https://nms.kcl.ac.uk/christian.urban/Nominal/activities/tphols09/idw.html">IDW'09</A> (organiser), |
162 <A HREF="https://nms.kcl.ac.uk/christian.urban/Nominal/activities/tphols09/idw.html">IDW'09</A> (organiser), |
163 <A HREF="http://www.seas.upenn.edu/~sweirich/wmm/wmm09.html">WMM'09</A> (PC chair), |
163 <A HREF="http://www.seas.upenn.edu/~sweirich/wmm/wmm09.html">WMM'09</A> (PC chair), |
164 <A HREF="https://nms.kcl.ac.uk/christian.urban/Nominal/activities/tphols09/">TPHOLs'09</A> (PC co-chair), |
164 <A HREF="https://nms.kcl.ac.uk/christian.urban/Nominal/activities/tphols09/">TPHOLs'09</A> (PC co-chair), |