Intet foto af Torben Braüner
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Danmark

19992019
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Aktiviteter 2002 2019

Workshop on Logic and Cognition

Torben Braüner (Arrangør), Sujata Ghosh (Arrangør)
2 mar. 2019

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference

Logic in progress talk

Torben Braüner (Oplægsholder)
23 maj 2018

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

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

Invited mini-course on hybrid logic

Torben Braüner (Oplægsholder)
11 dec. 201713 dec. 2017

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

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

Torben Braüner (Oplægsholder)
17 maj 2017

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Invited lecture: The application of hybrid logic within cognitive psychology

Torben Braüner (Oplægsholder)
15 dec. 2017

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

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

Torben Braüner (Oplægsholder)
8 maj 201712 maj 2017

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

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

Invited lecture: Deception and Second-Order Theory of Mind

Torben Braüner (Oplægsholder)
9 jan. 201713 jan. 2017

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Advances in Modal Logic 2016 (Begivenhed)

Torben Braüner (Medlem)
30 aug. 20162 sep. 2016

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

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

Torben Braüner (Oplægsholder)
23 maj 201625 maj 2016

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Cognitive, linguistic and logical aspects of perspective-taking II

Torben Braüner (Arrangør), Patrick Rowan Blackburn (Arrangør), Irina Polyanskaya (Arrangør)
26 maj 2016

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference

Autism Research Network Meeting

Torben Braüner (Arrangør), Patrick Rowan Blackburn (Arrangør), Irina Polyanskaya (Arrangør)
26 maj 2016

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference

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

Cognitive, linguistic and logical aspects of perspective-taking

Torben Braüner (Arrangør), Patrick Rowan Blackburn (Arrangør), Irina Polyanskaya (Arrangør)
27 maj 2015

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference

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

Torben Braüner (Foredragsholder)
6 jan. 201417 jan. 2014

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

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

Torben Braüner (Foredragsholder)
5 dec. 2013

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Invited lecture on hybrid logic at Munich Center for Mathematical Philosophy, Ludwig-Maximilians-Universität München, Germany.

Torben Braüner (Foredragsholder)
17 jan. 2013

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

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

Torben Braüner (Foredragsholder)
24 maj 2013

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Ph.d. bedømmelsesudvalg (Ekstern organisation)

Torben Braüner (Formand)
31 okt. 2013

Aktivitet: MedlemsskabMedlemskab af bedømmelsesudvalg

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

8th Scandinavian Logic Symposium (Ekstern organisation)

Torben Braüner (Medlem)
20 aug. 201221 aug. 2012

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

Invited mini-course

Torben Braüner (Foredragsholder)
14 maj 201218 maj 2012

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Invited talk: Hybrid Logic and Its Proof-Theory

Torben Braüner (Foredragsholder)
30 sep. 2012

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

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

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

Torben Braüner (Foredragsholder)
8 apr. 20119 apr. 2011

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

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

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

Torben Braüner (Foredragsholder)
27 sep. 201129 sep. 2011

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

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

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)
25 aug. 201029 aug. 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

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

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

Torben Braüner (Medlem)
15 jul. 200917 jul. 2009

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

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

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

Torben Braüner (Foredragsholder)
4 dec. 20086 dec. 2008

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Invited talk: From classical to intuitionistic hybrid logic

Torben Braüner (Foredragsholder)
23 jun. 2008

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

International Workshop on Methods for Modalities (Ekstern organisation)

Torben Braüner (Medlem)
29 nov. 200730 nov. 2007

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

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

Torben Braüner (Medlem)
6 aug. 200710 aug. 2007

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

Introductory lecture on hybrid logic

Torben Braüner (Foredragsholder)
6 aug. 200710 aug. 2007

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

International Workshop on Hybrid Logic (Ekstern organisation)

Torben Braüner (Medlem)
11 aug. 2006

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

International Workshop on Methods for Modalities (Ekstern organisation)

Torben Braüner (Medlem)
1 dec. 20052 dec. 2005

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

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

Torben Braüner (Medlem)
22 sep. 200323 sep. 2003

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

Invited tutorial on temporal logic and hybrid logic

Torben Braüner (Foredragsholder)
7 nov. 20029 nov. 2002

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag