Activities per year
Activities 1999 2019
- 1 - 50 out of 70 results
- Start date (descending)
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
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
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
Ninth Methods for Modality Workshop - 2017 (Event)
Torben Braüner (Member)8 Jan 2017 → 9 Jan 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
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
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
8th Scandinavian Logic Symposium (External organisation)
Torben Braüner (Member)20 Aug 2012 → 21 Aug 2012
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
Program Committee (External organisation)
Troels Andreasen (Member)1 May 2011 → 1 Dec 2011
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
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
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
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 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
Advances in Modal Logic (External organisation)
Torben Braüner (Member)25 Aug 2010 → 29 Aug 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 Nov 2010 → 31 Oct 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
International Symposium on Logic-based Program Synthesis and Transformation (External organisation)
John Patrick Gallagher (Member)2010 → …
Activity: Membership › Membership in committee, council, board
Workshop on Hybrid Logic (External organisation)
Torben Braüner (Member)10 Jul 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
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
Methods for Modalities (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
Association for Computing Machinery (External organisation)
John Patrick Gallagher (Chairman)1 Jun 2009 → 19 Jan 2010
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
Program Committee (External organisation)
Troels Andreasen (Member)1 Jul 2009 → 30 Jun 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
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 2009
Activity: Membership › Membership in committee, council, board
7th Workshop on Hybrid Logics (HyLo 2009) (External organisation)
Torben Braüner (Member)15 Jul 2009 → 17 Jul 2009
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
Scandinavian Conference on Artificial Intelligence (External organisation)
John Patrick Gallagher (Member)2008
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
18th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (External organisation)
John Patrick Gallagher (Member)2008 → 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
Advisory board member, FQAS2009 Flexible Query Answering Systems (External organisation)
Troels Andreasen (Member)1 Dec 2008 → 30 Nov 2009
Activity: Membership › Membership in committee, council, board
Scandinavian Conference on Artificial Intelligence (External organisation)
Torben Braüner (Member)26 May 2008 → 28 May 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
IMDEA-Software Institute Scientific Advisory Board (External organisation)
John Patrick Gallagher (Member)1 Jan 2008 → 31 Aug 2008
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
Program Committee (External organisation)
Troels Andreasen (Member)1 Aug 2008 → 31 Jul 2009
Activity: Membership › Membership in committee, council, board