Activities per year
- 4 results
Search results
-
Topical/Group Seminar: A Method to Identify and Analyze Biological Programs through Automated Reasoning
Hillel, K. (Speaker)
2016 → …Activity: Talk or presentation › Oral presentation
-
Departmental Seminar/Colloquium: Studying Biological Programs using Modelling and Automated Reasoning
Hillel, K. (Speaker)
2015 → …Activity: Talk or presentation › Oral presentation
-
Topical/Group Seminar: Synthesizing Biological Theories
Hillel, K. (Speaker)
2010 → …Activity: Talk or presentation › Oral presentation
-
Association of Computing Machinery (ACM) (External organization)
Hillel, K. (Member)
2007 → …Activity: Membership › Membership of association