Activities per year
Activities 1999 2018
- 1 - 50 out of 70 results
- Start date (descending)
9th International Joint Conference on Automated Reasoning (Event)
Braüner, T. (Member)14 Jul 2018 → 17 Jul 2018
Activity: Membership › Membership in committee, council, board
25th Workshop on Logic, Language, Information and Computation (Event)
Braüner, T. (Member)24 Jul 2018 → 27 Jul 2018
Activity: Membership › Membership in committee, council, board
The 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Event)
Braüner, T. (Member)25 Sep 2017 → 28 Sep 2017
Activity: Membership › Membership in committee, council, board
Ninth Methods for Modality Workshop - 2017 (Event)
Braüner, T. (Member)8 Jan 2017 → 9 Jan 2017
Activity: Membership › Membership in committee, council, board
Advances in Modal Logic 2016 (Event)
Braüner, T. (Member)30 Aug 2016 → 2 Sep 2016
Activity: Membership › Membership in committee, council, board
Frontiers of Combining Systems (FroCoS 2015) (External organisation)
Braüner, T. (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)
Braüner, T. (Member)2 Nov 2015 → 6 Nov 2015
Activity: Membership › Membership in committee, council, board
8th Scandinavian Logic Symposium (External organisation)
Braüner, T. (Member)20 Aug 2012 → 21 Aug 2012
Activity: Membership › Membership in committee, council, board
6th International Joint Conference on Automated Reasoning (IJCAR 2012) (External organisation)
Braüner, T. (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)
Braüner, T. (Member)22 Aug 2012 → 25 Aug 2012
Activity: Membership › Membership in committee, council, board
The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux 2011) (External organisation)
Braüner, T. (Member)4 Jul 2011 → 8 Jul 2011
Activity: Membership › Membership in committee, council, board
International Workshop on Methods for Modalities (External organisation)
Braüner, T. (Member)10 Nov 2011 → 12 Nov 2011
Activity: Membership › Membership in committee, council, board
Program Committee (External organisation)
Andreasen, T. (Member)1 May 2011 → 1 Dec 2011
Activity: Membership › Membership in committee, council, board
11th Scandinavian Conference on Artificial Intelligence (External organisation)
Gallagher, J. P. (Member)2011 → …
Activity: Membership › Membership in committee, council, board
Frontiers of Combining Systems (FroCoS 2011) (External organisation)
Braüner, T. (Member)5 Oct 2011 → 7 Oct 2011
Activity: Membership › Membership in committee, council, board
Advances in Modal Logic (External organisation)
Braüner, T. (Member)25 Aug 2010 → 29 Aug 2010
Activity: Membership › Membership in committee, council, board
Styregruppe (External organisation)
Andreasen, T. (Member)1 Dec 2010 → 30 Nov 2011
Activity: Membership › Membership in committee, council, board
Program Committee (External organisation)
Andreasen, T. (Member)1 Aug 2010 → 31 Jul 2011
Activity: Membership › Membership in committee, council, board
International Conference on Logic Programming (ICLP’08) (External organisation)
Gallagher, J. P. (Member)2010 → …
Activity: Membership › Membership in committee, council, board
Workshop on Hybrid Logic (External organisation)
Braüner, T. (Member)10 Jul 2010
Activity: Membership › Membership in committee, council, board
Association for Computing Machinery (External organisation)
Gallagher, J. P. (Member)2010 → 2011
Activity: Membership › Membership in committee, council, board
Association for Logic Programming (External organisation)
Gallagher, J. P. (Chairman)1 Aug 2010 → 10 Jul 2011
Activity: Membership › Membership in committee, council, board
Advances in Modal Logic (External organisation)
Braüner, T. (Member)1 Jan 2010 → 31 Dec 2012
Activity: Membership › Membership in committee, council, board
Program Committee (External organisation)
Andreasen, T. (Member)1 Nov 2010 → 31 Oct 2011
Activity: Membership › Membership in committee, council, board
International Symposium on Logic-based Program Synthesis and Transformation (External organisation)
Gallagher, J. P. (Member)2010 → …
Activity: Membership › Membership in committee, council, board
Program Committee (External organisation)
Andreasen, T. (Member)1 Jul 2010 → 30 Jun 2011
Activity: Membership › Membership in committee, council, board
Program Committee (External organisation)
Andreasen, T. (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)
Gallagher, J. P. (Member)2010 → …
Activity: Membership › Membership in committee, council, board
Association for Computing Machinery (External organisation)
Gallagher, J. P. (Chairman)1 Jun 2009 → 19 Jan 2010
Activity: Membership › Membership in committee, council, board
Program Committee (External organisation)
Andreasen, T. (Member)1 Jul 2009 → 30 Jun 2010
Activity: Membership › Membership in committee, council, board
Methods for Modalities (External organisation)
Gallagher, J. P. (Member)2009 → …
Activity: Membership › Membership in committee, council, board
The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (External organisation)
Braüner, T. (Member)7 Jul 2009 → 10 Jul 2009
Activity: Membership › Membership in committee, council, board
Program Committee (External organisation)
Andreasen, T. (Member)1 Aug 2009 → 31 Jul 2010
Activity: Membership › Membership in committee, council, board
The 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009) (External organisation)
Gallagher, J. P. (Chairman)1 Mar 2009 → 14 Jul 2009
Activity: Membership › Membership in committee, council, board
7th Workshop on Hybrid Logics (HyLo 2009) (External organisation)
Braüner, T. (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)
Braüner, T. (Member)12 Nov 2009 → 14 Nov 2009
Activity: Membership › Membership in committee, council, board
Acm Sigplan (External organisation)
Gallagher, J. P. (Member)2009 → …
Activity: Membership › Membership in committee, council, board
Frontiers of Combining Systems (FroCoS 2009) (External organisation)
Braüner, T. (Member)16 Sep 2009 → 18 Sep 2009
Activity: Membership › Membership in committee, council, board
19th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2009 (External organisation)
Gallagher, J. P. (Member)2009 → …
Activity: Membership › Membership in committee, council, board
The 15th International Static Analysis Symposium SAS 2008 (External organisation)
Gallagher, J. P. (Member)2008
Activity: Membership › Membership in committee, council, board
International Conference on Logic Programming (ICLP’08) (External organisation)
Gallagher, J. P. (Member)2008
Activity: Membership › Membership in committee, council, board
Program Committee (External organisation)
Andreasen, T. (Chairman)1 Dec 2008 → 30 Nov 2009
Activity: Membership › Membership in committee, council, board
5th International Workshop on Constraints and Language Processing (CSLP2008) (External organisation)
Gallagher, J. P. (Member)2008
Activity: Membership › Membership in committee, council, board
18th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (External organisation)
Gallagher, J. P. (Member)2008 → 2009
Activity: Membership › Membership in committee, council, board
Springer (External organisation)
Andreasen, T. (Member)1 Jan 2008 → 31 Dec 2010
Activity: Membership › Membership in committee, council, board
Flexible Query Answering Systems (External organisation)
Andreasen, T. (Chairman)1 Dec 2008 → 30 Nov 2009
Activity: Membership › Membership in committee, council, board
Program Committee (External organisation)
Andreasen, T. (Member)1 Aug 2008 → 31 Jul 2009
Activity: Membership › Membership in committee, council, board
Scandinavian Conference on Artificial Intelligence (External organisation)
Gallagher, J. P. (Member)2008
Activity: Membership › Membership in committee, council, board
Association for Logic Programming (External organisation)
Gallagher, J. P. (Member)2008 → 2011
Activity: Membership › Membership in committee, council, board
Eleventh International Symposium on Practical Aspects of Declarative Languages PADL 09 (External organisation)
Gallagher, J. P. (Member)2008 → 2009
Activity: Membership › Membership in committee, council, board