Aktiviteter pr. år
Aktiviteter
- 1 - 50 ud af 76 resultater
Søgeresultater
-
Foredrag: Er computere i stand til at tænke?
Braüner, T. (Oplægsholder)
5 nov. 2024Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
27th European Conference on Artificial Intelligence ECAI 2024 (Begivenhed)
Braüner, T. (Medlem)
19 okt. 2024 → 24 okt. 2024Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
The Nordic Logic Summer School 2024 (Begivenhed)
Braüner, T. (Medlem)
10 jun. 2024 → 13 jun. 2024Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Logic meeting at DTU
Braüner, T. (Oplægsholder)
31 maj 2024Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Invited talk: Logic, Theory of Mind, and Second-Order False Beliefs (online)
Braüner, T. (Oplægsholder)
23 mar. 2024 → 24 mar. 2024Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
When people with autism outperform typicals: A formal logical study
Braüner, T. (Oplægsholder)
24 nov. 2023Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
26th European Conference on Artificial Intelligence ECAI 2023 (Begivenhed)
Braüner, T. (Medlem)
30 sep. 2023 → 5 okt. 2023Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
ESSLLI 2023 workshop on First-order Modal and Temporal Logics: State of the art and perspectives (Begivenhed)
Braüner, T. (Medlem)
7 aug. 2023 → 11 aug. 2023Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Ph.D. defence: Formally Correct Deduction Methods for Computational Logic (Asta Halkjær From) (Begivenhed)
Braüner, T. (Medlem)
21 apr. 2023Aktivitet: Medlemsskab › Medlemskab af bedømmelsesudvalg
-
Copenhagen Logic Gathering 2023
Braüner, T. (Arrangør) & Bolander, T. (Arrangør)
17 mar. 2023Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
-
Case study: Logical and mathematical understanding in comparison to other academic competences
Braüner, T. (Oplægsholder)
10 apr. 2022Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Workshop on Hybrid Logic and Applications
Braüner, T. (Arrangør) & Blackburn, P. R. (Arrangør)
6 apr. 2022Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
-
Invited talk: Understanding responses of people with ASD in diverse reasoning tasks: A formal study
Braüner, T. (Oplægsholder)
17 feb. 2022Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Invited talk: Case Study: Logical and Mathematical Understanding in Comparison to Other Academic Competences
Braüner, T. (Oplægsholder)
11 jan. 2022Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Invited talk: Case study: Logical and mathematical understanding in comparison to other academic competences
Braüner, T. (Oplægsholder)
11 jan. 2022Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
International Conference on Thinking
Braüner, T. (Deltager)
21 jun. 2021 → 25 jun. 2021Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
-
9th Indian Conference on Logic and its Applications (Online)
Braüner, T. (Deltager)
6 mar. 2021Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
-
Invited talk: Remarks on hybrid modal logic with propositional quantiers
Braüner, T. (Oplægsholder)
5 mar. 2021Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Invited talk: Logic and cognition
Braüner, T. (Oplægsholder)
14 jan. 2021Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Invited talk: Hybrid logic and its Proof-Theory
Braüner, T. (Oplægsholder)
27 nov. 2019Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Logical proofs: From mathematics to psychology
Braüner, T. (Oplægsholder)
30 okt. 2019Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
The 12th International Symposium on Frontiers of Combining Systems (Begivenhed)
Braüner, T. (Medlem)
4 sep. 2019 → 6 sep. 2019Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Logic and Cognition Pre-Conference Workshop
Braüner, T. (Arrangør) & Ghosh, S. (Arrangør)
2 mar. 2019Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
-
Eighth Indian Conference on Logic and its Applications 2019 (Begivenhed)
Braüner, T. (Medlem)
1 mar. 2019 → 5 mar. 2019Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
25th Workshop on Logic, Language, Information and Computation (Begivenhed)
Braüner, T. (Medlem)
24 jul. 2018 → 27 jul. 2018Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
9th International Joint Conference on Automated Reasoning (Begivenhed)
Braüner, T. (Medlem)
14 jul. 2018 → 17 jul. 2018Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Logic in progress talk
Braüner, T. (Oplægsholder)
23 maj 2018Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Invited talk: Hybrid Logic and its Proof-Theory
Braüner, T. (Oplægsholder)
2 mar. 2018Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Invited lecture: The application of hybrid logic within cognitive psychology
Braüner, T. (Oplægsholder)
15 dec. 2017Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Invited mini-course on hybrid logic
Braüner, T. (Oplægsholder)
11 dec. 2017 → 13 dec. 2017Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
The 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Begivenhed)
Braüner, T. (Medlem)
25 sep. 2017 → 28 sep. 2017Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Invited lecture: Second-order false belief reasoning: Some modal logical analyses
Braüner, T. (Oplægsholder)
17 maj 2017Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Keynote talk: Hybrid-Logical Proof-Theory: With an Application to False-Belief Tests
Braüner, T. (Oplægsholder)
8 maj 2017 → 12 maj 2017Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Invited lecture: Deception and Second-Order Theory of Mind
Braüner, T. (Oplægsholder)
9 jan. 2017 → 13 jan. 2017Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Ninth Methods for Modality Workshop - 2017 (Begivenhed)
Braüner, T. (Medlem)
8 jan. 2017 → 9 jan. 2017Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Advances in Modal Logic 2016 (Begivenhed)
Braüner, T. (Medlem)
30 aug. 2016 → 2 sep. 2016Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Cognitive, linguistic and logical aspects of perspective-taking II
Braüner, T. (Arrangør), Blackburn, P. R. (Arrangør) & Polyanskaya, I. (Arrangør)
26 maj 2016Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
-
Autism Research Network Meeting
Braüner, T. (Arrangør), Blackburn, P. R. (Arrangør) & Polyanskaya, I. (Arrangør)
26 maj 2016Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
-
Invited talk: Second-order false-belief reasoning: Some modal-logical analyses
Braüner, T. (Oplægsholder)
23 maj 2016 → 25 maj 2016Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
The Ninth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT 2015) (Ekstern organisation)
Braüner, T. (Medlem)
2 nov. 2015 → 6 nov. 2015Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Frontiers of Combining Systems (FroCoS 2015) (Ekstern organisation)
Braüner, T. (Medlem)
19 sep. 2015 → 24 sep. 2015Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Cognitive, linguistic and logical aspects of perspective-taking
Braüner, T. (Arrangør), Blackburn, P. R. (Arrangør) & Polyanskaya, I. (Arrangør)
27 maj 2015Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
-
Invited talk at the workshop: Proof Theory for Modal Logic: Recent Developments
Braüner, T. (Foredragsholder)
6 jan. 2014 → 17 jan. 2014Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Invited talk at the workshop: False-Belief Tasks and Logic
Braüner, T. (Foredragsholder)
5 dec. 2013Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Tableau-based decision procedures for epistemic and temporal epistemic logics (Mai Lise Ajspur) (Begivenhed)
Braüner, T. (Medlem)
31 okt. 2013Aktivitet: Medlemsskab › Medlemskab af bedømmelsesudvalg
-
Ph.d. bedømmelsesudvalg (Ekstern organisation)
Braüner, T. (Formand)
31 okt. 2013Aktivitet: Medlemsskab › Medlemskab af bedømmelsesudvalg
-
Keynote talk: Hybrid-Logical Proofs: With an Application to False-Belief Tasks
Braüner, T. (Foredragsholder)
24 maj 2013Aktivitet: 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.
Braüner, T. (Foredragsholder)
17 jan. 2013Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Invited talk: Hybrid Logic and Its Proof-Theory
Braüner, T. (Foredragsholder)
30 sep. 2012Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
9th International Conference on Advances in Modal Logic (AiML 2012) (Ekstern organisation)
Braüner, T. (Medlem)
22 aug. 2012 → 25 aug. 2012Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn