Programming, Logic and Intelligent Systems

Activities 1999 2019

Filter
Membership in committee, council, board

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

Torben Braüner (Member)
24 Jul 201827 Jul 2018

Activity: MembershipMembership in committee, council, board

9th International Joint Conference on Automated Reasoning (Event)

Torben Braüner (Member)
14 Jul 201817 Jul 2018

Activity: MembershipMembership in committee, council, board

The 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Event)

Torben Braüner (Member)
25 Sep 201728 Sep 2017

Activity: MembershipMembership in committee, council, board

Ninth Methods for Modality Workshop - 2017 (Event)

Torben Braüner (Member)
8 Jan 20179 Jan 2017

Activity: MembershipMembership in committee, council, board

Advances in Modal Logic 2016 (Event)

Torben Braüner (Member)
30 Aug 20162 Sep 2016

Activity: MembershipMembership in committee, council, board

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

Torben Braüner (Member)
19 Sep 201524 Sep 2015

Activity: MembershipMembership 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 20156 Nov 2015

Activity: MembershipMembership in committee, council, board

9th International Conference on Advances in Modal Logic (AiML 2012) (External organisation)

Torben Braüner (Member)
22 Aug 201225 Aug 2012

Activity: MembershipMembership in committee, council, board

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

Torben Braüner (Member)
25 Jun 201229 Jun 2012

Activity: MembershipMembership in committee, council, board

8th Scandinavian Logic Symposium (External organisation)

Torben Braüner (Member)
20 Aug 201221 Aug 2012

Activity: MembershipMembership in committee, council, board

11th Scandinavian Conference on Artificial Intelligence (External organisation)

John Patrick Gallagher (Member)
2011 → …

Activity: MembershipMembership in committee, council, board

Program Committee (External organisation)

Troels Andreasen (Member)
1 May 20111 Dec 2011

Activity: MembershipMembership in committee, council, board

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

Torben Braüner (Member)
5 Oct 20117 Oct 2011

Activity: MembershipMembership in committee, council, board

International Workshop on Methods for Modalities (External organisation)

Torben Braüner (Member)
10 Nov 201112 Nov 2011

Activity: MembershipMembership 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 20118 Jul 2011

Activity: MembershipMembership in committee, council, board

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

John Patrick Gallagher (Member)
2010 → …

Activity: MembershipMembership in committee, council, board

Association for Computing Machinery (External organisation)

John Patrick Gallagher (Member)
20102011

Activity: MembershipMembership in committee, council, board

Tenth International Symposium on Functional and Logic Programming (FLOPS 2010) (External organisation)

John Patrick Gallagher (Member)
2010 → …

Activity: MembershipMembership in committee, council, board

Program Committee (External organisation)

Troels Andreasen (Member)
1 Nov 201031 Oct 2011

Activity: MembershipMembership in committee, council, board

Program Committee (External organisation)

Troels Andreasen (Member)
1 Aug 201031 Jul 2011

Activity: MembershipMembership in committee, council, board

Styregruppe (External organisation)

Troels Andreasen (Member)
1 Dec 201030 Nov 2011

Activity: MembershipMembership in committee, council, board

Advances in Modal Logic (External organisation)

Torben Braüner (Member)
25 Aug 201029 Aug 2010

Activity: MembershipMembership in committee, council, board

Association for Logic Programming (External organisation)

John Patrick Gallagher (Chairman)
1 Aug 201010 Jul 2011

Activity: MembershipMembership in committee, council, board

Program Committee (External organisation)

Troels Andreasen (Member)
1 Nov 201031 Oct 2011

Activity: MembershipMembership in committee, council, board

Program Committee (External organisation)

Troels Andreasen (Member)
1 Jul 201030 Jun 2011

Activity: MembershipMembership in committee, council, board

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

John Patrick Gallagher (Member)
2010 → …

Activity: MembershipMembership in committee, council, board

Workshop on Hybrid Logic (External organisation)

Torben Braüner (Member)
10 Jul 2010

Activity: MembershipMembership in committee, council, board

Advances in Modal Logic (External organisation)

Torben Braüner (Member)
1 Jan 201031 Dec 2012

Activity: MembershipMembership in committee, council, board

The 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009) (External organisation)

John Patrick Gallagher (Chairman)
1 Mar 200914 Jul 2009

Activity: MembershipMembership in committee, council, board

Methods for Modalities (External organisation)

John Patrick Gallagher (Member)
2009 → …

Activity: MembershipMembership in committee, council, board

The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (External organisation)

Torben Braüner (Member)
7 Jul 200910 Jul 2009

Activity: MembershipMembership in committee, council, board

Association for Computing Machinery (External organisation)

John Patrick Gallagher (Chairman)
1 Jun 200919 Jan 2010

Activity: MembershipMembership in committee, council, board

19th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2009 (External organisation)

John Patrick Gallagher (Member)
2009 → …

Activity: MembershipMembership in committee, council, board

Program Committee (External organisation)

Troels Andreasen (Member)
1 Jul 200930 Jun 2010

Activity: MembershipMembership in committee, council, board

Program Committee (External organisation)

Troels Andreasen (Member)
1 Aug 200931 Jul 2010

Activity: MembershipMembership in committee, council, board

Acm Sigplan (External organisation)

John Patrick Gallagher (Member)
2009 → …

Activity: MembershipMembership in committee, council, board

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

Torben Braüner (Member)
16 Sep 200918 Sep 2009

Activity: MembershipMembership in committee, council, board

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

Torben Braüner (Member)
15 Jul 200917 Jul 2009

Activity: MembershipMembership in committee, council, board

Sixth International Workshop on Methods for Modalities 2009 (M4M-6 2009) (External organisation)

Torben Braüner (Member)
12 Nov 200914 Nov 2009

Activity: MembershipMembership in committee, council, board

Scandinavian Conference on Artificial Intelligence (External organisation)

John Patrick Gallagher (Member)
2008

Activity: MembershipMembership in committee, council, board

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

John Patrick Gallagher (Member)
2008

Activity: MembershipMembership in committee, council, board

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

John Patrick Gallagher (Member)
20082009

Activity: MembershipMembership in committee, council, board

Program Committee (External organisation)

Troels Andreasen (Member)
1 Jul 200830 Jun 2009

Activity: MembershipMembership in committee, council, board

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

John Patrick Gallagher (Member)
2008

Activity: MembershipMembership in committee, council, board

Advisory board member, FQAS2009 Flexible Query Answering Systems (External organisation)

Troels Andreasen (Member)
1 Dec 200830 Nov 2009

Activity: MembershipMembership in committee, council, board

Scandinavian Conference on Artificial Intelligence (External organisation)

Torben Braüner (Member)
26 May 200828 May 2008

Activity: MembershipMembership in committee, council, board

Program Committee (External organisation)

Troels Andreasen (Chairman)
1 Dec 200830 Nov 2009

Activity: MembershipMembership in committee, council, board

IMDEA-Software Institute Scientific Advisory Board (External organisation)

John Patrick Gallagher (Member)
1 Jan 200831 Aug 2008

Activity: MembershipMembership in committee, council, board

Springer (External organisation)

Troels Andreasen (Member)
1 Jan 200831 Dec 2010

Activity: MembershipMembership in committee, council, board

Program Committee (External organisation)

Troels Andreasen (Member)
1 Aug 200831 Jul 2009

Activity: MembershipMembership in committee, council, board