Aktiviteter pr. år
Aktiviteter
- 32 resultater
Søgeresultater
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
8th Scandinavian Logic Symposium (Begivenhed)
Braüner, T. (Medlem)
20 aug. 2012 → 21 aug. 2012Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
6th International Joint Conference on Automated Reasoning (IJCAR 2012) (Ekstern organisation)
Braüner, T. (Medlem)
25 jun. 2012 → 29 jun. 2012Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
International Workshop on Methods for Modalities (Ekstern organisation)
Braüner, T. (Medlem)
10 nov. 2011 → 12 nov. 2011Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
The 12th International Symposium on Frontiers of Combining Systems (FroCoS 2011) (Begivenhed)
Braüner, T. (Medlem)
5 okt. 2011 → 7 okt. 2011Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux 2011) (Ekstern organisation)
Braüner, T. (Medlem)
4 jul. 2011 → 8 jul. 2011Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Advances in Modal Logic (Ekstern organisation)
Braüner, T. (Medlem)
25 aug. 2010 → 29 aug. 2010Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
International Workshop on Hybrid Logic (Ekstern organisation)
Braüner, T. (Medlem)
10 jul. 2010Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Advances in Modal Logic (Ekstern organisation)
Braüner, T. (Medlem)
1 jan. 2010 → 31 dec. 2012Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Sixth International Workshop on Methods for Modalities 2009 (M4M-6 2009) (Ekstern organisation)
Braüner, T. (Medlem)
12 nov. 2009 → 14 nov. 2009Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
The 7th International Symposium on Frontiers of Combining Systems (FroCoS 2009) (Begivenhed)
Braüner, T. (Medlem)
16 sep. 2009 → 18 sep. 2009Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
International Workshop on Hybrid Logic (Ekstern organisation)
Braüner, T. (Medlem)
15 jul. 2009 → 17 jul. 2009Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Ekstern organisation)
Braüner, T. (Medlem)
7 jul. 2009 → 10 jul. 2009Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Scandinavian Conference on Artificial Intelligence (Ekstern organisation)
Braüner, T. (Medlem)
26 maj 2008 → 28 maj 2008Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
International Workshop on Methods for Modalities (Ekstern organisation)
Braüner, T. (Medlem)
29 nov. 2007 → 30 nov. 2007Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
International Workshop on Hybrid Logic 2007 (HyLo 2007) (Ekstern organisation)
Braüner, T. (Medlem)
6 aug. 2007 → 10 aug. 2007Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
International Workshop on Hybrid Logic (Ekstern organisation)
Braüner, T. (Medlem)
11 aug. 2006Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
International Workshop on Methods for Modalities (Ekstern organisation)
Braüner, T. (Medlem)
1 dec. 2005 → 2 dec. 2005Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Third International Workshop on Methods for Modalities (M4M-3 2003) (Ekstern organisation)
Braüner, T. (Medlem)
22 sep. 2003 → 23 sep. 2003Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn