Torben Braüner - Aktiviteter - Roskilde Universitets forskningsportal

Telefon+45 4674 3840
E-mailtorbenrucdk
Webstedhttp://webhotel4.ruc.dk/~torben/

Universitetsvej 1, 44.3
DK-4000 Roskilde
Danmark

32 Medlemskab af udvalg, råd og nævn
32 Foredrag og mundtlige bidrag
8 Organisation og deltagelse i konference
3 Medlemskab af bedømmelsesudvalg
Mere
- 1 Medlemskab af forskningsnetværk

3 resultater
- Titel
- Startdato(stigende)

Filter

Ph.D. defence: Formally Correct Deduction Methods for Computational Logic (Asta Halkjær From) (Begivenhed)
Braüner, T. (Medlem)
21 apr. 2023
Aktivitet: Medlemsskab › Medlemskab af bedømmelsesudvalg
Tableau-based decision procedures for epistemic and temporal epistemic logics (Mai Lise Ajspur) (Begivenhed)
Braüner, T. (Medlem)
31 okt. 2013
Aktivitet: Medlemsskab › Medlemskab af bedømmelsesudvalg
Ph.d. bedømmelsesudvalg (Ekstern organisation)
Braüner, T. (Formand)
31 okt. 2013
Aktivitet: Medlemsskab › Medlemskab af bedømmelsesudvalg