Dr. Matti Järvisalo Matti Jarvisalo

List of Events and Activities

2011	I visited the CSC Theory Group at KTH Stockholm, Sweden, during December 13-16, 2011, as a guest of Assistant Prof. Jakob Nordström and gave a combined guest lecture/invited talk on Modern SAT Solving. I visited DTAI at KU Leuven, Belgium, during October 27-28, 2011, as a guest of Prof. Luc de Raedt, and gave a talk Inprocessing SAT Solvers: Adding More Reasoning to Search at the DTAI seminar. I visited Complex and Adaptive Systems Laboratory at University College Dublin (UCD), Ireland, during October 3-7, 2011, as a guest of Prof. Joao Marques-Silva. 17th International Conference on Principles and Practice of Constraint Programming (CP'11), Perugia, Italy, September 12-16, 2011 (paper) 8th International Conference on Local Search Techniques in Constraint Satisfaction (LSCS'11) (paper) 3rd Workshop on Kernelization (WorKer'11), Vienna, Austria, September 2-4, 2011 I visited Prof. Armin Biere's Institute of Formal Models and Verification at Johannes Kepler University (JKU), Linz, Austria, during August 29 - September 1, 2011 22nd International Joint Conference on Artificial Intelligence (IJCAI'11), July 16-22, 2011, Barcelona, Spain (paper) 14th International Conference on Theory and Applications of Satisfiability Testing (SAT'11), June 19-22,2011, Ann Arbor, MI, USA (paper) 2nd International Workshop on Pragmatics of SAT (PoS'11) 1st International Workshop on the Cross-Fertilization Between CSP and SAT (CSPSAT'11) 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-11), Vancouver, BC, Canada, May 16-19, 2011 (paper) I visited the Database and Artificial Intelligence Group at Vienna University of Technology, Vienna, Austria, February 26 - March 2, 2010 as a guest of Dr. Stefan Woltran
2010	Federated Logic Conference 2010 (FLoC'10), Edinburgh, Scotland, July 9-21, 2010 13th International Conference on Theory and Applications of Satisfiability Testing (SAT'10) (paper) 26th International Conference on Logic Programming (ICLP'10) (paper) 3rd International Workshop on Logic and Search (LaSh'10) Propositional Proof Complexity: Theory and Practice (PPC'10) 1st International Workshop on Pragmatics of SAT (PoS'10) 1st International Workshop on Logics for Component Configuration (LoCoCo'10) I visited Prof. Armin Biere's Institute of Formal Models and Verification at Johannes Kepler University (JKU), Linz, Austria, during March 7-12, 2010 I visited University of Paris 11, France, January 25-27, 2010, as a guest of Dr. Laurent Simon.
2009	Algorithms and Applications for Next Generation SAT Solvers seminar, Schloss Dagstuhl, Germany, November 8-13, 2009 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'09), Potsdam, Germany, September 14-18, 2009 (papers: 1, 2) 2nd International Workshop on Software Engineering for Answer Set Programming (SEA'09), Postdam, Germany, September 14, 2009 1st International Workshop on Logic-Based Interpretation of Context: Modelling and Applications (Log-IC'09), Postdam, Germany, September 14, 2009 12th International Conference on Theory and Applications of Satisfiability Testing (SAT'09), Swansea, Wales, United Kingdom, June 30 - July 3, 2009 I visited Prof. Armin Biere's Institute of Formal Models and Verification at Johannes Kepler University (JKU), Linz, Austria, during April - September 2009 I visited the Database and Artificial Intelligence Group at Vienna University of Technology, Vienna, Austria, June 11-15, 2009 as a guest of Dr. Stefan Woltran, and gave a talk on recent results on the power of structure-based decision heuristics for SAT
2008	My doctoral dissertation defence, November 29, 2008 at TKK (thesis) 15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'08), Doha, Qatar, November 22-27, 2008 (paper) 2nd International Workshop on Logic and Search (LaSh'08), Leuven, Belgium, November 5-6, 2008 (paper) Hecse Autumn School, Emäsalo, Finland, October 20-22, 2008 (talk) 20th European Summer School in Logic, Language, and Information (ESSLLI'08), Hamburg, Germany, August 4-15, 2008 18th European Conference on Artificial Intelligence (ECAI'08), Patras, Greece, July 21-25, 2008 (paper) 23rd AAAI Conference on Artificial Intelligence (AAAI-08), Chicago, Illinois, USA, July 13-17, 2008 (paper)
2007	I visited Prof. Torsten Schaub's Knowledge Processing and Information Systems Group at University of Potsdam, Potsdam, Germany, November 18-24, 2007, and gave a talk on the limitations of restricted branching in clause learning. 13th International Conference on Principles and Practice of Constraint Programming (CP'07), Providence, Rhode Island, USA, September 23-27 (paper) 7th International Workshop on Symmetry and Constraint Satisfaction Problems (SymCon'07), Providence, Rhode Island, USA, September 23 4th International Workshop on Local Search Techniques in Constraint Satisfaction (LSCS'07), Providence, Rhode Island, USA, September 23 23rd International Conference on Logic Programming (ICLP'07), Porto, Portugal, September 8-13, 2007 (paper) 4th International Workshop on Answer Set Programming: Advances in Theory and Implementation (ASP'07), Porto, Portugal, September 8 and 13, 2007 Advanced Course on Artificial Intelligence: Logic for Artificial Intelligence (ACAI'07), Leuven, Belgium, August 20-28, 2007 (poster) 14th RCRA workshop: Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA'07), Rome, Italy, July 5-6, 2007 (paper) Summer School on Algorithmic Data Analysis (SADA'07), Helsinki, Finland, May 28 - June 1, 2007 (poster)
2006	12th International Conference on Principles and Practice of Constraint Programming (CP'06), Nantes, France, September 24-29, 2006 21st National Conference on Artificial Intelligence (AAAI'06), Boston, Massachusetts, USA, July 16-20, 2006 (paper) 6th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Hardware Verification, Bertinoro, Italy, May 22-27, 2006
2005	Fifth Finnish/Baltic Sea Conference on Computer Science Education, Koli, Finland, November 17-20, 2005 (paper) ReflekTori 2005, Espoo, Finland, October 20-21, 2005 (workshop organizer) First International Summer School on Constraint Programming, Acquafredda di Maratea, Italy, September 11-15, 2005
2004	10th International Conference on Principles and Practice of Constraint Programming (CP'04), Toronto, Ontario, Canada, September 27 - October 1, 2004 3rd International Workshop on Modelling and Reformulating Constraint Satisfaction Problems, Toronto, Ontario, Canada, September 27, 2004. (paper) Advanced Computational Techniques of the Simplex Method by Prof. Istvan Maros, Espoo, Finland, August 23 - September 1, 2004 19th Annual IEEE Symposium on Logic in Computer Science (LICS'04), Turku, Finland, July 13-17, 2004 31st International Colloquium on Automata, Languages and Programming (ICALP'04), Turku, Finland, July 12-16, 2004 National Conference of Finnish Society for Computer Science (Tietojenkäsittelytieteen päivät), Joensuu, Finland, May 24-26, 2004. (paper) An Introduction to Kolmogorov Complexity and its Applications by Prof. Paul Vitanyi, Helsinki, Finland, April 26-29, 2004 NDGF/CSC Grid Workshop, CSC, Espoo, Finland, March 31, 2004 9th Estonian Winter School in Computer Science (EWSCS'04), Palmse, Estonia, February 29 - March 5, 2004. (talk) 7th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-7), Fort Lauderdale, Florida, USA, January 6-8, 2004 8th International Symposium on Artificial Intelligence and Mathematics (AI+Math'04), Fort Lauderdale, Florida, USA, January 4-6, 2004. (paper)
2003	Complexity Transitions in Optimization Problems by Dr. Remy Monasson and Dr. Alexander Hartmann, Nuuksio, Finland, October 17-19, 2003