No photo of Torben Braüner
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Denmark

19992018
If you made any changes in Pure these will be visible here soon.

Activities 2002 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: MembershipMembership in committee, council, board

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

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

Activity: MembershipMembership in committee, council, board

Ninth Methods for Modality Workshop - 2017 (Event)

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

Activity: MembershipMembership 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: MembershipMembership in committee, council, board

Advances in Modal Logic 2016 (Event)

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

Activity: MembershipMembership in committee, council, board

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

Braüner, T. (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)

Braüner, T. (Member)
2 Nov 20156 Nov 2015

Activity: MembershipMembership 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: MembershipMembership 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: MembershipMembership in committee, council, board

8th Scandinavian Logic Symposium (External organisation)

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

Activity: MembershipMembership in committee, council, board

International Workshop on Methods for Modalities (External organisation)

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

Activity: MembershipMembership in committee, council, board

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

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

Activity: MembershipMembership in committee, council, board

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

Braüner, T. (Member)
4 Jul 20118 Jul 2011

Activity: MembershipMembership in committee, council, board

Advances in Modal Logic (External organisation)

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

Activity: MembershipMembership in committee, council, board

Advances in Modal Logic (External organisation)

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

Activity: MembershipMembership in committee, council, board

Workshop on Hybrid Logic (External organisation)

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

Activity: MembershipMembership in committee, council, board

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

Braüner, T. (Member)
7 Jul 200910 Jul 2009

Activity: MembershipMembership 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: MembershipMembership in committee, council, board

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

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

Activity: MembershipMembership in committee, council, board

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

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

Activity: MembershipMembership in committee, council, board

Scandinavian Conference on Artificial Intelligence (External organisation)

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

Activity: MembershipMembership in committee, council, board

International Workshop on Methods for Modalities (External organisation)

Braüner, T. (Member)
29 Nov 200730 Nov 2007

Activity: Membership in committee, council, board

International Workshop on Hybrid Logic 2007 (HyLo 2007) (External organisation)

Braüner, T. (Member)
6 Aug 200710 Aug 2007

Activity: Membership in committee, council, board

International Workshop on Hybrid Logic (External organisation)

Braüner, T. (Member)
11 Aug 2006

Activity: Membership in committee, council, board

International Workshop on Methods for Modalities (External organisation)

Braüner, T. (Member)
1 Dec 20052 Dec 2005

Activity: Membership in committee, council, board

Third International Workshop on Methods for Modalities (M4M-3 2003) (External organisation)

Braüner, T. (Member)
22 Sep 200323 Sep 2003

Activity: Membership in committee, council, board