Programmering, logik og intelligente systemer

Aktiviteter 1999 2019

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

The 12th International Symposium on Frontiers of Combining Systems (Begivenhed)

Torben Braüner (Medlem)
4 sep. 20196 sep. 2019

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

Eighth Indian Conference on Logic and its Applications 2019 (Begivenhed)

Torben Braüner (Medlem)
1 mar. 20195 mar. 2019

Aktivitet: MedlemsskabMedlemskab 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

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

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

11th Scandinavian Conference on Artificial Intelligence (Ekstern organisation)

John Patrick Gallagher (Medlem)
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

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

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

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

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

Program Committee (Ekstern organisation)

Troels Andreasen (Medlem)
1 aug. 201031 jul. 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

International Workshop on Hybrid Logic (Ekstern organisation)

Torben Braüner (Medlem)
10 jul. 2010

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

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 nov. 201031 okt. 2011

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

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

John Patrick Gallagher (Medlem)
2010 → …

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

Association for Logic Programming (Ekstern organisation)

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

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

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 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

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

International Workshop on Hybrid Logic (Ekstern organisation)

Torben Braüner (Medlem)
15 jul. 200917 jul. 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 jul. 200930 jun. 2010

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

Association for Computing Machinery (Ekstern organisation)

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

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

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

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

Association for Logic Programming (Ekstern organisation)

John Patrick Gallagher (Medlem)
20082011

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

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

Program Committee (Ekstern organisation)

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

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