Aktiviteetteja vuodessa
Aktiviteetit
- 36 tulosta
Hakutulokset
-
Expressiveness versus Efficiency Workshop, part of the Satisfiability: Theory, Practice, and Beyond Program
Järvisalo, M. (Järjestäjätoimikunnan jäsen)
2021Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
SAT Race 2019
Järvisalo, M. (Järjestäjätoimikunnan jäsen)
2019Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
MaxSAT Evaluation 2019
Järvisalo, M. (Järjestäjätoimikunnan jäsen)
2019Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
SAT Competition 2018
Järvisalo, M. (Järjestäjätoimikunnan jäsen)
2018Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
SAT/SMT/AR Summer School 2018
Saikko, P. (Osallistuja)
3 heinäk. 2018 → 6 heinäk. 2018Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
MaxSAT Evaluation 2018
Järvisalo, M. (Järjestäjätoimikunnan jäsen)
2018Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
8th International Workshop on Pragmatics of SAT (PoS 2018)
Järvisalo, M. (Tieteellisen komitean puheenjohtaja)
2018Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
MaxSAT Evaluation 2017
Järvisalo, M. (Järjestäjätoimikunnan jäsen)
2017Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
SAT Competition 2017
Järvisalo, M. (Järjestäjätoimikunnan jäsen)
2017Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Program Committee Member of AAAI-16 Workshop on Beyond NP
Järvisalo, M. (Tieteellisen komitean jäsen)
2016Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Program Committee Member of 30th AAAI Conference on Artificial Intelligence (AAAI 2016)
Järvisalo, M. (Tieteellisen komitean jäsen)
2016Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Program Committee Member of 7th Workshop on Pragmatics of SAT
Järvisalo, M. (Tieteellisen komitean jäsen)
2016Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Program Committee Member of 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016)
Järvisalo, M. (Tieteellisen komitean jäsen)
2016Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Invited talk at 1st International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016)
Järvisalo, M. (Puhuja: pääpuhuja (keynote))
2016Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
SAT Competition 2016
Järvisalo, M. (Järjestäjätoimikunnan jäsen)
2016Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Senior Program Committee Member of 25th International Joint Conference on Artificial Intelligence (IJCAI 2016)
Järvisalo, M. (Tieteellisen komitean jäsen)
2016Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Program Committee Member of 22st International Conference on Principles and Practice of Constraint Programming Doctoral Program (CP 2016 DP)
Järvisalo, M. (Tieteellisen komitean jäsen)
2016Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Program Committee Member of Doctoral Program of the 21st International Conference on Principles and Practice of Constraint Programming (CP 2015)
Järvisalo, M. (Tieteellisen komitean jäsen)
2015Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Program Committee Member of 18th International Conference on Theory and Applications of Satisfiability Testing (SAT 2015)
Järvisalo, M. (Tieteellisen komitean jäsen)
2015Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Program Committee Member of 29th AAAI Conference on Artificial Intelligence (AAAI 2015)
Järvisalo, M. (Tieteellisen komitean jäsen)
2015Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Program Committee Member of 24th International Joint Conference on Artificial Intelligence (IJCAI 2015) Main Track
Järvisalo, M. (Tieteellisen komitean jäsen)
2015Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Program Committee Member of 22nd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2015)
Järvisalo, M. (Tieteellisen komitean jäsen)
2015Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Program Committee Member of 24th International Joint Conference on Artificial Intelligence (IJCAI 2015) Machine Learning Track
Järvisalo, M. (Tieteellisen komitean jäsen)
2015Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Program Committee Member of 17th International Conference on Theory and Applications of Satisfiability Testing (SAT 2014)
Järvisalo, M. (Tieteellisen komitean jäsen)
2014Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Program Committee Member of 20th International Conference on Principles and Practice of Constraint Programming Doctoral Program (CP 2014 DP)
Järvisalo, M. (Tieteellisen komitean jäsen)
2014Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Program Committee Member of 3rd Workshop on Combining Constraint Solving with Mining and Learning (CoCoMile 2014)
Järvisalo, M. (Tieteellisen komitean jäsen)
2014Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Program Committee Member of 21st European Conference on Artificial Intelligence (ECAI 2014)
Järvisalo, M. (Tieteellisen komitean jäsen)
2014Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Organizer of SAT Competition 2014
Järvisalo, M. (Järjestäjätoimikunnan jäsen)
2014Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Program Committee Member of 4th International Workshop on Logic and Search (LaSh 2014)
Järvisalo, M. (Tieteellisen komitean jäsen)
2014Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Program Committee Member of 9th ICLP Doctoral Consortium (ICLP-DC 2013)
Järvisalo, M. (Tieteellisen komitean jäsen)
2013Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Co-organizer of SAT-SMT Summer School 2013
Järvisalo, M. (Järjestäjätoimikunnan jäsen)
2013Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Local Chair of 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013)
Järvisalo, M. (Järjestäjätoimikunnan puheenjohtaja)
2013Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Program Committee Member of 23nd International Joint Conference on Artificial Intelligence (IJCAI 2013)
Järvisalo, M. (Tieteellisen komitean jäsen)
2013Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Program Committee Member of 20th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2013)
Järvisalo, M. (Tieteellisen komitean jäsen)
2013Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Organizer of SAT Competition 2013
Järvisalo, M. (Järjestäjätoimikunnan jäsen)
2013Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Program Committee Member of 2nd Workshop on Combining Constraint Solving with Mining and Learning (CoCoMiLe 2013)
Järvisalo, M. (Tieteellisen komitean jäsen)
2013Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen