Intet foto af Torben Braüner

Torben Braüner

ph.d. & dr.scient.

  • Universitetsvej 1, 10.1

    DK-4000 Roskilde

    Danmark

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

Aktiviteter 2002 2019

Filter
Medlemskab af udvalg, råd og nævn

The 12th International Symposium on Frontiers of Combining Systems (Begivenhed)

Torben Braüner (Medlem)
4 sep. 20196 sep. 2019

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

Eighth Indian Conference on Logic and its Applications 2019 (Begivenhed)

Torben Braüner (Medlem)
1 mar. 20195 mar. 2019

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

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

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

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

Advances in Modal Logic 2016 (Begivenhed)

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

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

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

8th Scandinavian Logic Symposium (Ekstern organisation)

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

Aktivitet: MedlemsskabMedlemskab 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. 201225 aug. 2012

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

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

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

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

International 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)
1 jan. 201031 dec. 2012

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

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

International Workshop on Hybrid Logic (Ekstern organisation)

Torben Braüner (Medlem)
15 jul. 200917 jul. 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

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

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

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

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