Programming, Logic and Intelligent Systems

Activities 1999 2018

Filter
Membership in committee, council, board

9th International Joint Conference on Automated Reasoning (Event)

Braüner, T. (Member)
14 Jul 201817 Jul 2018

Activity: Membership in committee, council, board

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

Braüner, T. (Member)
24 Jul 201827 Jul 2018

Activity: Membership in committee, council, board

Ninth Methods for Modality Workshop - 2017 (Event)

Braüner, T. (Member)
8 Jan 20179 Jan 2017

Activity: 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 201728 Sep 2017

Activity: Membership in committee, council, board

Advances in Modal Logic 2016 (Event)

Braüner, T. (Member)
30 Aug 20162 Sep 2016

Activity: Membership in committee, council, board

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

Braüner, T. (Member)
19 Sep 201524 Sep 2015

Activity: Membership in committee, council, board

8th Scandinavian Logic Symposium (External organisation)

Braüner, T. (Member)
20 Aug 201221 Aug 2012

Activity: Membership in committee, council, board

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

Braüner, T. (Member)
25 Jun 201229 Jun 2012

Activity: Membership in committee, council, board

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

Braüner, T. (Member)
22 Aug 201225 Aug 2012

Activity: Membership in committee, council, board

International Workshop on Methods for Modalities (External organisation)

Braüner, T. (Member)
10 Nov 201112 Nov 2011

Activity: Membership in committee, council, board

Program Committee (External organisation)

Andreasen, T. (Member)
1 May 20111 Dec 2011

Activity: Membership in committee, council, board

11th Scandinavian Conference on Artificial Intelligence (External organisation)

Gallagher, J. P. (Member)
2011 → …

Activity: Membership in committee, council, board

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

Braüner, T. (Member)
5 Oct 20117 Oct 2011

Activity: Membership in committee, council, board

Program Committee (External organisation)

Andreasen, T. (Member)
1 Nov 201031 Oct 2011

Activity: Membership in committee, council, board

Association for Logic Programming (External organisation)

Gallagher, J. P. (Chairman)
1 Aug 201010 Jul 2011

Activity: Membership in committee, council, board

Association for Computing Machinery (External organisation)

Gallagher, J. P. (Member)
20102011

Activity: Membership in committee, council, board

Workshop on Hybrid Logic (External organisation)

Braüner, T. (Member)
10 Jul 2010

Activity: Membership in committee, council, board

Advances in Modal Logic (External organisation)

Braüner, T. (Member)
1 Jan 201031 Dec 2012

Activity: Membership in committee, council, board

Styregruppe (External organisation)

Andreasen, T. (Member)
1 Dec 201030 Nov 2011

Activity: Membership in committee, council, board

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

Gallagher, J. P. (Member)
2010 → …

Activity: Membership in committee, council, board

Program Committee (External organisation)

Andreasen, T. (Member)
1 Nov 201031 Oct 2011

Activity: Membership in committee, council, board

Program Committee (External organisation)

Andreasen, T. (Member)
1 Aug 201031 Jul 2011

Activity: Membership in committee, council, board

Program Committee (External organisation)

Andreasen, T. (Member)
1 Jul 201030 Jun 2011

Activity: Membership in committee, council, board

Advances in Modal Logic (External organisation)

Braüner, T. (Member)
25 Aug 201029 Aug 2010

Activity: Membership in committee, council, board

Acm Sigplan (External organisation)

Gallagher, J. P. (Member)
2009 → …

Activity: 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 200914 Jul 2009

Activity: Membership in committee, council, board

Association for Computing Machinery (External organisation)

Gallagher, J. P. (Chairman)
1 Jun 200919 Jan 2010

Activity: Membership in committee, council, board

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

Braüner, T. (Member)
12 Nov 200914 Nov 2009

Activity: Membership in committee, council, board

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

Braüner, T. (Member)
15 Jul 200917 Jul 2009

Activity: Membership in committee, council, board

Program Committee (External organisation)

Andreasen, T. (Member)
1 Aug 200931 Jul 2010

Activity: Membership in committee, council, board

Program Committee (External organisation)

Andreasen, T. (Member)
1 Jul 200930 Jun 2010

Activity: Membership in committee, council, board

Methods for Modalities (External organisation)

Gallagher, J. P. (Member)
2009 → …

Activity: Membership in committee, council, board

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

Braüner, T. (Member)
16 Sep 200918 Sep 2009

Activity: Membership in committee, council, board

Program Committee (External organisation)

Andreasen, T. (Member)
1 Aug 200831 Jul 2009

Activity: Membership in committee, council, board

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

Andreasen, T. (Member)
1 Dec 200830 Nov 2009

Activity: Membership in committee, council, board

Program Committee (External organisation)

Andreasen, T. (Member)
1 Aug 200831 Jul 2009

Activity: Membership in committee, council, board

Program Committee (External organisation)

Andreasen, T. (Member)
1 Aug 200831 Jul 2009

Activity: Membership in committee, council, board

Scandinavian Conference on Artificial Intelligence (External organisation)

Gallagher, J. P. (Member)
2008

Activity: Membership in committee, council, board

Association for Logic Programming (External organisation)

Gallagher, J. P. (Member)
20082011

Activity: Membership in committee, council, board

Scandinavian Conference on Artificial Intelligence (External organisation)

Braüner, T. (Member)
26 May 200828 May 2008

Activity: Membership in committee, council, board

Program Committee (External organisation)

Andreasen, T. (Member)
1 Jul 200830 Jun 2009

Activity: Membership in committee, council, board