Evgenia (Eugenia) Ternovska

School  of Computing Science

Simon Fraser  University


  1. AAAI 2018: PC Member

  2. IJCAI 2016: SPC Member

  3. KR2016: PC Member

  4. NMR’16: PC Member

  5. IJCAI 2015: PC Member

  6. LPNMR 2015: PC Member

  7. KR2014: PC member

  8. ASPOCP 2015: PC Member

  9. GTTV'15: PC Member

  10. LaSh 2014: co-organizer, PC Member

  11. NMR 2014: PC Member

  12. ASPOCP13: PC member

  13. LPNMR-13: PC member

  14. NRAC 2013: PC member

  15. IJCAI 2011: SPC Member

  16. JAIRnm11: PC member

  17. LPNMR-11: PC member

  18. GTTV 2011: Co-Chair

  19. NMR‘2010 Co-Chair (with Tommie Meyer)

  20. KR 2012, PC Member

IWIL 2012: co-chair

GTTV 2011, (co-organizer, PC member)

IJCAI’11 (Senior PC Member)

NonMon at 30 (a special conference devoted to the 30th anniversary of the field) (PC member)

LPNMR’09, LPNMR’11 (PC member)

AAAI’08 (PC member)

ECAI’10 (PC member)

IWIL’10 (Co-Chair)

DALT’09, DALT’10 (PC member)

• Workshop on Applications, co-chair (within NMR’08)

LaSh’08 (Logic and Search) workshop (PC member)

LaSh’10 (Co-Chair)

24th Canadian Conference on Artificial Intelligence (PC member)

              Associate Professor, Computational Logic

Logic-based Artificial  Intelligence,

Knowledge Representation, Efficient Reasoning,

Reasoning about Actions,

Logics of Programs, Process Algebra, Modal Logics, Fixpoint logics

I also have a strong interest in Descriptive Complexity and Formal Verification

I obtained my PhD in 2002 in Artificial Intelligence under the supervision of Ray Reiter (1939-2002) at the University of Toronto, Canada.       



Currently looking for PhD students

(Please see under Students above)

Also looking for postdoctoral researchers, to apply for PIMS postdoctoral scholarship

Current research focus: Descriptive Complexity, Algebra of Modular Systems, Model Expansion, Logic of Information Flows

Talk: Declarative Programming of Search Problems with Built-In Arithmetic: Complexity and Expressiveness

[slides in pdf]


Research Interests

current activities