Activities per year
Activities
- 5 results
Search results
-
New advances in algebraic circuits and proofs
Tzameret, I. (Speaker)
May 2016Activity: Talk or presentation › Invited talk
-
Mathematical Reviews (AMS) (Journal)
Tzameret, I. (Reviewer)
2015 → …Activity: Publication peer-review and editorial work › Peer review of manuscripts
-
The Sixteenth International Workshop on Logic and Computational Complexity (LCC 2015) (External organisation)
Tzameret, I. (Participant)
2015 → …Activity: Membership › Membership of peer review panel or committee
-
Member of TYPES steering committee (External organisation)
Luo, Z. (Participant)
25 Apr 2013Activity: Membership › Membership of research network
-
International Joint Conferences on Ambient Intelligence (External organisation)
Stathis, K. (Participant)
1 Jun 2010Activity: Membership › Membership of public/government advisory/policy group or panel