Some Professional Activities (Bernhard Gramlich)

(incomplete list, irregularly updated)


Research:

Conferences, workshops, schools and editorial activities I am/was involved in (reverse chronological order, since 1997):
  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]
Conference and workshop series: Current / recent projects: Scientific associations (memberships):

Teaching:

See here.


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


Valid HTML 4.01! Viewable With Any Browser Bernhard Gramlich