Some Professional Activities (Bernhard Gramlich)

Research:

1. VSL 2014 - Vienna Summer of Logic,
   Vienna, Austria, July 9-24, 2014   [OC member]
   
   
2. FroCoS 2013 - 9th International Symposium of Combining Systems
   Nancy, France, September 18-20, 2013   [PC member]
3. WRS 2013 - 11th International Workshop on Reduction Strategies in Rewriting and Programming
   Eindhoven, The Netherlands, June 27, 2013 (part of RDP'13, the 7th International Conference on Rewriting, Deduction, and Programming)   [PC member]
4. IJCAR - - International Joint Conference on Automated Reasoning   [SC member]
5. CADE - International Conference on Automated Deduction   [member of the Board of Trustees]
   
   
6. IJCAR 2012 - 6th International Joint Conference on Automated Reasoning
   Manchester, United Kingdom, June 26 - July 1, 2012   [PC Co-Chair]
7. IJCAR - - International Joint Conference on Automated Reasoning   [SC member]
8. CADE - International Conference on Automated Deduction   [member of the Board of Trustees]
   
   
9. FroCoS 2011 - 8th International Symposium of Combining Systems
   Saarbrücken, Germany, October 5-7, 2011   [PC member]
10. WRS 2011 - 10th International Workshop on Reduction Strategies in Rewriting and Programming
    Novi Sad, Serbia, May 29, 2011 (part of RDP'11)   [PC member]
11. IJCAR - - International Joint Conference on Automated Reasoning   [SC member]
12. CADE - International Conference on Automated Deduction   [member of the Board of Trustees]
    
    
13. IJCAR 2010 - 5th International Joint Conference on Automated Reasoning,
    Edinburgh, Scotland, UK, July 16-19, 2010 (part of FLoC'10)   [PC member]
14. RTA 2010 - 21st International Conference on Rewriting Techniques and Applications,
    Edinburgh, Scotland, UK, July 11-13, 2010 (part of FLoC'10)   [PC member]
15. IWS 2010 - 1st International Workshop on Strategies in Rewriting, Proving, and Programming
    Edinburgh, Scotland, UK, July 9, 2010 (part of FLoC'10)   [PC member]
16. JSC 2010 - 5th Junior Scientist Conference,
    Vienna, Austria, April 7-9, 2010   [member of Scientific Committee]
17. FroCoS - International Symposium on Frontiers of Combining Systems   [SC member]
18. IJCAR - International Joint Conference on Automated Reasoning   [SC member]
    
    
19. FroCoS 2009 - 7th International Symposium on Frontiers of Combining System,
    Trento, Italy, September 16-18, 2009   [PC member]
20. WRS 2009 - 9th International Workshop on Reduction Strategies in Rewriting and Programming, part of RDP 2009,
    Brasília, Brazil, June 18, 2009   [PC member]
21. ISR 2009 - 4th International School on Rewriting
    Brasília, Brazil, June 22-26, 2009   [Invited Lecturer]
22. FroCoS - International Symposium on Frontiers of Combining Systems   [SC member]
23. IJCAR - International Joint Conference on Automated Reasoning   [SC member]
24. RTA - International Conference on Rewriting Techniques and Applications   [SC member]
    
    
25. LSFA 2008 - 3rd Workshop on Logical and Semantic Frameworks, with Applications, satellite event of SBMF 2008,
    Salvador, Bahia, Brazil, August 26, 2008   [PC member]
26. IJCAR 2008 - 4th International Joint Conference on Automated Reasoning
    Sydney, Australia, August 10-15, 2008   [PC member]
27. AMAST 2008 - 12th International Conference on Algebraic Methodology and Software Technology,
    Urbana, Illinois, USA, July 28-31, 2008   [PC member]
    
28. WRLA 2008 - 7th International Workshop on Rewriting Logic and its Applications, satellite event of ETAPS 2008,
    Budapest, Hungary, March 29-30, 2008   [PC member]
29. FroCoS - International Symposium on Frontiers of Combining Systems   [SC member]
30. IJCAR - International Joint Conference on Automated Reasoning   [SC member]
31. RTA - International Conference on Rewriting Techniques and Applications   [SC member]
    
    
32. FroCoS 2007 - 6th International Symposium on Frontiers of Combining Systems,
    Liverpool, UK, September 10-12, 2007   [PC member]
33. LSFA 2007 - 2nd Workshop on Logical and Semantic Frameworks, with Applications, satellite event of SBMF 2007,
    Ouro Preto, Minas Gerais, Brazil, August 28, 2007   [PC member]
34. DISPROVING 2007 - 4th International Workshop on Disproving: Non-Theorems, Non-Validity, Non-Provability, part of CADE 2007,
    Bremen, Germany, July 16, 2007   [PC member]
35. WRS 2007 - 7th International Workshop on Reduction Strategies in Rewriting and Programming, part of RDP 2007,
    Paris, France, June 25, 2007   [PC member]
36. TERMGRAPH 2007 - 4th International Workshop on Computing with Terms and Graphs, a satellite event of ETAPS 2007,
    Braga, Portugal, March 31, 2007   [PC member]
37. FroCoS - International Symposium on Frontiers of Combining Systems   [SC member]
38. IJCAR - International Joint Conference on Automated Reasoning   [SC member]
39. RTA - International Conference on Rewriting Techniques and Applications   [SC member]
    
    
40. DISPROVING 2006 - 3rd Workshop on Disproving - Non-Theorems, Non-Validity, Non-Provability, a satellite event of FLoC 2006,
    Seattle, Washington, USA, August 16, 2006   [PC member]
41. WRS 2006 - 6th International Workshop on Reduction Strategies in Rewriting and Programming, a satellite event of FLoC 2006,
    Seattle, Washington, USA, August 11, 2006   [PC member]
42. TERMGRAPH 2006 - 3rd International Workshop on Term Graph Rewriting, a satellite event of ETAPS 2006,
    Vienna, Austria, April 1, 2006   [OC member]
43. FroCoS - International Symposium on Frontiers of Combining Systems   [SC member]
44. RTA - International Conference on Rewriting Techniques and Applications   [SC member]
    
    
45. FroCoS 2005 - 5th International Workshop on Frontiers of Combining Systems,
    Vienna, Austria, September 19-21, 2005   [PC and OC chair]
46. LNAI 3717 Frontiers of Combining Systems, 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings, Springer, Series: Lecture Notes in Computer Science, Subseries: Lecture Notes in Artificial Intelligence, Vol. 3717, 2005, X, 321 p., ISBN: 3-540-29051-6   [Editor]
47. FTP 2005 - 5th International Workshop on First-Order Theorem Proving,
    Koblenz, Germany, September 14-17, 2005   [PC member]
48. SEFM 2005 - 3rd IEEE International Conference on Software Engineering and Formal Methods,
    Koblenz, Germany, September 7-9, 2005   [PC member]
49. DISPROVING 2005 - CADE-20 Workshop on Disproving - Non-Theorems, Non-Validity, Non-Provability,
    Tallinn, Estonia, July 22, 2005   [PC member]
50. WRS 2005 - 5th International Workshop on Reduction Strategies in Rewriting and Programming,
    Nara, Japan, April 22, 2005 (part of RDP 2005)   [PC member]
51. RTA 2005 - 16th International Conference on Rewriting Techniques and Applications,
    Nara, Japan, April 19-21, 2005 (part of RDP 2005)   [PC member]
52. Journal of Symbolic Computation (JSC) - Special issue on Reduction Strategies in Rewriting and Programming,
    Volume 40, Issue 1, pp. 745-903, July 2005   [Co-Editor]
53. FroCoS - International Symposium on Frontiers of Combining Systems   [SC member]
    
    
54. SEFM 2004 - 2nd IEEE International Conf. on Software Engineering and Formal Methods,
    Beijing, China, September 26-30, 2004   [PC member]
55. STRATEGIES 2004 - 5th International Workshop on Strategies in Automated Deduction,
    Cork, Ireland, July 4, 2004 (part of IJCAR 2004)   [Invited Talk / slides (pdf.gz)]
56. DISPROVING 2004 - Workshop on Disproving - Non-Theorems, Non-Validity, Non-Provability,
    Cork, Ireland, July 4, 2004 (part of IJCAR 2004)   [PC member]
57. IJCAR 2004 - 2nd International Joint Conference on Automated Reasoning,
    Cork, Ireland, July 4-8, 2004   [PC member]
58. WRS 2004 - 4th International Workshop on Reduction Strategies in Rewriting and Programming,
    Aachen, Germany, June 2, 2004 (part of RDP 2004 - 2nd Federated Conference on Rewriting, Deduction and Programming)   [PC member]
59. FroCoS - International Symposium on Frontiers of Combining Systems   [SC member]
    
    
60. Electronic Notes in Theoretical Computer Science (ENTCS), Volume 86, Issue 4
    - Final Proc. WRS 2003   [Co-Editor]
61. SEFM 2003 - International Conf. on Software Engineering and Formal Methods,
    Brisbane, Australia, September 22-27, 2003   [PC member]
62. CADE 2003 - 19th International Conference on Automated Deduction (CADE-19),
    Miami Beach, USA, July 28 - August 2, 2003   [PC member]
63. FTP 2003 - 4th International Workshop on First-Order Theorem Proving,
    Valencia, Spain, June 12-14, 2003 (part of RDP 2003 - Federated Conference on Rewriting, Deduction and Programming)   [PC member]
64. WRS 2003 - 3rd International Workshop on Reduction Strategies in Rewriting and Programming,
    Valencia, Spain, June 8, 2003 (part of RDP 2003 - Federated Conference on Rewriting, Deduction and Programming)   [Co-organizer and PC Co-chair]
    
    
65. Electronic Notes in Theoretical Computer Science (ENTCS), Volume 70, Issue 6
    - Final Proc. WRS 2002   [Co-Editor]
66. RTA 2002 - 13th International Conference on Rewriting Techniques and Applications,
    Copenhagen, Denmark, July 22-24, 2002 (held in conjunction with FLoC 2002 - 3rd Federated Logic Conference)   [PC member]
67. WRS 2002 - 2nd International Workshop on Reduction Strategies in Rewriting and Programming,
    Copenhagen, Denmark, July 21, 2002 (held in conjunction with FLoC 2002 - 3rd Federated Logic Conference)   [Co-organizer and PC Co-chair]
68. FroCoS 2002 - 4th International Workshop on Frontiers of Combining Systems,
    Santa Margherita Ligure (near Genova), Italy, April 8-10, 2002   [PC member]
    
    
69. Electronic Notes in Theoretical Computer Science (ENTCS), Volume 57
    - Final Proc. WRS 2001   [Co-Editor]
70. Electronic Notes in Theoretical Computer Science (ENTCS), Volume 58, Issue 2
    - 4th International Workshop on Strategies in Automated Deduction (STRATEGIES 2001) - Selected Papers   [Co-Editor]
71. LC 2001 - Logic Colloquium 2001: The 2001 ASL European Summer Meeting,
    Vienna, Austria, August 6-11, 2001   [OC member]
72. STRATEGIES 2001 - 4th International Workshop on Strategies in Automated Deduction,
    Siena, Italy, June 18, 2001 (held in conjunction with IJCAR 2001 - 1st International Joint Conference on Automated Reasoning)   [Co-organizer and PC Co-chair]
73. WRS 2001 - International Workshop on Reduction Strategies in Rewriting and Programming,
    Utrecht, The Netherlands, May 26, 2001 (held in conjunction with RTA 2001)   [Co-organizer and PC Co-chair]
    
    
74. FTP 2000 - 3rd International Workshop on First-Order Theorem Proving,
    St. Andrews, Scotland, July 3-5, 2000   [Invited Panelist]
    
75. FroCoS 2000 - 3rd International Workshop on Frontiers of Combining Systems,
    Nancy, France, March 22-24, 2000   [PC member]
76. Annals of Mathematics and Artificial Intelligence (AMAI), Volume 29, Issue 1-4, 2000,
    Special issue on Strategies in Automated Deduction (see also here)   [Co-Editor]
    
    
77. RTA 1999 - 10th International Conference on Rewriting Techniques and Applications,
    Trento, Italy, July 2-4, 1999 (held as part of FLoC 1999 - 2nd Federated Logic Conference)   [PC member]
78. STRATEGIES 1999 - 3rd International Workshop on Strategies in Automated Deduction,
    Trento, Italy, July 5, 1999 (held as part of FLoC 1999 - 2nd Federated Logic Conference)   [Co-organizer and PC member]
79. INDUCTION 1999 - FLoC'99 Workshop on Automation of Proof by Mathematical Induction   [Invited Panelist]
    
    
80. STRATEGIES 1998 - CADE-15 Workshop on Strategies in Automated Deduction,
    Lindau, Germany, July 5, 1998   [Co-organizer]
    
    
81. STRATEGIES 1997 - CADE-14 Workshop on Strategies in Automated Deduction,
    Townsville, Australia, July 13, 1997   [Co-organizer]

• IJCAR - International Joint Conference on Automated Reasoning   [SC member October 2007 - October 2010]
• RTA - International Conference on Rewriting Techniques and Applications   [SC member August 2006 - July 2009]
• FroCoS - International Symposium on Frontiers of Combining Systems   [SC member August 2004 - October 2010]
• WRS - International Workshop on Reduction Strategies in Rewriting and Programming (see also here), held annually since 2001 (typically in connection with RTA / RDP conferences)   [Co-Founder]
• FTP - International Workshop on First-Order Theorem Proving   [SC member October 2000 - November 2005]
• STRATEGIES - International Workshop on Strategies in Automated Deduction, held (irreguarly) since 1997, (typically in connection with CADE or IJCAR conferences)   [Co-Founder]
  See also Strategies in Automated Deduction   [website: database and guide]

• Acciones Integradas (ÖAD-WTZ): Spanish-Austrian Project on Programmable Strategies in Functional programming: Logics and Optimization (Valencia - Vienna; 2004-2005)
• CoLogNet: Network of Excellence in Computational Logic (2002-2004), Area VIII: Automated Reasoning, Deduction, Theorem Proving and Model-Checking
• Acciones Integradas (ÖAD-WTZ): Spanish-Austrian Project on Computational Strategies in Declarative Programming (Valencia - Vienna; 2002-2003)
• Amadée (ÖAD-WTZ): French-Austrian Amadée Project on Recurrent Schematizations and their Applications (Angers - Nancy - Orléans - Vienna; 1999-2000)

• AAR (Association for Automated Reasoning)
• EAPLS (European Association for Programming Languages and Systems)
• EATCS (European Association for Theoretical Computer Science)
• GI (Gesellschaft für Informatik):
  • Fachgruppe 0.1.5 - Automaten und Formale Sprachen
  • Fachgruppe 0.1.6 - Logik in der Informatik
  • Fachgruppe 1.2.1 - Deduktionssysteme
• IFIP Working Group 1.6 - Term Rewriting
• KGS (The Kurt Gödel Society)

Teaching:

Home Page B.G. | AG 185/2 | Institut 185 | Server Home Page | Faculty of Informatics | TU Wien

Bernhard Gramlich