No photo of Torben Braüner

Torben Braüner

ph.d. & dr.scient.

  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Denmark

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

Activities 2002 2019

Logic and Cognition Pre-Conference Workshop

Torben Braüner (Organizer), Sujata Ghosh (Organizer)
2 Mar 2019

Activity: Participating in or organising an eventOrganisation and participation in conference

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

Logic in progress talk

Torben Braüner (Speaker)
23 May 2018

Activity: Talk or presentationLecture and oral contribution

Invited mini-course on hybrid logic

Torben Braüner (Speaker)
11 Dec 201713 Dec 2017

Activity: Talk or presentationLecture and oral contribution

Keynote talk: Hybrid-Logical Proof-Theory: With an Application to False-Belief Tests

Torben Braüner (Speaker)
8 May 201712 May 2017

Activity: Talk or presentationLecture and oral contribution

Invited lecture: The application of hybrid logic within cognitive psychology

Torben Braüner (Speaker)
15 Dec 2017

Activity: Talk or presentationLecture and oral contribution

Invited lecture: Second-order false belief reasoning: Some modal logical analyses

Torben Braüner (Speaker)
17 May 2017

Activity: Talk or presentationLecture and oral contribution

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

Invited lecture: Deception and Second-Order Theory of Mind

Torben Braüner (Speaker)
9 Jan 201713 Jan 2017

Activity: Talk or presentationLecture and oral contribution

Advances in Modal Logic 2016 (Event)

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

Activity: MembershipMembership in committee, council, board

Invited talk: Second-order false-belief reasoning: Some modal-logical analyses

Torben Braüner (Speaker)
23 May 201625 May 2016

Activity: Talk or presentationLecture and oral contribution

Autism Research Network Meeting

Torben Braüner (Organizer), Patrick Rowan Blackburn (Organizer), Irina Polyanskaya (Organizer)
26 May 2016

Activity: Participating in or organising an eventOrganisation and participation in conference

Cognitive, linguistic and logical aspects of perspective-taking II

Torben Braüner (Organizer), Patrick Rowan Blackburn (Organizer), Irina Polyanskaya (Organizer)
26 May 2016

Activity: Participating in or organising an eventOrganisation and participation in conference

Cognitive, linguistic and logical aspects of perspective-taking

Torben Braüner (Organizer), Patrick Rowan Blackburn (Organizer), Irina Polyanskaya (Organizer)
27 May 2015

Activity: Participating in or organising an eventOrganisation and participation in conference

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

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

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

Activity: MembershipMembership in committee, council, board

Invited talk at the workshop: Proof Theory for Modal Logic: Recent Developments

Torben Braüner (Lecturer)
6 Jan 201417 Jan 2014

Activity: Talk or presentationLecture and oral contribution

Keynote talk: Hybrid-Logical Proofs: With an Application to False-Belief Tasks

Torben Braüner (Lecturer)
24 May 2013

Activity: Talk or presentationLecture and oral contribution

Invited talk at the workshop: False-Belief Tasks and Logic

Torben Braüner (Lecturer)
5 Dec 2013

Activity: Talk or presentationLecture and oral contribution

Ph.d. bedømmelsesudvalg (External organisation)

Torben Braüner (Chairman)
31 Oct 2013

Activity: MembershipMembership in review committee

8th Scandinavian Logic Symposium (External organisation)

Torben Braüner (Member)
20 Aug 201221 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

Invited talk: Hybrid Logic and Its Proof-Theory

Torben Braüner (Lecturer)
30 Sep 2012

Activity: Talk or presentationLecture and oral contribution

Invited mini-course

Torben Braüner (Lecturer)
14 May 201218 May 2012

Activity: Talk or presentationLecture and oral contribution

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

Invited talk: Arthur Prior's temporal logic and contemporary hybrid logic

Torben Braüner (Lecturer)
27 Sep 201129 Sep 2011

Activity: Talk or presentationLecture and oral contribution

Arthur Prior’s temporal logic and the origin of contemporary hybrid logic

Torben Braüner (Lecturer)
8 Apr 20119 Apr 2011

Activity: Talk or presentationLecture and oral contribution

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

Advances in Modal Logic (External organisation)

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

Activity: MembershipMembership in committee, council, board

International 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

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

Torben Braüner (Member)
16 Sep 200918 Sep 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

International Workshop on Hybrid Logic (External organisation)

Torben Braüner (Member)
15 Jul 200917 Jul 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

Scandinavian Conference on Artificial Intelligence (External organisation)

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

Activity: MembershipMembership in committee, council, board

Invited talk: Arthur Prior's temporal logic and the origin of contemporary hybrid logic

Torben Braüner (Lecturer)
4 Dec 20086 Dec 2008

Activity: Talk or presentationLecture and oral contribution

Invited talk: From classical to intuitionistic hybrid logic

Torben Braüner (Lecturer)
23 Jun 2008

Activity: Talk or presentationLecture and oral contribution

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

Torben Braüner (Member)
6 Aug 200710 Aug 2007

Activity: MembershipMembership in committee, council, board

Introductory lecture on hybrid logic

Torben Braüner (Lecturer)
6 Aug 200710 Aug 2007

Activity: Talk or presentationLecture and oral contribution

International Workshop on Methods for Modalities (External organisation)

Torben Braüner (Member)
29 Nov 200730 Nov 2007

Activity: MembershipMembership in committee, council, board

International Workshop on Hybrid Logic (External organisation)

Torben Braüner (Member)
11 Aug 2006

Activity: MembershipMembership in committee, council, board

International Workshop on Methods for Modalities (External organisation)

Torben Braüner (Member)
1 Dec 20052 Dec 2005

Activity: MembershipMembership in committee, council, board

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

Torben Braüner (Member)
22 Sep 200323 Sep 2003

Activity: MembershipMembership in committee, council, board

The Danish Network for Philosophical Logic and its Applications (External organisation)

Torben Braüner (Member)
1 Jan 2002 → …

Activity: MembershipMembership in research network