Research visits and events participated
2021
Video presentation at ECML-PKDD 2021 journal track [video] [doi:10.1007/s10618-021-00739-7]
2020
2019
Two posters at AI day 2019, Dipoli Congress Center, Espoo, Finland, November 26, 2019
ECML-PKDD 2019, Wûrzburg, Germany, September 16-20, 2019
Contributed talk at Automating Data Science (ADS) workshop [slides]
2018
A poster and demo at AI Day 2018, Dipoli Congress Center, Espoo, Finland, December 12, 2018
Participation in Brainhack Finland 2018 (sideR project), May 2, 2018
2017
A poster and demo at AI day 2017, Dipoli Congress Center, Espoo, Finland, December 13, 2017
A talk "Minimum-Width Confidence Bands via Constraint Optimization" at Vienna University of Technology (Austria) as a guest of Prof. Stefan Woltran, September 29, 2017. [announcement]
2016
A research visit to Gent University, Belgium as a guest of Prof. Tijl De Bie, November 29 - December 2, 2016
2015
31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31 - September 4, 2015. [paper]
2014
Vienna Summer of Logic, Vienna, Austria, July 9-24, 2014
30th International Conference on Logic Programming (ICLP)
17th International Conference on Theory and Applications of Satisfiability Testing (SAT)
14th International Conference on Principles of Knowledge Representation and Reasoning (KR)
15th International Workshop on Non-Monotonic Reasoning (NMR)
7th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP)
4th International Workshop on Logic and Search (Co-Chair)
2013
SAT 2013, 16th International Conference on Theory and Applications of Satisfiability Testing, Helsinki, Finland, July 8-12, 2013
SMT 2013, 11th International Workshop on Satisfiability Modulo Theories, Helsinki, Finland, July 8-9, 2013
2011
CP 2011, 17th International Conference on Principles and Practice of Constraint Programming, Perugia, Italy, September 12-16, 2011
LSCS 2011, 8th International Conference on Local Search Techniques in Constraint Satisfaction, Perugia, Italy, September 12, 2011
IJCAI'11, 22nd International Joint Conference on Artificial Intelligence, July 16-22, 2011, Barcelona, Spain
2010
Participation and talk "Strong and Local Equivalence for Grounded Semantics" at Second Argumentation Christmas Meeting during a research visit to Vienna University of Technology (Vienna, Austria) as a guest of Dr. Stefan Woltran, November 30 - December 8, 2010.
JELIA 2010, 12th European Conference in Artificial Intelligence, Helsinki, Finland, September 13 - 15, 2010.
Talk on "Characterizing Strong Equivalence for Argumentation Frameworks" at HIIT seminar at University of Helsinki, March 12 [announcement]
2009
LPNMR'09, 10th International Conference on Logic Programming and Nonmonotonic Reasoning, Potsdam, Germany, September 14-18, 2009. [paper] [paper]
A talk at Research Seminar@DBAI during a research visit to Vienna University of Technology (Vienna, Austria) as a guest of Dr. Stefan Woltran (Database and Artificial Intelligence Group), June 10-16, 2009. [announcement]
2008
Doctoral dissertation "Modularity in Answer Set Programs" on October 24th, 2008 at 12 o'clock (Lecture hall T2, Computer Science building, Konemiehentie 2, Espoo) [Väitöstiedote] [ICS Factor blog entry]
Hecse Autumn School, Porvoo, October 20-22, 2008
AIMSA 2008, 13th International Conference on Artificial Intelligence: Methodology, Systems, Applications, AI@Work, Varna, Bulgaria, September 4-6, 2008 [paper] [[slides]
ESSLLI'08, 20th European Summer School in Logic,Language, and Information, Hamburg, Germany, August 4-15,2008
2007
A research visit to University of Potsdam (Potsdam, Germany) as a guest of Prof. Torsten Schaub's Knowledge Processing and Information Systems Group, November 18-24, 2007
ICLP'07, 23rd International Conference on Logic Programming, Porto, Portugal, September 8-13, 2007 [paper] [poster] [DC research summary]
ASP'07, 4th International Workshop on Answer Set Programming: Advances in Theory and Implementation, Porto, Portugal, September 8 and 13, 2007 [paper]
ACAI 2007, Advanced Course on Artificial Intelligence: Logic for Artificial Intelligence, Leuven, Belgium, August 20-28, 2007. [poster]
Retreat for Google Europe Anita Borg Memorial Scholarship 2007 finalists, Zurich, Switzerland, May 31 - June 2, 2007.
SADA07, Summer School on Algorithmic Data Analysis, Helsinki, Finland, May 28 - June 1, 2007. [poster]
LPNMR'07, 9th International Conference on Logic Programming and Nonmonotonic Reasoning, Tempe, Arizona, USA, May 14-17, 2007. [paper] [poster]
CENT 2007, Workshop on Correspondence and Equivalence for Nonmonotonic Theories, Tempe, Arizona, USA, May 14, 2007.
SEA 2007, 1st International Workshop on Software Engineering for Answer Set Programming, Tempe, Arizona, USA, May 14, 2007.
2006
Reasoning Web 2006, 2nd International Summer School, Lisbon, Portugal, September 4 - 8, 2006. [tutorials@SpringerLink]
ECAI'06, 17th European Conference on Artificial Intelligence, Riva del Garda, Italy, August 28 - September 1, 2006. [paper] [slides]
KR2006, 10th International Conference on Principles of Knowledge Representation and Reasoning, Lake District, UK, June 2 - 5, 2006. Doctoral Consortium [poster]
NMR'06, 11th International Workshop on Non-Monotonic Reasoning, Lake District, UK, May 30 - June 1, 2006. [proceedings] [paper] [slides]
2005
ReflekTori 2005, Tekniikan opetuksen symposium, Espoo, Finland, October 20 - 21, 2005.
LPNMR'05, 8th International Conference on Logic Programming and Nonmonotonic Reasoning, Diamante, Italy, September 5 - 8, 2005. [paper] [poster]
ICCL Summer School 2005, Logic-based Knowledge Representation, Dresden, Germany, July 2 - 17, 2005. [paper] [slides]
Dagstuhl Seminar #05171, Nonmonotonic Reasoning, Answer Set Programming and Constraints, Dagstuhl, Germany, April 24 - 29, 2005. [proceedings] [slides]
2004
Peda-Forum 10v. juhlaseminaari, Kuusamo, Finland November, 10-12, 2004
JELIA'04, 9th European Conference in Artificial Intelligence, Lisbon, Portugal, September 27 - 30, 2004. [paper]
EWSCS'04, 9th Estonian Winter School in Computer Science, Palmse, Estonia, February 29 - March 5, 2004. [slides]
LPNMR-7, 7th International Conference on Logic Programming and Nonmonotonic Reasoning, Fort Lauderdale, Florida, USA, January 6 - 8, 2004. [paper] [paper] [slides]
AI+Math'04, 8th International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, Florida, USA, January 4 - 6, 2004.
2003
Tietojenkäsittelytieteen päivät, National Conference of Finnish Society for Computer Science, Espoo, Finland, May 19 - 21, 2003. [paper] [slides]
2002
JELIA'02, 8th European Conference on Logic in Artificial Intelligence, Cosenza, Italy, September, 23 - 26, 2002. [paper]