Institut für Computersprachen AG Theoretische Informatik und Logik (Theory and Logic Group)

Editorial activities where group members are / have been involved

Proceedings of Conferences and Workshops, Special Issues of Journals

• NCMA'09 Workshop on Non-Classical Models for Automata and Applications (NCMA). August 31st - September 1st, 2009, Wroclaw, Poland. Proceedings. Henning Bordihn, Rudolf Freund, Markus Holzer, Martin Kutrib, and Friedrich Otto (eds.) (co-ed.)

• CBM'08 Computing with Biomolecules. International Workshop on Computing with Biomolecules. August 27th, 2008, Wien, Austria, Proceedings. OCG Books, Band 244, OCG, 2008. Erzsébet Csuhaj-Varjú, Rudolf Freund, Marion Oswald, and Kai Salomaa (eds.) (co-ed.)
• UC'08 Unconventional Computation. 7th International Conference, UC 2008, Vienna, Austria, August 25-28, 2008, Proceedings. LNCS 5204, Springer 2008. C. S. Calude, J. F. Costa, R. Freund, M. Oswald, G. Rozenberg (eds.) (co-ed.)

• eAROB'07 Proc. of the First European Workshop on Artificial Life and Robotics, Vienna University of Technology, July 2007. M. Oswald, J. Casti, M. Sugisaka (eds.) (co-ed.)

• THEORIETAG'06 16.Theorietag Automaten und Formale Sprachen, Proceedings, September 2006 (ed.)
• Membrane Computing 6th International Workshop, WMC'05, Vienna, Austria, July 2005, Revised Selected and Invited Papers, LNCS 3850, Springer, 2006 (co-ed.)
• Studia Logica Special Issue on Cut-elimination in Classical and Nonclassical Logic, Volume 82, Number 1, pp. 3-176, Springer Netherlands, February 2006 (ed.)

• FroCoS'05 5th International Workshop on Frontiers of Combining Systems, Proceedings, Springer, LNAI 3717, online version (ed.)
• WMC'05 6th International Workshop on Membrane Computing, Pre-Proceedings (co-ed.)
• Journal of Symbolic Computation Special Issue on Reduction Strategies in Rewriting and Programming, Volume 40, Issue 1, pp. 745-903, Elsevier Science Publishers, July 2005 (co-ed.)

• MolCoNet'03 Proc. 2nd Annual Meeting of Project MolCoNet - A Network on Molecular Computing, Vienna, Austria, November 2003 (ed.)
• WRS'03 3rd International Workshop on Reduction Strategies in Rewriting and Programming, Final Proceedings, ENTCS Volume 86, Issue 4 (co-ed.)
• WRS'03 3rd International Workshop on Reduction Strategies in Rewriting and Programming, Preliminary Proceedings, Technical Report DSIC--II/14/03, UPV, Valencia, Spain, June 2003 (co-ed.)

• TABLEAUX'02 Automated Reasoning with Analytic Tableaux and Related Methods, LNAI 2381 (co-ed.),
  TABLEAUX'02 Position Papers (co-ed.)
• WRS'02 2nd International Workshop on Reduction Strategies in Rewriting and Programming, Final Proceedings, ENTCS Volume 70, Issue 6 (co-ed.)
• WRS'02 2nd International Workshop on Reduction Strategies in Rewriting and Programming, Preliminary Proceedings Technical Report E1852-2002-02, TU Wien, Austria, Verlag Berger, July 2002 (co-ed.)

• IJCAR'01 International Joint Conference on Automated Reasoning, LNAI 2083 (co-ed.)
• WRS'01 1st International Workshop on Reduction Strategies in Rewriting and Programming, Final Proceedings, ENTCS Volume 57 (co-ed.)
• STRATEGIES'01 4th International Workshop on Strategies in Automated Deduction, Proceedings (co-ed.)
• WRS'01 International Workshop on Reduction Strategies in Rewriting and Programming, Proceedings (co-ed.)

• THEORIETAG'00 Theorietag 2000 mit Workshop "New Computing Paradigms: Molecular Computing and Quantum Computing" (ed.), Proceedings
• GS'00 International Workshop Grammar Systems 2000 (co-ed.), Proceedings (table of contents)
• MODELS'00 CADE-17 Workshop: Model Computation - Principles, Algorithms, Applications (co-ed.), Proceedings

• STRATEGIES'99 FLoC'99 Workshop on Strategies in Automated Deduction (co-ed.), Proceedings

• FTP'98 2nd International Workshop on First order Theorem Proving (co-ed.), Proceedings and Abstracts, LNCS 1761

• STRATEGIES'98 CADE-15 Workshop on Strategies in Automated Deduction (co-ed.), Proceedings
• KGC'97 5th International Kurt Gödel Colloquium (co-ed.), LNCS 1289, 2000
• STRATEGIES'97 CADE-14 Workshop on Strategies in Automated Deduction (co-ed.), Proceedings

Journals

• Bulletin of the Section of Logic (BSL), Department of Logic, University of Lodz (ed.)
• Grammars, Kluwer Academic Publishers (ed.)
• Studia Logica - An International Journal for Symbolic Logic, Kluwer Academic Publishers (ed.)