Professional Activities
- With Anju Dawar and Alexandra Silva, I organized the {Symmetry, Logic, Computation}
workshop, Nov. 7 – Nov. 10, 2016, at the Simon's Institute as part of their program this year on
Logical Structures in Computation.
- I attended and spoke at the celebration, Tom
Reps at Sixty, in Edinburgh, Scotland, 9/11/16.
- I edit the Logic and Complexity Column for the
new SigLog newsletter.
If you would like to
volunteer to write a column -- or have a suggestion for a topic or author -- please email me.
- Program Committees, chair:
- International Workshop on Logic and Computational Complexity (co-chair) 2006.
- Finite Model Theory Workshop, Bedlewo, Poland, 2003.
- Structure in Complexity Theory Conference, 1994.
- Workshop Organization:
Workshop on Finite Models and Descriptive Complexity, DIMACS, 1996.
- Program Committees, member:
- Association for Symbolic Logic Annual Meeting, 2007.
- Computer Science Logic, 1999, 2006, 2014.
- IEEE Symp. on Logic in Computer Science, 1998, 2005, 2009, 2012, 2014, 2016, 2017.
- International Symposium on Games, Automata, Logics and Formal Verification, 2011.
- Int'l. Conf. Logic Programming, AI, and Reasoning, 2001, 2010.
- Principles of Database Systems, 1995, 2001.
- Symposium on Theory of Computation, 1986, 1996.
- Structure in Complexity Theory Conference, 1991, 1989, 1987.
- WoLLIC, 2012.
- Advisory Boards, member:
- International Workshop on Logic and Computational Complexity Steering Committee, 2007 - 2010.
- Institute for Research in Cognitive Science, University of Pennsylvania, 1996 - 2000.
- Editorial Boards:
- associate editor, Logical Methods in Computer Science, 2004 - present.
- associate editor, SIAM Journal on Computing, 2003 - 2015.
- associate editor, Chicago Journal of Theoretical Computer Science, 1994 - present.
- associate editor, Information and Computation, 1987 - 2004.
- associate editor, Journal of Symbolic Logic, 1996 - 1999.
- editor, Special Issue of JCSS for the Sixth Structures Symposium, 1991.
- NSF service
- Theory Panel, 2003, 2006, 2012.
- CAREER Panel, 1995.
- NYI Panel, 1992.
- RIA Panel, 1990.