Aktiviteter pr. år
Aktiviteter 1999 2019
- 1 - 50 ud af 70 resultater
- Startdato (faldende)
25th Workshop on Logic, Language, Information and Computation (Begivenhed)
Torben Braüner (Medlem)24 jul. 2018 → 27 jul. 2018
Aktivitet: 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. 2018
Aktivitet: 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. 2017
Aktivitet: 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. 2017
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
Advances in Modal Logic 2016 (Begivenhed)
Torben Braüner (Medlem)30 aug. 2016 → 2 sep. 2016
Aktivitet: 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. 2015
Aktivitet: 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. 2015
Aktivitet: 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. 2012
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
8th Scandinavian Logic Symposium (Ekstern organisation)
Torben Braüner (Medlem)20 aug. 2012 → 21 aug. 2012
Aktivitet: 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. 2012
Aktivitet: 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. 2011
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
Program Committee (Ekstern organisation)
Troels Andreasen (Medlem)1 maj 2011 → 1 dec. 2011
Aktivitet: 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. 2011
Aktivitet: 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
International Workshop on Methods for Modalities (Ekstern organisation)
Torben Braüner (Medlem)10 nov. 2011 → 12 nov. 2011
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
Program Committee (Ekstern organisation)
Troels Andreasen (Medlem)1 jul. 2010 → 30 jun. 2011
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
Program Committee (Ekstern organisation)
Troels Andreasen (Medlem)1 nov. 2010 → 31 okt. 2011
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
Workshop on Hybrid Logic (Ekstern organisation)
Torben Braüner (Medlem)10 jul. 2010
Aktivitet: 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
Association for Computing Machinery (Ekstern organisation)
John Patrick Gallagher (Medlem)2010 → 2011
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. 2010
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
Program Committee (Ekstern organisation)
Troels Andreasen (Medlem)1 nov. 2010 → 31 okt. 2011
Aktivitet: 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 Logic Programming (Ekstern organisation)
John Patrick Gallagher (Formand)1 aug. 2010 → 10 jul. 2011
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
Advances in Modal Logic (Ekstern organisation)
Torben Braüner (Medlem)1 jan. 2010 → 31 dec. 2012
Aktivitet: 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
Styregruppe (Ekstern organisation)
Troels Andreasen (Medlem)1 dec. 2010 → 30 nov. 2011
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
Program Committee (Ekstern organisation)
Troels Andreasen (Medlem)1 aug. 2010 → 31 jul. 2011
Aktivitet: 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
Association for Computing Machinery (Ekstern organisation)
John Patrick Gallagher (Formand)1 jun. 2009 → 19 jan. 2010
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. 2009
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
7th Workshop on Hybrid Logics (HyLo 2009) (Ekstern organisation)
Torben Braüner (Medlem)15 jul. 2009 → 17 jul. 2009
Aktivitet: 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
The 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009) (Ekstern organisation)
John Patrick Gallagher (Formand)1 mar. 2009 → 14 jul. 2009
Aktivitet: 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
Program Committee (Ekstern organisation)
Troels Andreasen (Medlem)1 jul. 2009 → 30 jun. 2010
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. 2009
Aktivitet: 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. 2009
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
Program Committee (Ekstern organisation)
Troels Andreasen (Medlem)1 aug. 2009 → 31 jul. 2010
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
18th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (Ekstern organisation)
John Patrick Gallagher (Medlem)2008 → 2009
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
Flexible Query Answering Systems (Ekstern organisation)
Troels Andreasen (Formand)1 dec. 2008 → 30 nov. 2009
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
Springer (Ekstern organisation)
Troels Andreasen (Medlem)1 jan. 2008 → 31 dec. 2010
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
Program Committee (Ekstern organisation)
Troels Andreasen (Medlem)1 aug. 2008 → 31 jul. 2009
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
Eleventh International Symposium on Practical Aspects of Declarative Languages PADL 09 (Ekstern organisation)
John Patrick Gallagher (Medlem)2008 → 2009
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
The 15th International Static Analysis Symposium SAS 2008 (Ekstern organisation)
John Patrick Gallagher (Medlem)2008
Aktivitet: 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. 2008
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
Scandinavian Conference on Artificial Intelligence (Ekstern organisation)
Torben Braüner (Medlem)26 maj 2008 → 28 maj 2008
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
Program Committee (Ekstern organisation)
Troels Andreasen (Medlem)1 jul. 2008 → 30 jun. 2009
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
Program Committee (Ekstern organisation)
Troels Andreasen (Medlem)1 aug. 2008 → 31 jul. 2009
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
Program Committee (Ekstern organisation)
Troels Andreasen (Medlem)1 aug. 2008 → 31 jul. 2009
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn