Aktiviteter pr. år
Aktiviteter 2002 2019
- 1 - 50 ud af 55 resultater
- Startdato (faldende)
The 12th International Symposium on Frontiers of Combining Systems (Begivenhed)
Torben Braüner (Medlem)4 sep. 2019 → 6 sep. 2019
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
Invited talk: Hybrid logic and its Proof-Theory
Torben Braüner (Oplægsholder)27 nov. 2019
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Logical proofs: From mathematics to psychology
Torben Braüner (Oplægsholder)30 okt. 2019
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Eighth Indian Conference on Logic and its Applications 2019 (Begivenhed)
Torben Braüner (Medlem)1 mar. 2019 → 5 mar. 2019
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
Logic and Cognition Pre-Conference Workshop
Torben Braüner (Arrangør), Sujata Ghosh (Arrangør)2 mar. 2019
Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
9th International Joint Conference on Automated Reasoning (Begivenhed)
Torben Braüner (Medlem)14 jul. 2018 → 17 jul. 2018
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
Logic in progress talk
Torben Braüner (Oplægsholder)23 maj 2018
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
25th Workshop on Logic, Language, Information and Computation (Begivenhed)
Torben Braüner (Medlem)24 jul. 2018 → 27 jul. 2018
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
Invited lecture: Deception and Second-Order Theory of Mind
Torben Braüner (Oplægsholder)9 jan. 2017 → 13 jan. 2017
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Keynote talk: Hybrid-Logical Proof-Theory: With an Application to False-Belief Tests
Torben Braüner (Oplægsholder)8 maj 2017 → 12 maj 2017
Aktivitet: Tale eller præsentation › Foredrag 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æsentation › Foredrag og mundtlige bidrag
The 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Begivenhed)
Torben Braüner (Medlem)25 sep. 2017 → 28 sep. 2017
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
Invited mini-course on hybrid logic
Torben Braüner (Oplægsholder)11 dec. 2017 → 13 dec. 2017
Aktivitet: Tale eller præsentation › Foredrag 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æsentation › Foredrag og mundtlige bidrag
Ninth Methods for Modality Workshop - 2017 (Begivenhed)
Torben Braüner (Medlem)8 jan. 2017 → 9 jan. 2017
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
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 begivenhed › Organisation og deltagelse i konference
Advances in Modal Logic 2016 (Begivenhed)
Torben Braüner (Medlem)30 aug. 2016 → 2 sep. 2016
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
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 begivenhed › Organisation og deltagelse i konference
Invited talk: Second-order false-belief reasoning: Some modal-logical analyses
Torben Braüner (Oplægsholder)23 maj 2016 → 25 maj 2016
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Frontiers of Combining Systems (FroCoS 2015) (Ekstern organisation)
Torben Braüner (Medlem)19 sep. 2015 → 24 sep. 2015
Aktivitet: Medlemsskab › Medlemskab 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 begivenhed › Organisation 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. 2015 → 6 nov. 2015
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
Invited talk at the workshop: Proof Theory for Modal Logic: Recent Developments
Torben Braüner (Foredragsholder)6 jan. 2014 → 17 jan. 2014
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Ph.d. bedømmelsesudvalg (Ekstern organisation)
Torben Braüner (Formand)31 okt. 2013
Aktivitet: Medlemsskab › Medlemskab af bedømmelsesudvalg
Keynote talk: Hybrid-Logical Proofs: With an Application to False-Belief Tasks
Torben Braüner (Foredragsholder)24 maj 2013
Aktivitet: Tale eller præsentation › Foredrag 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æsentation › Foredrag og mundtlige bidrag
Invited talk at the workshop: False-Belief Tasks and Logic
Torben Braüner (Foredragsholder)5 dec. 2013
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
8th Scandinavian Logic Symposium (Ekstern organisation)
Torben Braüner (Medlem)20 aug. 2012 → 21 aug. 2012
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
9th International Conference on Advances in Modal Logic (AiML 2012) (Ekstern organisation)
Torben Braüner (Medlem)22 aug. 2012 → 25 aug. 2012
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
6th International Joint Conference on Automated Reasoning (IJCAR 2012) (Ekstern organisation)
Torben Braüner (Medlem)25 jun. 2012 → 29 jun. 2012
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
Invited talk: Hybrid Logic and Its Proof-Theory
Torben Braüner (Foredragsholder)30 sep. 2012
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Invited mini-course
Torben Braüner (Foredragsholder)14 maj 2012 → 18 maj 2012
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Frontiers of Combining Systems (FroCoS 2011) (Ekstern organisation)
Torben Braüner (Medlem)5 okt. 2011 → 7 okt. 2011
Aktivitet: Medlemsskab › Medlemskab 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. 2011 → 9 apr. 2011
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux 2011) (Ekstern organisation)
Torben Braüner (Medlem)4 jul. 2011 → 8 jul. 2011
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
International Workshop on Methods for Modalities (Ekstern organisation)
Torben Braüner (Medlem)10 nov. 2011 → 12 nov. 2011
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
Invited talk: Arthur Prior's temporal logic and contemporary hybrid logic
Torben Braüner (Foredragsholder)27 sep. 2011 → 29 sep. 2011
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
International Workshop on Hybrid Logic (Ekstern organisation)
Torben Braüner (Medlem)10 jul. 2010
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
Advances in Modal Logic (Ekstern organisation)
Torben Braüner (Medlem)1 jan. 2010 → 31 dec. 2012
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
Advances in Modal Logic (Ekstern organisation)
Torben Braüner (Medlem)25 aug. 2010 → 29 aug. 2010
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
Frontiers of Combining Systems (FroCoS 2009) (Ekstern organisation)
Torben Braüner (Medlem)16 sep. 2009 → 18 sep. 2009
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
International Workshop on Hybrid Logic (Ekstern organisation)
Torben Braüner (Medlem)15 jul. 2009 → 17 jul. 2009
Aktivitet: Medlemsskab › Medlemskab 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. 2009 → 10 jul. 2009
Aktivitet: Medlemsskab › Medlemskab 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. 2009 → 14 nov. 2009
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
Scandinavian Conference on Artificial Intelligence (Ekstern organisation)
Torben Braüner (Medlem)26 maj 2008 → 28 maj 2008
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
Invited talk: From classical to intuitionistic hybrid logic
Torben Braüner (Foredragsholder)23 jun. 2008
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Invited talk: Arthur Prior's temporal logic and the origin of contemporary hybrid logic
Torben Braüner (Foredragsholder)4 dec. 2008 → 6 dec. 2008
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Introductory lecture on hybrid logic
Torben Braüner (Foredragsholder)6 aug. 2007 → 10 aug. 2007
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
International Workshop on Methods for Modalities (Ekstern organisation)
Torben Braüner (Medlem)29 nov. 2007 → 30 nov. 2007
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
International Workshop on Hybrid Logic 2007 (HyLo 2007) (Ekstern organisation)
Torben Braüner (Medlem)6 aug. 2007 → 10 aug. 2007
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn