Some Professional Activities (Bernhard Gramlich)

Research:

1. IJCAR 2010 - 5th International Joint Conference on Automated Reasoning,
   Edinburgh, Scotland, UK, July 16-19, 2010 (part of FLoC'10)   [PC member]
2. RTA 2010 - 21st International Conference on Rewriting Techniques and Applications,
   Edinburgh, Scotland, UK, July 11-13, 2010 (part of FLoC'10)   [PC member]
3. IWS 2010 - 1st International Workshop on Strategies in Rewriting, Proving, and Programming
   Edinburgh, Scotland, UK, July 9, 2010 (part of FLoC'10)   [PC member]
4. JSC 2010 - 5th Junior Scientist Conference,
   Vienna, Austria, April 7-9, 2010   [member of Scientific Committee]
5. FroCoS - International Symposium on Frontiers of Combining Systems   [SC member]
6. IJCAR - International Joint Conference on Automated Reasoning   [SC member]
   
   
7. FroCoS 2009 - 7th International Symposium on Frontiers of Combining System,
   Trento, Italy, September 16-18, 2009   [PC member]
8. WRS 2009 - 9th International Workshop on Reduction Strategies in Rewriting and Programming, part of RDP 2009,
   Brasília, Brazil, June 18, 2009   [PC member]
9. ISR 2009 - 4th International School on Rewriting
   Brasília, Brazil, June 22-26, 2009   [Invited Lecturer]
10. FroCoS - International Symposium on Frontiers of Combining Systems   [SC member]
11. IJCAR - International Joint Conference on Automated Reasoning   [SC member]
12. RTA - International Conference on Rewriting Techniques and Applications   [SC member]
    
    
13. LSFA 2008 - 3rd Workshop on Logical and Semantic Frameworks, with Applications, satellite event of SBMF 2008,
    Salvador, Bahia, Brazil, August 26, 2008   [PC member]
14. IJCAR 2008 - 4th International Joint Conference on Automated Reasoning
    Sydney, Australia, August 10-15, 2008   [PC member]
15. AMAST 2008 - 12th International Conference on Algebraic Methodology and Software Technology,
    Urbana, Illinois, USA, July 28-31, 2008   [PC member]
    
16. WRLA 2008 - 7th International Workshop on Rewriting Logic and its Applications, satellite event of ETAPS 2008,
    Budapest, Hungary, March 29-30, 2008   [PC member]
17. FroCoS - International Symposium on Frontiers of Combining Systems   [SC member]
18. IJCAR - International Joint Conference on Automated Reasoning   [SC member]
19. RTA - International Conference on Rewriting Techniques and Applications   [SC member]
    
    
20. FroCoS 2007 - 6th International Symposium on Frontiers of Combining Systems,
    Liverpool, UK, September 10-12, 2007   [PC member]
21. 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]
22. DISPROVING 2007 - 4th International Workshop on Disproving: Non-Theorems, Non-Validity, Non-Provability, part of CADE 2007,
    Bremen, Germany, July 16, 2007   [PC member]
23. WRS 2007 - 7th International Workshop on Reduction Strategies in Rewriting and Programming, part of RDP 2007,
    Paris, France, June 25, 2007   [PC member]
24. TERMGRAPH 2007 - 4th International Workshop on Computing with Terms and Graphs, a satellite event of ETAPS 2007,
    Braga, Portugal, March 31, 2007   [PC member]
25. FroCoS - International Symposium on Frontiers of Combining Systems   [SC member]
26. IJCAR - International Joint Conference on Automated Reasoning   [SC member]
27. RTA - International Conference on Rewriting Techniques and Applications   [SC member]
    
    
28. 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]
29. 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]
30. TERMGRAPH 2006 - 3rd International Workshop on Term Graph Rewriting, a satellite event of ETAPS 2006,
    Vienna, Austria, April 1, 2006   [OC member]
31. FroCoS - International Symposium on Frontiers of Combining Systems   [SC member]
32. RTA - International Conference on Rewriting Techniques and Applications   [SC member]
    
    
33. FroCoS 2005 - 5th International Workshop on Frontiers of Combining Systems,
    Vienna, Austria, September 19-21, 2005   [PC and OC chair]
34. 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]
35. FTP 2005 - 5th International Workshop on First-Order Theorem Proving,
    Koblenz, Germany, September 14-17, 2005   [PC member]
36. SEFM 2005 - 3rd IEEE International Conference on Software Engineering and Formal Methods,
    Koblenz, Germany, September 7-9, 2005   [PC member]
37. DISPROVING 2005 - CADE-20 Workshop on Disproving - Non-Theorems, Non-Validity, Non-Provability,
    Tallinn, Estonia, July 22, 2005   [PC member]
38. WRS 2005 - 5th International Workshop on Reduction Strategies in Rewriting and Programming,
    Nara, Japan, April 22, 2005 (part of RDP 2005)   [PC member]
39. RTA 2005 - 16th International Conference on Rewriting Techniques and Applications,
    Nara, Japan, April 19-21, 2005 (part of RDP 2005)   [PC member]
40. 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]
41. FroCoS - International Symposium on Frontiers of Combining Systems   [SC member]
    
    
42. SEFM 2004 - 2nd IEEE International Conf. on Software Engineering and Formal Methods,
    Beijing, China, September 26-30, 2004   [PC member]
43. STRATEGIES 2004 - 5th International Workshop on Strategies in Automated Deduction,
    Cork, Ireland, July 4, 2004 (part of IJCAR 2004)   [Invited Talk / slides (pdf.gz)]
44. DISPROVING 2004 - Workshop on Disproving - Non-Theorems, Non-Validity, Non-Provability,
    Cork, Ireland, July 4, 2004 (part of IJCAR 2004)   [PC member]
45. IJCAR 2004 - 2nd International Joint Conference on Automated Reasoning,
    Cork, Ireland, July 4-8, 2004   [PC member]
46. 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]
47. FroCoS - International Symposium on Frontiers of Combining Systems   [SC member]
    
    
48. Electronic Notes in Theoretical Computer Science (ENTCS), Volume 86, Issue 4
    - Final Proc. WRS 2003   [Co-Editor]
49. SEFM 2003 - International Conf. on Software Engineering and Formal Methods,
    Brisbane, Australia, September 22-27, 2003   [PC member]
50. CADE 2003 - 19th International Conference on Automated Deduction (CADE-19),
    Miami Beach, USA, July 28 - August 2, 2003   [PC member]
51. 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]
52. 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]
    
    
53. Electronic Notes in Theoretical Computer Science (ENTCS), Volume 70, Issue 6
    - Final Proc. WRS 2002   [Co-Editor]
54. 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]
55. 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]
56. FroCoS 2002 - 4th International Workshop on Frontiers of Combining Systems,
    Santa Margherita Ligure (near Genova), Italy, April 8-10, 2002   [PC member]
    
    
57. Electronic Notes in Theoretical Computer Science (ENTCS), Volume 57
    - Final Proc. WRS 2001   [Co-Editor]
58. 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]
59. LC 2001 - Logic Colloquium 2001: The 2001 ASL European Summer Meeting,
    Vienna, Austria, August 6-11, 2001   [OC member]
60. 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]
61. 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]
    
    
62. FTP 2000 - 3rd International Workshop on First-Order Theorem Proving,
    St. Andrews, Scotland, July 3-5, 2000   [Invited Panelist]
    
63. FroCoS 2000 - 3rd International Workshop on Frontiers of Combining Systems,
    Nancy, France, March 22-24, 2000   [PC member]
64. 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]
    
    
65. 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]
66. 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]
67. INDUCTION 1999 - FLoC'99 Workshop on Automation of Proof by Mathematical Induction   [Invited Panelist]
    
    
68. STRATEGIES 1998 - CADE-15 Workshop on Strategies in Automated Deduction,
    Lindau, Germany, July 5, 1998   [Co-organizer]
    
    
69. 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 since October 2007]
• RTA - International Conference on Rewriting Techniques and Applications   [SC member August 2006 - July 2009]
• FroCoS - International Symposium on Frontiers of Combining Systems   [SC member since August 2004]
• 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