Activities per year
- 3 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