Aktiviteter pr. år
Aktiviteter
- 1 - 50 ud af 78 resultater
Søgeresultater
-
International Joint Conference on Artificial Intelligence (Begivenhed)
Jens Classen (Medlem)
25 jan. 2022 → 29 jul. 2022Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
AAAI Conference on Artificial Intelligence (Begivenhed)
Jens Classen (Medlem)
29 jul. 2022 → 14 feb. 2023Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
20th ACM SIGPLAN International Conference on Generative Programming: Concepts & Experiences (Begivenhed)
Maja Hanne Kirkeby (Medlem)
17 aug. 2021Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
42nd ACM SIGPLAN Conference on Programming Language Design and Implementation (Begivenhed)
Maja Hanne Kirkeby (Medlem)
20 jun. 2021Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
31st International Symposium onLogic-based Program Synthesis and Transformation (Begivenhed)
Maja Hanne Kirkeby (Medlem)
7 sep. 2021Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
The 12th International Symposium on Frontiers of Combining Systems (Begivenhed)
Torben Braüner (Medlem)
4 sep. 2019 → 6 sep. 2019Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
the Young Scientist's Third International Workshop on Trends in Information Processing 2019 (Begivenhed)
Maja Hanne Kirkeby (Medlem)
17 sep. 2019Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Eighth Indian Conference on Logic and its Applications 2019 (Begivenhed)
Torben Braüner (Medlem)
1 mar. 2019 → 5 mar. 2019Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
25th Workshop on Logic, Language, Information and Computation (Begivenhed)
Torben Braüner (Medlem)
24 jul. 2018 → 27 jul. 2018Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
9th International Joint Conference on Automated Reasoning (Begivenhed)
Torben Braüner (Medlem)
14 jul. 2018 → 17 jul. 2018Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Ninth Methods for Modality Workshop - 2017 (Begivenhed)
Torben Braüner (Medlem)
8 jan. 2017 → 9 jan. 2017Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
The 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Begivenhed)
Torben Braüner (Medlem)
25 sep. 2017 → 28 sep. 2017Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Advances in Modal Logic 2016 (Begivenhed)
Torben Braüner (Medlem)
30 aug. 2016 → 2 sep. 2016Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Frontiers of Combining Systems (FroCoS 2015) (Ekstern organisation)
Torben Braüner (Medlem)
19 sep. 2015 → 24 sep. 2015Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
The Ninth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT 2015) (Ekstern organisation)
Torben Braüner (Medlem)
2 nov. 2015 → 6 nov. 2015Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
6th International Joint Conference on Automated Reasoning (IJCAR 2012) (Ekstern organisation)
Torben Braüner (Medlem)
25 jun. 2012 → 29 jun. 2012Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
9th International Conference on Advances in Modal Logic (AiML 2012) (Ekstern organisation)
Torben Braüner (Medlem)
22 aug. 2012 → 25 aug. 2012Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
8th Scandinavian Logic Symposium (Ekstern organisation)
Torben Braüner (Medlem)
20 aug. 2012 → 21 aug. 2012Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux 2011) (Ekstern organisation)
Torben Braüner (Medlem)
4 jul. 2011 → 8 jul. 2011Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Frontiers of Combining Systems (FroCoS 2011) (Ekstern organisation)
Torben Braüner (Medlem)
5 okt. 2011 → 7 okt. 2011Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
11th Scandinavian Conference on Artificial Intelligence (Ekstern organisation)
John Patrick Gallagher (Medlem)
2011 → …Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Program Committee (Ekstern organisation)
Troels Andreasen (Medlem)
1 maj 2011 → 1 dec. 2011Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
International Workshop on Methods for Modalities (Ekstern organisation)
Torben Braüner (Medlem)
10 nov. 2011 → 12 nov. 2011Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Program Committee (Ekstern organisation)
Troels Andreasen (Medlem)
1 nov. 2010 → 31 okt. 2011Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Program Committee (Ekstern organisation)
Troels Andreasen (Medlem)
1 aug. 2010 → 31 jul. 2011Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Advances in Modal Logic (Ekstern organisation)
Torben Braüner (Medlem)
1 jan. 2010 → 31 dec. 2012Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Styregruppe (Ekstern organisation)
Troels Andreasen (Medlem)
1 dec. 2010 → 30 nov. 2011Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
International Symposium on Logic-based Program Synthesis and Transformation (Ekstern organisation)
John Patrick Gallagher (Medlem)
2010 → …Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Advances in Modal Logic (Ekstern organisation)
Torben Braüner (Medlem)
25 aug. 2010 → 29 aug. 2010Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
International Conference on Logic Programming (ICLP’08) (Ekstern organisation)
John Patrick Gallagher (Medlem)
2010 → …Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Association for Computing Machinery (Ekstern organisation)
John Patrick Gallagher (Medlem)
2010 → 2011Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Tenth International Symposium on Functional and Logic Programming (FLOPS 2010) (Ekstern organisation)
John Patrick Gallagher (Medlem)
2010 → …Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Program Committee (Ekstern organisation)
Troels Andreasen (Medlem)
1 jul. 2010 → 30 jun. 2011Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Association for Logic Programming (Ekstern organisation)
John Patrick Gallagher (Formand)
1 aug. 2010 → 10 jul. 2011Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
International Workshop on Hybrid Logic (Ekstern organisation)
Torben Braüner (Medlem)
10 jul. 2010Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Program Committee (Ekstern organisation)
Troels Andreasen (Medlem)
1 nov. 2010 → 31 okt. 2011Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
19th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2009 (Ekstern organisation)
John Patrick Gallagher (Medlem)
2009 → …Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Sixth International Workshop on Methods for Modalities 2009 (M4M-6 2009) (Ekstern organisation)
Torben Braüner (Medlem)
12 nov. 2009 → 14 nov. 2009Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
International Workshop on Hybrid Logic (Ekstern organisation)
Torben Braüner (Medlem)
15 jul. 2009 → 17 jul. 2009Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Program Committee (Ekstern organisation)
Troels Andreasen (Medlem)
1 aug. 2009 → 31 jul. 2010Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Acm Sigplan (Ekstern organisation)
John Patrick Gallagher (Medlem)
2009 → …Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Program Committee (Ekstern organisation)
Troels Andreasen (Medlem)
1 jul. 2009 → 30 jun. 2010Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Methods for Modalities (Ekstern organisation)
John Patrick Gallagher (Medlem)
2009 → …Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Frontiers of Combining Systems (FroCoS 2009) (Ekstern organisation)
Torben Braüner (Medlem)
16 sep. 2009 → 18 sep. 2009Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Association for Computing Machinery (Ekstern organisation)
John Patrick Gallagher (Formand)
1 jun. 2009 → 19 jan. 2010Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Ekstern organisation)
Torben Braüner (Medlem)
7 jul. 2009 → 10 jul. 2009Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
The 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009) (Ekstern organisation)
John Patrick Gallagher (Formand)
1 mar. 2009 → 14 jul. 2009Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
IMDEA-Software Institute Scientific Advisory Board (Ekstern organisation)
John Patrick Gallagher (Medlem)
1 jan. 2008 → 31 aug. 2008Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Program Committee (Ekstern organisation)
Troels Andreasen (Formand)
1 dec. 2008 → 30 nov. 2009Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Advisory board member, FQAS2009 Flexible Query Answering Systems (Ekstern organisation)
Troels Andreasen (Medlem)
1 dec. 2008 → 30 nov. 2009Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn