Bernhard Gramlich
Associate Professor
- Address
- Position
- Sprechstunden (office hours): Im Semester
Montag, 10:30-12:30, oder nach Vereinbarung
- Lehre (Teaching/Courses) WS 2009/2010
[SS 2010,
alle LVAs unserer
Arbeitsgruppe (E185/2)]:
-
Termersetzungssysteme / Term Rewriting Systems, VU 3.0/2.0, WS 2009/2010
[Informatik-Masterstud. (Comp. Int., SW Eng. & Internet Comp.),
European Masters Program in Computational Logic]
-
Formale Methoden der Informatik, VO 6.0/4.0,
WS 2009/2010 + SS 2010
[Informatik-Masterstudien]
-
Theoretische Informatik und Logik, VU 6.0/4.0,
WS 2009/2010
[Informatik-Bachelorstudien]
-
Seminare, Praktika, Diplomarbeit, Dissertation, WS 2009/2010 + SS 2010
- Research Interests
- Publications
(bibtex,
abstracts / citations:
DBLP,
ZMATH,
CiteSeer Documents,
CiteSeer Citations,
CSB,
ACM,
Google /
Google Scholar /
most cited authors in comp.sci.)
- Current Professional Activities:
- IWS'10
- 1st International Workshop on Strategies in Rewriting, Proving, and Programming
Edinburgh, Scotland, UK, July 9, 2010 (part of FLoC'10)
submission deadline: March 26, 2010 (extended abstracts)
- JSC'10
- 5th Junior Scientist Conference,
Vienna, Austria, April 7-9, 2010
submission deadline (extended): February 15, 2010 (extended abstracts)
- RTA'10
- 21st International Conference on Rewriting Techniques and Applications,
Edinburgh, Scotland, UK, July 11-13, 2010 (part of FLoC'10)
submission deadline (extended): January 22, 2010 (abstracts) / January 29, 2010 (papers)
- IJCAR'10
- 5th International Joint Conference on Automated Reasoning,
Edinburgh, Scotland, UK, July 16-19, 2010 (part of FLoC'10)
submission deadline: January 15, 2010 (abstracts) / January 22, 2010 (papers)
- FroCoS
- International Symposium on Frontiers of Combining Systems
- IJCAR
- International Joint Conference on Automated Reasoning
- Interesting
Conferences & Workshops,
Summer Schools,
Journals,
Special Issues of Journals
- Some local links
Address
Snail: Bernhard Gramlich
Technische Universität Wien | Vienna University of Technology
Fakultät für Informatik | Faculty of Informatics
AG Theoretische Informatik und Logik | Theory and Logic Group
Favoritenstr. 9, E185/2
A-1040 Wien, Austria
E-mail: gramlich@logic.at
WWW: http://www.logic.at/staff/gramlich
Phone: +43-1-58801-18544
Fax: +43-1-58801-18597
Zugang: am besten über Stiege 1, 3. Stock, rechts (Gebäudeplan)
Research Interests
Some local links
-
-
AG 185/2
| Intern
| Inst. 185
| WWW-Server
| Faculty of Informatics
| Colloquium
| TNI
| TU
| TU Links
| White Pages
| TUWIS
| TUWIS++
-
LVAs 185/2
| Neue Inf.studien
| Übergangsbest.
| LZK (mit LVA-Kurzbeschr.)
| Studienrichtungen & -pläne
| ULV der TU Wien
Last modified: Thu Feb 4 12:21:30 CET 2010
Bernhard Gramlich