Aktiviteter pr. år
Aktiviteter 2002 2019
- 26 resultater
- Startdato (faldende)
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
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
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
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
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
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
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
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
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
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
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
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
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)25 aug. 2010 → 29 aug. 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
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
7th Workshop on Hybrid Logics (HyLo 2009) (Ekstern organisation)
Torben Braüner (Medlem)15 jul. 2009 → 17 jul. 2009
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
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
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
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
International Workshop on Hybrid Logic (Ekstern organisation)
Torben Braüner (Medlem)11 aug. 2006
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
International Workshop on Methods for Modalities (Ekstern organisation)
Torben Braüner (Medlem)1 dec. 2005 → 2 dec. 2005
Aktivitet: Medlemsskab › Medlemskab 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. 2003 → 23 sep. 2003
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn