Activities per year
Activities
Search results
-
Eighth Indian Conference on Logic and its Applications 2019 (Event)
Torben Braüner (Member)
1 Mar 2019 → 5 Mar 2019Activity: Membership › Membership in committee, council, board
-
The 12th International Symposium on Frontiers of Combining Systems (Event)
Torben Braüner (Member)
4 Sep 2019 → 6 Sep 2019Activity: Membership › Membership in committee, council, board
-
9th International Joint Conference on Automated Reasoning (Event)
Torben Braüner (Member)
14 Jul 2018 → 17 Jul 2018Activity: Membership › Membership in committee, council, board
-
25th Workshop on Logic, Language, Information and Computation (Event)
Torben Braüner (Member)
24 Jul 2018 → 27 Jul 2018Activity: Membership › Membership in committee, council, board
-
Ninth Methods for Modality Workshop - 2017 (Event)
Torben Braüner (Member)
8 Jan 2017 → 9 Jan 2017Activity: Membership › Membership in committee, council, board
-
The 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Event)
Torben Braüner (Member)
25 Sep 2017 → 28 Sep 2017Activity: Membership › Membership in committee, council, board
-
Advances in Modal Logic 2016 (Event)
Torben Braüner (Member)
30 Aug 2016 → 2 Sep 2016Activity: Membership › Membership in committee, council, board
-
Frontiers of Combining Systems (FroCoS 2015) (External organisation)
Torben Braüner (Member)
19 Sep 2015 → 24 Sep 2015Activity: Membership › Membership in committee, council, board
-
The Ninth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT 2015) (External organisation)
Torben Braüner (Member)
2 Nov 2015 → 6 Nov 2015Activity: Membership › Membership in committee, council, board
-
6th International Joint Conference on Automated Reasoning (IJCAR 2012) (External organisation)
Torben Braüner (Member)
25 Jun 2012 → 29 Jun 2012Activity: Membership › Membership in committee, council, board
-
9th International Conference on Advances in Modal Logic (AiML 2012) (External organisation)
Torben Braüner (Member)
22 Aug 2012 → 25 Aug 2012Activity: Membership › Membership in committee, council, board
-
8th Scandinavian Logic Symposium (External organisation)
Torben Braüner (Member)
20 Aug 2012 → 21 Aug 2012Activity: Membership › Membership in committee, council, board
-
Frontiers of Combining Systems (FroCoS 2011) (External organisation)
Torben Braüner (Member)
5 Oct 2011 → 7 Oct 2011Activity: Membership › Membership in committee, council, board
-
The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux 2011) (External organisation)
Torben Braüner (Member)
4 Jul 2011 → 8 Jul 2011Activity: Membership › Membership in committee, council, board
-
Program Committee (External organisation)
Troels Andreasen (Member)
1 May 2011 → 1 Dec 2011Activity: Membership › Membership in committee, council, board
-
11th Scandinavian Conference on Artificial Intelligence (External organisation)
John Patrick Gallagher (Member)
2011 → …Activity: Membership › Membership in committee, council, board
-
International Workshop on Methods for Modalities (External organisation)
Torben Braüner (Member)
10 Nov 2011 → 12 Nov 2011Activity: Membership › Membership in committee, council, board
-
Association for Logic Programming (External organisation)
John Patrick Gallagher (Chairman)
1 Aug 2010 → 10 Jul 2011Activity: Membership › Membership in committee, council, board
-
Advances in Modal Logic (External organisation)
Torben Braüner (Member)
25 Aug 2010 → 29 Aug 2010Activity: Membership › Membership in committee, council, board
-
International Symposium on Logic-based Program Synthesis and Transformation (External organisation)
John Patrick Gallagher (Member)
2010 → …Activity: Membership › Membership in committee, council, board
-
International Conference on Logic Programming (ICLP’08) (External organisation)
John Patrick Gallagher (Member)
2010 → …Activity: Membership › Membership in committee, council, board
-
Program Committee (External organisation)
Troels Andreasen (Member)
1 Nov 2010 → 31 Oct 2011Activity: Membership › Membership in committee, council, board
-
Program Committee (External organisation)
Troels Andreasen (Member)
1 Jul 2010 → 30 Jun 2011Activity: Membership › Membership in committee, council, board
-
Advances in Modal Logic (External organisation)
Torben Braüner (Member)
1 Jan 2010 → 31 Dec 2012Activity: Membership › Membership in committee, council, board
-
Program Committee (External organisation)
Troels Andreasen (Member)
1 Nov 2010 → 31 Oct 2011Activity: Membership › Membership in committee, council, board
-
International Workshop on Hybrid Logic (External organisation)
Torben Braüner (Member)
10 Jul 2010Activity: Membership › Membership in committee, council, board
-
Association for Computing Machinery (External organisation)
John Patrick Gallagher (Member)
2010 → 2011Activity: Membership › Membership in committee, council, board
-
Tenth International Symposium on Functional and Logic Programming (FLOPS 2010) (External organisation)
John Patrick Gallagher (Member)
2010 → …Activity: Membership › Membership in committee, council, board
-
Program Committee (External organisation)
Troels Andreasen (Member)
1 Aug 2010 → 31 Jul 2011Activity: Membership › Membership in committee, council, board
-
Styregruppe (External organisation)
Troels Andreasen (Member)
1 Dec 2010 → 30 Nov 2011Activity: Membership › Membership in committee, council, board
-
International Workshop on Hybrid Logic (External organisation)
Torben Braüner (Member)
15 Jul 2009 → 17 Jul 2009Activity: Membership › Membership in committee, council, board
-
The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (External organisation)
Torben Braüner (Member)
7 Jul 2009 → 10 Jul 2009Activity: Membership › Membership in committee, council, board
-
Sixth International Workshop on Methods for Modalities 2009 (M4M-6 2009) (External organisation)
Torben Braüner (Member)
12 Nov 2009 → 14 Nov 2009Activity: Membership › Membership in committee, council, board
-
Acm Sigplan (External organisation)
John Patrick Gallagher (Member)
2009 → …Activity: Membership › Membership in committee, council, board
-
Frontiers of Combining Systems (FroCoS 2009) (External organisation)
Torben Braüner (Member)
16 Sep 2009 → 18 Sep 2009Activity: Membership › Membership in committee, council, board
-
Program Committee (External organisation)
Troels Andreasen (Member)
1 Jul 2009 → 30 Jun 2010Activity: Membership › Membership in committee, council, board
-
The 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009) (External organisation)
John Patrick Gallagher (Chairman)
1 Mar 2009 → 14 Jul 2009Activity: Membership › Membership in committee, council, board
-
Association for Computing Machinery (External organisation)
John Patrick Gallagher (Chairman)
1 Jun 2009 → 19 Jan 2010Activity: Membership › Membership in committee, council, board
-
19th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2009 (External organisation)
John Patrick Gallagher (Member)
2009 → …Activity: Membership › Membership in committee, council, board
-
Methods for Modalities (External organisation)
John Patrick Gallagher (Member)
2009 → …Activity: Membership › Membership in committee, council, board
-
Program Committee (External organisation)
Troels Andreasen (Member)
1 Aug 2009 → 31 Jul 2010Activity: Membership › Membership in committee, council, board
-
Program Committee (External organisation)
Troels Andreasen (Member)
1 Aug 2008 → 31 Jul 2009Activity: Membership › Membership in committee, council, board
-
Flexible Query Answering Systems (External organisation)
Troels Andreasen (Chairman)
1 Dec 2008 → 30 Nov 2009Activity: Membership › Membership in committee, council, board
-
Program Committee (External organisation)
Troels Andreasen (Member)
1 Aug 2008 → 31 Jul 2009Activity: Membership › Membership in committee, council, board
-
Editorial Advisory Board of the Handbook of Research on Fuzzy Information Processing in Databases (Ed. Idea Group Inc.) (External organisation)
Troels Andreasen (Member)
1 Jan 2008 → 1 Jun 2008Activity: Membership › Membership in committee, council, board
-
Scandinavian Conference on Artificial Intelligence (External organisation)
Torben Braüner (Member)
26 May 2008 → 28 May 2008Activity: Membership › Membership in committee, council, board
-
International Conference on Logic Programming (ICLP’08) (External organisation)
John Patrick Gallagher (Member)
2008Activity: Membership › Membership in committee, council, board
-
Program Committee (External organisation)
Troels Andreasen (Chairman)
1 Dec 2008 → 30 Nov 2009Activity: Membership › Membership in committee, council, board
-
18th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (External organisation)
John Patrick Gallagher (Member)
2008 → 2009Activity: Membership › Membership in committee, council, board
-
IMDEA-Software Institute Scientific Advisory Board (External organisation)
John Patrick Gallagher (Member)
1 Jan 2008 → 31 Aug 2008Activity: Membership › Membership in committee, council, board