Activities per year
Activities
The 12th International Symposium on Frontiers of Combining Systems (Event)
Torben Braüner (Member)
4 Sep 2019 → 6 Sep 2019
Activity: Membership › Membership in committee, council, board
Eighth Indian Conference on Logic and its Applications 2019 (Event)
Torben Braüner (Member)
1 Mar 2019 → 5 Mar 2019
Activity: Membership › Membership in committee, council, board
9th International Joint Conference on Automated Reasoning (Event)
Torben Braüner (Member)
14 Jul 2018 → 17 Jul 2018
Activity: Membership › Membership in committee, council, board
25th Workshop on Logic, Language, Information and Computation (Event)
Torben Braüner (Member)
24 Jul 2018 → 27 Jul 2018
Activity: Membership › Membership in committee, council, board
Ninth Methods for Modality Workshop - 2017 (Event)
Torben Braüner (Member)
8 Jan 2017 → 9 Jan 2017
Activity: 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 2017
Activity: Membership › Membership in committee, council, board
Advances in Modal Logic 2016 (Event)
Torben Braüner (Member)
30 Aug 2016 → 2 Sep 2016
Activity: Membership › Membership in committee, council, board
Frontiers of Combining Systems (FroCoS 2015) (External organisation)
Torben Braüner (Member)
19 Sep 2015 → 24 Sep 2015
Activity: 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 2015
Activity: 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 2012
Activity: 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 2012
Activity: Membership › Membership in committee, council, board
8th Scandinavian Logic Symposium (External organisation)
Torben Braüner (Member)
20 Aug 2012 → 21 Aug 2012
Activity: Membership › Membership in committee, council, board
Frontiers of Combining Systems (FroCoS 2011) (External organisation)
Torben Braüner (Member)
5 Oct 2011 → 7 Oct 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 2011
Activity: Membership › Membership in committee, council, board
Program Committee (External organisation)
Troels Andreasen (Member)
1 May 2011 → 1 Dec 2011
Activity: 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 2011
Activity: 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 Conference on Logic Programming (ICLP’08) (External organisation)
John Patrick Gallagher (Member)
2010 → …
Activity: Membership › Membership in committee, council, board
Association for Computing Machinery (External organisation)
John Patrick Gallagher (Member)
2010 → 2011
Activity: Membership › Membership in committee, council, board
International Workshop on Hybrid Logic (External organisation)
Torben Braüner (Member)
10 Jul 2010
Activity: Membership › Membership in committee, council, board
Program Committee (External organisation)
Troels Andreasen (Member)
1 Nov 2010 → 31 Oct 2011
Activity: Membership › Membership in committee, council, board
Program Committee (External organisation)
Troels Andreasen (Member)
1 Aug 2010 → 31 Jul 2011
Activity: Membership › Membership in committee, council, board
Styregruppe (External organisation)
Troels Andreasen (Member)
1 Dec 2010 → 30 Nov 2011
Activity: Membership › Membership in committee, council, board
Program Committee (External organisation)
Troels Andreasen (Member)
1 Nov 2010 → 31 Oct 2011
Activity: 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
Advances in Modal Logic (External organisation)
Torben Braüner (Member)
25 Aug 2010 → 29 Aug 2010
Activity: Membership › Membership in committee, council, board
Advances in Modal Logic (External organisation)
Torben Braüner (Member)
1 Jan 2010 → 31 Dec 2012
Activity: 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
Association for Logic Programming (External organisation)
John Patrick Gallagher (Chairman)
1 Aug 2010 → 10 Jul 2011
Activity: Membership › Membership in committee, council, board
Program Committee (External organisation)
Troels Andreasen (Member)
1 Jul 2010 → 30 Jun 2011
Activity: 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 2009
Activity: 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 2009
Activity: Membership › Membership in committee, council, board
Association for Computing Machinery (External organisation)
John Patrick Gallagher (Chairman)
1 Jun 2009 → 19 Jan 2010
Activity: Membership › Membership in committee, council, board
Program Committee (External organisation)
Troels Andreasen (Member)
1 Aug 2009 → 31 Jul 2010
Activity: Membership › Membership in committee, council, board
Program Committee (External organisation)
Troels Andreasen (Member)
1 Jul 2009 → 30 Jun 2010
Activity: Membership › Membership in committee, council, board
International Workshop on Hybrid Logic (External organisation)
Torben Braüner (Member)
15 Jul 2009 → 17 Jul 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
Acm Sigplan (External organisation)
John Patrick Gallagher (Member)
2009 → …
Activity: 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
The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (External organisation)
Torben Braüner (Member)
7 Jul 2009 → 10 Jul 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 2009
Activity: Membership › Membership in committee, council, board
Program Committee (External organisation)
Troels Andreasen (Member)
1 Jul 2008 → 30 Jun 2009
Activity: Membership › Membership in committee, council, board
The 15th International Static Analysis Symposium SAS 2008 (External organisation)
John Patrick Gallagher (Member)
2008
Activity: Membership › Membership in committee, council, board
Scandinavian Conference on Artificial Intelligence (External organisation)
John Patrick Gallagher (Member)
2008
Activity: Membership › Membership in committee, council, board
Program Committee (External organisation)
Troels Andreasen (Chairman)
1 Dec 2008 → 30 Nov 2009
Activity: Membership › Membership in committee, council, board
Springer (External organisation)
Troels Andreasen (Member)
1 Jan 2008 → 31 Dec 2010
Activity: Membership › Membership in committee, council, board
International Conference on Logic Programming (ICLP’08) (External organisation)
John Patrick Gallagher (Member)
2008
Activity: Membership › Membership in committee, council, board
Program Committee (External organisation)
Troels Andreasen (Member)
1 Aug 2008 → 31 Jul 2009
Activity: Membership › Membership in committee, council, board
Program Committee (External organisation)
Troels Andreasen (Member)
1 Aug 2008 → 31 Jul 2009
Activity: Membership › Membership in committee, council, board
Eleventh International Symposium on Practical Aspects of Declarative Languages PADL 09 (External organisation)
John Patrick Gallagher (Member)
2008 → 2009
Activity: Membership › Membership in committee, council, board