Programmering, logik og intelligente systemer

Aktiviteter 1999 2019

Filter
Medlemskab af udvalg, råd og nævn

25th Workshop on Logic, Language, Information and Computation (Begivenhed)

Torben Braüner (Medlem)
24 jul. 201827 jul. 2018

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

9th International Joint Conference on Automated Reasoning (Begivenhed)

Torben Braüner (Medlem)
14 jul. 201817 jul. 2018

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

Ninth Methods for Modality Workshop - 2017 (Begivenhed)

Torben Braüner (Medlem)
8 jan. 20179 jan. 2017

Aktivitet: MedlemsskabMedlemskab 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. 201728 sep. 2017

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

Advances in Modal Logic 2016 (Begivenhed)

Torben Braüner (Medlem)
30 aug. 20162 sep. 2016

Aktivitet: MedlemsskabMedlemskab 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. 20156 nov. 2015

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

Frontiers of Combining Systems (FroCoS 2015) (Ekstern organisation)

Torben Braüner (Medlem)
19 sep. 201524 sep. 2015

Aktivitet: MedlemsskabMedlemskab 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. 201225 aug. 2012

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

8th Scandinavian Logic Symposium (Ekstern organisation)

Torben Braüner (Medlem)
20 aug. 201221 aug. 2012

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

6th International Joint Conference on Automated Reasoning (IJCAR 2012) (Ekstern organisation)

Torben Braüner (Medlem)
25 jun. 201229 jun. 2012

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

Frontiers of Combining Systems (FroCoS 2011) (Ekstern organisation)

Torben Braüner (Medlem)
5 okt. 20117 okt. 2011

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

Program Committee (Ekstern organisation)

Troels Andreasen (Medlem)
1 maj 20111 dec. 2011

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

11th Scandinavian Conference on Artificial Intelligence (Ekstern organisation)

John Patrick Gallagher (Medlem)
2011 → …

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

International Workshop on Methods for Modalities (Ekstern organisation)

Torben Braüner (Medlem)
10 nov. 201112 nov. 2011

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

Program Committee (Ekstern organisation)

Troels Andreasen (Medlem)
1 jul. 201030 jun. 2011

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

Program Committee (Ekstern organisation)

Troels Andreasen (Medlem)
1 nov. 201031 okt. 2011

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

Workshop on Hybrid Logic (Ekstern organisation)

Torben Braüner (Medlem)
10 jul. 2010

Aktivitet: MedlemsskabMedlemskab 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: MedlemsskabMedlemskab af udvalg, råd og nævn

Association for Computing Machinery (Ekstern organisation)

John Patrick Gallagher (Medlem)
20102011

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

Advances in Modal Logic (Ekstern organisation)

Torben Braüner (Medlem)
25 aug. 201029 aug. 2010

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

Program Committee (Ekstern organisation)

Troels Andreasen (Medlem)
1 nov. 201031 okt. 2011

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

International Conference on Logic Programming (ICLP’08) (Ekstern organisation)

John Patrick Gallagher (Medlem)
2010 → …

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

Association for Logic Programming (Ekstern organisation)

John Patrick Gallagher (Formand)
1 aug. 201010 jul. 2011

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

Advances in Modal Logic (Ekstern organisation)

Torben Braüner (Medlem)
1 jan. 201031 dec. 2012

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

International Symposium on Logic-based Program Synthesis and Transformation (Ekstern organisation)

John Patrick Gallagher (Medlem)
2010 → …

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

Styregruppe (Ekstern organisation)

Troels Andreasen (Medlem)
1 dec. 201030 nov. 2011

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

Program Committee (Ekstern organisation)

Troels Andreasen (Medlem)
1 aug. 201031 jul. 2011

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

Acm Sigplan (Ekstern organisation)

John Patrick Gallagher (Medlem)
2009 → …

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

Association for Computing Machinery (Ekstern organisation)

John Patrick Gallagher (Formand)
1 jun. 200919 jan. 2010

Aktivitet: MedlemsskabMedlemskab 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. 200914 nov. 2009

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

7th Workshop on Hybrid Logics (HyLo 2009) (Ekstern organisation)

Torben Braüner (Medlem)
15 jul. 200917 jul. 2009

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

Methods for Modalities (Ekstern organisation)

John Patrick Gallagher (Medlem)
2009 → …

Aktivitet: MedlemsskabMedlemskab 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. 200914 jul. 2009

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

Program Committee (Ekstern organisation)

Troels Andreasen (Medlem)
1 jul. 200930 jun. 2010

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

Frontiers of Combining Systems (FroCoS 2009) (Ekstern organisation)

Torben Braüner (Medlem)
16 sep. 200918 sep. 2009

Aktivitet: MedlemsskabMedlemskab 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. 200910 jul. 2009

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

Program Committee (Ekstern organisation)

Troels Andreasen (Medlem)
1 aug. 200931 jul. 2010

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

18th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (Ekstern organisation)

John Patrick Gallagher (Medlem)
20082009

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

Flexible Query Answering Systems (Ekstern organisation)

Troels Andreasen (Formand)
1 dec. 200830 nov. 2009

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

Springer (Ekstern organisation)

Troels Andreasen (Medlem)
1 jan. 200831 dec. 2010

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

Program Committee (Ekstern organisation)

Troels Andreasen (Medlem)
1 aug. 200831 jul. 2009

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

The 15th International Static Analysis Symposium SAS 2008 (Ekstern organisation)

John Patrick Gallagher (Medlem)
2008

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

IMDEA-Software Institute Scientific Advisory Board (Ekstern organisation)

John Patrick Gallagher (Medlem)
1 jan. 200831 aug. 2008

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

Scandinavian Conference on Artificial Intelligence (Ekstern organisation)

Torben Braüner (Medlem)
26 maj 200828 maj 2008

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

Program Committee (Ekstern organisation)

Troels Andreasen (Medlem)
1 jul. 200830 jun. 2009

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

Program Committee (Ekstern organisation)

Troels Andreasen (Medlem)
1 aug. 200831 jul. 2009

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

Program Committee (Ekstern organisation)

Troels Andreasen (Medlem)
1 aug. 200831 jul. 2009

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn