TU Home
This publication list has been generated automatically from the publication data of the Faculty of Informatics. Please invoke the page "Publications of the Faculty" directly for more complex searches and queries, or use the global search function of the Publication Database of the Vienna University of Technology!


Publication Database Home  

Publication list for members of
E192 - Institute of Logic and Computation
E192-05 Theory and Logic
as authors or essentially involved persons

1182 records (2001 - 2021)

The complete list of publications of the Faculty of Informatics is available from the publication database beginning with the publication year 2002. The database may but need not necessarily contain publications dated earlier than 2002.


Books and Book Editorships


M. Baaz, A. Leitsch:
"Methods of cut-elimination";
Springer Verlag, 2011, ISBN: 978-94-007-0319-3; 287 pages.

A. Beckmann, J Johannsen:
"Bounded Arithmetic and Resolution-Based Proof Systems";
Kurt Gödel Society, Wien, 2004, ISBN: 3-901546-02-2; 130 pages.

H. Bordihn, R. Freund et al.:
"Second Workshop on Non-Classical Models for Automata and Applications (NCMA 2010)";
in series "Books@ocg.at", series editor: G Chroust, G. Kotis et al.; Österreichische Computer Gesellschaft, 2010, ISBN: 978-3-85403-263-2.

R. Caferra, A. Leitsch, N. Peltier:
"Automated Model Building";
Kluwer Academic Publishers, Dordrecht, The Netherlands, 2004, ISBN: 1-4020-2652-8; 341 pages.

C. Calude, J.F. Costa, R. Freund, M. Oswald, G. Rozenberg (ed.):
"Unconventional Computing - 7th International Conference, UC 2008 Vienna, Austria, August 25-28, 2008. Proceedings";
Springer LNCS, Berlin / Heidelberg, 2008, ISBN: 978-3-540-85193-6; 259 pages.

P. Cintula, C. Fermüller, L. Godo, P. Hajek (ed.):
"Understanding Vagueness. Logical, Philosophical and Linguistic Perspectives";
College Publications, London, 2011, ISBN: 978-1-84890-037-0.

P. Cintula, C. Fermüller, C. Noguera:
"Handbook of Mathematical Fuzzy Logic, Volume 3";
in series "Mathematical Logic and Foundations", series editor: S. Artemov et al.; College Publications, 2015, ISBN: 978-1-84890-193-3.

E. Csuhaj-Varjú, R. Freund, M. Oswald, K. Salomaa (ed.):
"International Workshop on Computing with Biomolecules";
Österreichische Computer Gesellschaft, Wien, 2008, ISBN: 978-3-85403-244-1; 101 pages.

U. Egly, C. Fermüller (ed.):
"Proceedings of the Eleventh Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX-02)";
Springer, 2002, ISBN: 3-540-43929-3; 340 pages.

C. Fermüller, A. Voronkov:
"Logic for Programming, Artificial Intelligence, and Reasoning, Proceedings LPAR-17";
in series "LNCS", series editor: G. Goos, J. Hartmanis, J. van Leeuwen; Springer, Heidelberg, 2010, ISBN: 978-3-642-16241-1, 656 pages.

R. Freund:
"Proceedings of the Tenth Workshop on Non-Classical Models of Automata and Applications, (NCMA)";
in series "Books@ocg.at", series editor: G Chroust et al.; OCG (Österreichische Computer Gesellschaft), Wien, 2018, ISBN: 978-3-903035-21-8, 215 pages.

R. Freund, H. Bordihn et al. (ed.):
"Eighth Workshop on Non-Classical Models of Automata and Applications (NCMA 2016)";
OCG (Österreichische Computer Gesellschaft), Wien, 2016, ISBN: 978-3-903035-10-2; 300 pages.

R. Freund et al.:
"Ninth Workshop on Non-Classical Models of Automata and Applications, {NCMA} 2017, Prague, Czech Republic";
in series "Workshop on Non-Classical Models of Automata and Applications", series editor: R. Freund; issued by: österreichische Computer Ges; Österreichische Computer Gesellschaft, 2017, ISBN: 978-3-903035-18-8.

R. Freund et al. (ed.):
"Seventh Workshop on Non-Classical Models of Automata and Applications";
OCG (Österreichische Computer Gesellschaft), Wien, 2015, ISBN: 978-3-903035-07-2; 206 pages.

R. Freund et al.:
"Tenth Workshop on Non-Classical Models of Automata and Applications - Short papers";
in series "Workshop on Non-Classical Models of Automata and Applications - Short papers", series editor: R. Freund et al.; TU Wien, Wien, 2018, 53 pages.

R. Freund, M. Gheorghe et al.:
"International Journal of Foundations of Comuter Science";
in series "Special Issue: Natural Computing: Theory and Applications", series editor: O. Ibarra; World Scientific Publishing Co. Pte. Ltd., New Jersey, 2011.

R. Freund, M Holzer et al. (ed.):
"Eleventh Workshop on Non-Classical Models of Automata and Applications, NCMA 2019, Valencia, Spain, July 2-3, 2019";
OCG (Österreichische Computer Gesellschaft), Wien, 2019, ISBN: 978-3-903035-25-6; 204 pages.

R. Freund, M Holzer et al. (ed.):
"Third Workshop on Non-Classical Models for Automata and Applications - NCMA 2011";
Austrian Computer Society, 2011, ISBN: 978-3-85403-282-3.

R. Freund, S. Ivanov (ed.):
"Proceedings of the Workshop on Membrane Computing at UCNC 2018.";
TU Wien, Wien, 2018, 71 pages.

R. Freund, M. Oswald (ed.):
"Proceedings 16.Theorietag Automaten und Formale Sprachen";
TU Wien, Wien, 2006.

R. Freund, Gh. Paun, G. Rozenberg, A. Salomaa (ed.):
"Membrane Computing · 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers";
Springer LNCS 3850, Berlin, 2006, ISBN: 978-3-540-30948-2; 371 pages.

B. Gramlich (ed.):
"Frontiers of Combining Systems, 5th International Workshop, FroCoS 2005, Vienna, Austria, Septemebr 2005, Proceedings, LNAI 3717";
Springer-Verlag, Berlin Heidelberg New York, 2005, ISBN: 3-540-29051-6; 321 pages.

B. Gramlich, S. Lucas (ed.):
"2nd International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2002) - Final Proceedings";
Elsevier Science Publishers, 2002, ISBN: 0444513132.

B. Gramlich, S. Lucas (ed.):
"3rd International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2003) - Final Proceedings";
Elsevier Science Publishers, 2003, ISSN: 1571-0661.

B. Gramlich, S. Lucas (ed.):
"Reduction Strategies in Rewriting and Programming, Proceedings of WRS'03";
Universidad Politecnica de Valencia, 2003, ISBN: 84-96221-03-2.

B. Gramlich, S. Lucas (ed.):
"Reduction Strategies in Rewriting and Programming, Special Issue of Journal of Symbolic Computation, Volume 40, 2005, pp. 745-903";
Elsevier, Elsevier, 2005, ISSN: 0747-7171; 169 pages.

B. Gramlich, D. Miller, U. Sattler:
"Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings.";
in series "Lecture Notes in Artifical Intelligence (Subseries of: Lecture Notes in Computer Science)", series editor: R. Goebel, Y. Tanaka, W. Wahlster; issued by: Springer; Springer-Verlag, Berlin Heidelberg, 2012, ISBN: 978-3-642-31364-6, 568 pages.

A. Kucera, I. Potapov, A. Ciabattoni, St. Szeider, R. Freivalds (ed.):
"MFCS & CSL 2010 Satellite Workshops: Selected Papers, Fundamenta Informaticae 123";
IOS Press, 2013, ISSN: 0169-2968.

R. Kuznets, G Metcalfe (ed.):
"GSB 2014 Electronic Proceedings";
Workshop "Gentzen Systems and Beyond, 2014.

U. Pofahl, R. Viertl:
"Exakte Zahlen genügen nicht: Mathematik und Ungewissheit";
in series "Schriftenreihe der Technischen Universität Wien", series editor: R. Viertl, D. Bökemann, K. Bretterbauer, U. Gamer, H. Kaiser, H. Kirchmayr, A. Leitsch, G. Magerl, H.A. Mang, M. Wehdorn, F. Wurst; TU WIEN, 2006, 89 pages.

A. Voronkov, G. Sutcliffe, M. Baaz, C. Fermüller:
"LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.";
in series "EasyChair Proceedings in Computing", series editor: A. Voronkov, G. Sutcliffe, M. Baaz, C. Fermüller; EasyChair, 2013, ISSN: 2040-557x, 63 pages.

B. Woltzenlogel-Paleo et al.:
"All about Proofs, Proofs for All";
in series "Mathematical Logic and Foundations", series editor: B. Woltzenlogel-Paleo et al.; College Publications, 2015, ISBN: 978-1-84890-166-7.


Publications in Scientific Journals


J. Alama:
"The simplest axiom system for plane hyperbolic geometry revisited, again";
Studia Logica, 102 (2014), 3; 609 - 615.

J. Alama, T. Heskes, D. Kühlwein, E. Tsivtsivadze, J. Urban:
"Premise selection for mathematics by corpus analysis and kernel methods";
Journal of Automated Reasoning, 52 (2014), 2; 191 - 213.

A. Alhazov, R. Freund, A. Leporati, M. Oswald, C. Zandron:
"(Tissue) P Systems with Unit Rules and Energy Assigned to Membranes";
Fundamenta Informaticae, 74 (2006), 4; 391 - 408.

A. Alhazov, R. Freund, M. Oswald:
"Cell/symbol complexity of tissue P systems with symport/antiport rules";
International Journal of Foundations of Computer Science, 17 (2006), 1; 3 - 25.

A. Alhazov, R. Freund, M. Oswald, S. Verlan:
"Partial Halting and Minimal Parallelism Based on Arbitrary Rule Partitions.";
Fundamenta Informaticae, 91 (2009), 1; 17 - 34.

A. Alhazov, R. Freund, A. Riscos-Núñez:
"Membrane division, restricted membrane creation and object complexity in P systems";
International Journal of Computer Mathematics, 83 (2006), 7; 529 - 548.

M. Alpuente, S. Escobar, B. Gramlich, S. Lucas:
"On-Demand Strategy Annotations Revisited: An Improved On-Demand Evaluation Strategy";
Theoretical Computer Science, 411 (2010), 2; 504 - 541.

M. Alpuente, B. Gramlich, A. Villanueva:
"A Framework for Timed Concurrent Constraint Programming with External Functions";
Electronic Notes in Theoretical Computer Science (ENTCS), 188 (2007), 143 - 155.

S. Artemov, R. Kuznets:
"Logical omniscience as infeasibility";
Annals of Pure and Applied Logic, 165 (2014), 1; 6 - 25.

F. Aschieri, A. Ciabattoni, F. Genco:
"Disjunctive Axioms and Concurrent lambda-Calculi: a Curry-Howard Approach";
CoRR - Computing Research Repository, abs/1802.00961 (2018), abs/1802.00961.

F. Aschieri, F. Genco:
"Par means parallel: multiplicative linear logic proofs as concurrent functional programs";
Proceedings of the ACM on Programming Languages, 4 (2020), 1 - 18.

F. Aschieri, S. Hetzl, D. Weller:
"Expansion trees with cut";
Mathematical Structures In Computer Science, 29 (2019), 8; 1009 - 1029.

F. Aschieri, D. Weller et al.:
"Expansion trees with cut";
Mathematical Structures In Computer Science, 29 (2019), 8; 1009 - 1029.

M. Baaz, A. Ciabattoni:
"Proof theory of witnessed Gödel logic: A negative result";
Journal of Logic and Computation, 23 (2013), 5; 1 - 14.

M. Baaz, A. Ciabattoni:
"Proof theory of witnesses Gödel logic: A negative result";
Journal of Logic and Computation, 26 (2016), 1; 51 - 64.

M. Baaz, A. Ciabattoni, C. Fermüller:
"Hypersequent Calculi for Gödel Logics - a Survey";
Journal of Logic and Computation, 13 (2003), 6; 835 - 861.

M. Baaz, A. Ciabattoni, C. Fermüller:
"Monadic fragments of Gödel logics: decidability and undecidability";
Lecture Notes in Computer Science, 4790 (2007), 77 - 91.

M. Baaz, S. Hetzl:
"On the non-confluence of cut-elimination";
Journal of Symbolic Logic, 76 (2011), 1; 313 - 340.

M. Baaz, S. Hetzl, A. Leitsch, Clemens Richter, H. Spohr:
"CERES: An analysis of Fürstenberg's proof of the infinity of primes";
Theoretical Computer Science, 403 (2008), 2-3; 160 - 175.

M. Baaz, S. Hetzl, A. Leitsch, Clemens Richter, H. Spohr:
"Proof transformation by CERES";
Lecture Notes in Computer Science, 4108 (2006), 82 - 93.

M. Baaz, A. Leitsch:
"Cut-Elimination: Syntax and Semantics";
Studia Logica, 102 (2014), 6; 1217 - 1244.

M. Baaz, A. Leitsch:
"Towards a clausal analysis of cut-elimination";
Journal of Symbolic Computation, 41 (2006), 381 - 410.

M. Baaz, A. Lolic, A. Leitsch:
"An Abstract Form of the First Expsilon Theorem";
Journal of Logic and Computation, 30 (2020), 8; 1447 - 1468.

P. Baldi:
"A note on standard completeness for some extensions of uninorm logic";
Soft Computing, 18 (2014), 8; 1463 - 1470.

P. Baldi:
"A note on standard completeness for some extensions of uninorm logic.";
Soft Computing, 18 (2014), 8; 1463 - 1470.

P. Baldi, A. Ciabattoni:
"Uniform proofs of standard completeness for extensions of first-order MTL";
Theoretical Computer Science, 603 (2015), 43 - 57.

P. Baldi, C. Fermüller, M. Hofer:
"On fuzzification mechanisms for unary quantification";
Fuzzy Sets and Systems, 388 (2020), 90 - 123.

P. Baldi, K. Terui:
"Densification of FL chains via residuated frames";
Algebra Universalis, 75 (2016), 2; 169 - 195.

A. Beckmann:
"Dynamic ordinal analysis";
Archive for Mathematical Logic, 42 (2003), 303 - 334.

A. Beckmann:
"Preservation theorems and restricted consistency statements in bounded arithmetic";
Annals of Pure and Applied Logic, 126 (2004), 255 - 280.

A. Beckmann, S Buss, C Pollett:
"Ordinal Notations and Well-Orderings in Bounded Arithmetic";
Annals of Pure and Applied Logic, 120 (2003), 197 - 222.

A. Beckmann, J Johannsen:
"An unexpected separation result in linearly bounded arithmetic";
Mathematical Logic Quarterly, 51 (2005), 2; 191 - 200.

L. Behounek, P. Cintula, C. Fermüller, T. Kroupa:
"Representing strategic games and their equilibria in many-valued logics";
Logic Journal of the IGPL, 24 (2016), 3; 238 - 267.

M. Behrisch, M. Hermann, S. Mengel, G. Salzer:
"Minimal Distance of Propositional Models";
Theory of Computing Systems, 63 (2019), 6; 1131 - 1184.

A. Binder, R. Freund, M. Oswald:
"Modelling Artificial Life by Attributed Eco-array Grammars";
Artificial Life and Robotics, 9 (2005), 1; 63 - 66.

S. Bucheli, R. Kuznets, T. Studer:
"Realizing public announcements by justifications";
Journal of Computer and System Sciences, 80 (2014), 6; 1046 - 1066.

L. Cabrer et al.:
"A general framework for product representations: bilattices and beyond";
Logic Journal of the IGPL, 23 (2015), 4; 816 - 841.

L. Cabrer et al.:
"Classifying $\mathsf{GL}(n,\mathbb Z)$-orbits of points and rational subspaces.";
Discrete And Continuous Dynamical Systems, 36 (2016), 4723 - 4738.

L. Cabrer et al.:
"Classifying orbits of the affine group over the integers";
Ergodic Theory and Dynamical Systems, 37 (2015), 1 pages.

L. Cabrer et al.:
"Idempotent Endomorphisms of free MV-algebras and unital $\ell$-groups";
Journal of Pure and Applied Algebra, 221 (2016), 908 - 934.

L. Cabrer et al.:
"MV-algebras, infinite dimensional polyhedra, and natural dualities";
Archive for Mathematical Logic, 1603.01005 (2016), 1603.01005.

L. Cabrer et al.:
"Natural dualities through product representations: bilattices and beyond";
Studia Logica, 104 (2016), 3; 567 - 592.

L. Cabrer et al.:
"Product representation for default bilattices: an application of natural duality theory";
Journal of Pure and Applied Algebra, 219 (2015), 2962 - 2988.

L. Cabrer, G Metcalfe:
"Admissibility via natural dualities.";
Journal of Pure and Applied Algebra, 219 (2015), 4229 - 4253.

L. Cabrer, G Metcalfe:
"Exact unification and admissibility.";
Logical Methods in Computer Science, 11 (2015), 1 - 15.

L. Cabrer, D. Mundici:
"Severi-Bouligand tangents, Frenet frames, Riesz spaces";
Advances in Applied Mathematics, 64 (2015), 1 - 20.

M. Cavaliere, R. Freund, M. Oswald, D. Sburlan:
"Multiset random context grammars, checkers, and transducers";
Theoretical Computer Science, 372 (2007), 136 - 151.

D. Cerna, A. Leitsch, A. Lolic:
"Schematic Refutations of Formula Schemata";
ArXiv, 1902.08055 (2019).

D. Cerna, A. Leitsch, A. Lolic:
"Schematic Refutations of Formula Schemata";
Journal of Automated Reasoning, online (2020).

V. Chepoi, N. Creignou, M. Hermann, G. Salzer:
"The Helly Property and Satisfiability of Boolean Formulas Defined on Set Families";
European Journal of Combinatorics, 31 (2010), 2; 502 - 516.

K. Chvalovský, P. Cintula:
"Note on deduction theorems in contraction-free logics";
Mathematical Logic Quarterly, 58 (2012), 3; 236 - 243.

A. Ciabattoni, M. Baaz:
"Proof theory of witnessed G{"{o}}del logic: {A} negative result";
Journal of Logic and Computation, 26 (2016), 1; 51 - 64.

A. Ciabattoni, M. Baaz, C. Fermüller:
"Theorem proving for prenex Gödel logic with Delta: checkingvalidity and unsatisfiability";
Logical Methods in Computer Science, 8 (2012), 1; 1 - 20.

A. Ciabattoni, M. Baaz, D.M. Gabbay et al.:
"PREFACE OF A SPECIAL ISSUE OF THE J. of LOGIC AND COMPUTATION";
Journal of Logic and Computation, 27 (2017), 2.

A. Ciabattoni, M. Baaz, D.M. Gabbay, S. Hetzl, D. Weller:
"Preface";
Journal of Logic and Computation, 1 (2014).

A. Ciabattoni, M. Baaz, N Preining:
"First-order satisfiability in Gödel logics: an NP-complete fragment";
Theoretical Computer Science, 414 (2011), 6612 - 6623.

A. Ciabattoni, N. Galatos et al.:
"Algebraic proof theory: Hypersequents and hypercompletions";
Annals of Pure and Applied Logic, 168 (2017), 3; 693 - 737.

A. Ciabattoni, N. Galatos, K. Terui:
"Algebraic proof theory for substructural logics: Cut elimination and completions";
Annals of Pure and Applied Logic, 163 (2012), 266 - 290.

A. Ciabattoni, N. Galatos, K. Terui:
"MacNeille Comletions of FL-algebras";
Algebra Universalis, 66 (2011), 405 - 420.

A. Ciabattoni, F. Genco:
"Hypersequents and Systems of Rules: Embeddings and Applications.";
ACM Transactions on Computational Logic, 19 (2018), 2; 1 - 27.

A. Ciabattoni, F. Genco, E. Freschi:
"Understanding prescriptive texts: rules and logic elaborated by Mīmāṃsā school";
Online Journal of World Philosophies, 2 (2017), 2; 19 pages.

A. Ciabattoni, F. Genco, R. Ramanayake:
"Substructural logics: semantics, proof theory, and applications. Report on the second SYSMICS workshop";
ACM SIGLOG News, 5 (2018), 2; 58 - 60.

A. Ciabattoni, A. Leitsch:
"Towards an algorithmic construction of cut-elimination procedures";
Mathematical Structures In Computer Science, 18 (2008), 1; 81 - 105.

A. Ciabattoni, B. Lellmann, K. van Berkel:
"Deontic Reasoning: From Ancient Texts to Artificial Intelligence. Workshop report";
ACM SIGLOG News, 5 (2018), 4; 48 - 51.

A. Ciabattoni, G Metcalfe, F. Montagna:
"Algebaic and proof-theoretic characterizations of truth stressers for MTL and its extensions";
Fuzzy Sets and Systems, 161 (3) (2010), 369 - 389.

A. Ciabattoni, F. Montagna:
"Proof theory for locally finite many-valued logics: Semi-projective logics";
Theoretical Computer Science, 480 (2013), 26 - 42.

A. Ciabattoni, F. Montagna et al.:
"Proof Search and Co-NP Completeness for Many-Valued Logics";
Fuzzy Sets and Systems, 5 (2015), 05; 1 - 20.

A. Ciabattoni, F. Montagna et al.:
"Proof search and Co-NP completeness for many-valued logics";
Fuzzy Sets and Systems, 296 (2016), 130 - 149.

A. Ciabattoni, D. Picado Muino, T Vetterlein, M. El Zekey:
"Formal approaches to rule-based systems in medicine: The case of CADIAG-2";
International Journal of Approximate Reasoning, 54 (2013), 1; 132 - 148.

A. Ciabattoni, R. Ramanayake:
"Hypersequent and Display Calculi - a Unified Perspective";
Studia Logica, 102 (2014), 6; 1245 - 1294.

A. Ciabattoni, L. Spendier et al.:
"Taming Paraconsistent (and Other) Logics: An Algorithmic Approach";
Journal of the ACM, 16 (2014), 1.

P. Cintula, E. Klement, L. Stout:
"Editorial";
Fuzzy Sets and Systems, 197 (2012), 1 - 2.

E Corsi, C. Fermüller:
"Connecting fuzzy logic and argumentation frames via logical attack principles";
Soft Computing, (online first) (2018), 1 - 16.

E Corsi, C. Fermüller:
"Connecting fuzzy logic and argumentation frames via logical attack principles";
Soft Computing, 23 (2019), 7; 2255 - 2270.

N. Creignou, M. Hermann, A. Krokhin, G. Salzer:
"Complexity of Clausal Constraints Over Chains";
Theory of Computing Systems, 42 (2008), 2; 239 - 255.

T. Dalmonte, B. Lellmann et al.:
"Hypersequent calculi for non-normal modal and deontic logics: Countermodels and optimal complexity";
CoRR - Computing Research Repository, 2006.05436 (2020), 2006.05436.

M. Di Angelo, G. Salzer:
"Identification of Token Contracts on Ethereum: Standard Compliance and Beyond";
International Journal of Data Science and Analytics (JDSA), 2021 (2021), online first; 20.

G. Ebner, S. Hetzl, A. Leitsch, G. Reis, D. Weller:
"On the Generation of Quantified Lemmas";
Journal of Automated Reasoning, 63 (2019), 1; 95 - 126.

G. Ebner, S. Hetzl, G. Reis, M. Riener, S. Wolfsteiner, S. Zivota:
"System Description: GAPT 2.0";
Lecture Notes in Computer Science, 9706 (2016), 293 - 301.

A. Falkner, I. Feinerer, G. Salzer, G. Schenner:
"Computing Product Configurations via UML and Integer Linear Programming";
International Journal of Mass Customisation (invited), 3 (2010), 4; 351 - 367.

I. Feinerer, G. Salzer:
"A Comparison of Tools for Teaching Formal Software Verification";
Formal Aspects of Computing, 21 (2009), 3; 293 - 301.

I. Feinerer, G. Salzer:
"Numeric semantics of class diagrams with multiplicity and uniqueness constraints";
Software and Systems Modeling, 2012 (2012), 1 pages.

C. Fermüller:
"Dialoque Games for Many-Valued Logics - an Overwiew";
Studia Logica, 90 (2008), 43 - 68.

C. Fermüller:
"On matrices, Nmatrices and games";
Journal of Logic and Computation, 1 (2013), 1 - 23.

C. Fermüller:
"On matrices, Nmatrices and games";
Journal of Logic and Computation, 26 (2016), 1; 189 - 211.

C. Fermüller:
"Review of "Fuzzy Logic and Mathematics: A Historical Perspective"";
Notre Dame Philosophical Reviews (invited), (online) (2018).

C. Fermüller:
"Review: Vagueness and Degrees of Truth";
Australasian Journal of Logic, 9 (2010), 1 - 9.

C. Fermüller:
"Semantic Games with Backtracking for T-norm Based Fuzzy Logics";
Journal of Multiple-Valued Logic and Soft Computing, 26 (2016), 1-2; 157 - 173.

C. Fermüller:
"Theories of Vagueness Versus Fuzzy Logic: Can Logicians Learn from Philosophers?";
Neural Network World (invited), 13 (2003), 5; 455 - 466.

C. Fermüller, G Metcalfe:
"Giles's Game and the Proof Theory of Lukasiewicz Logic";
Studia Logica, 92 (2009), 27 - 81.

C. Fermüller, R. Pichler:
"Model Representation over Finite and Infinite Signatures";
Journal of Logic and Computation, 17 (2007), 3; 453 - 477.

C. Fermüller, Ch Roschger:
"From Games to Truth Functions: A Generalization of Giles's Game";
Studia Logica, 102 (2014), 2; 389 - 410.

C. Fermüller, Ch Roschger:
"Randomized game semantics for semi-fuzzy quantifiers";
Logic Journal of the IGPL, 22 (2014), 3; 413 - 439.

H. Fernau, R. Freund, M Holzer:
"Representations of Recursively Enumerable Array Languages by Contextual Array Grammars";
Fundamenta Informaticae, 64 (2005), 1-4; 159 - 170.

H. Fernau, R. Freund, M. Oswald, K. Reinhardt:
"Refining the Nonterminal Complexity of Graph-controlled, Programmed and Matrix Grammars";
Journal of Automata, Languages and Combinatorics, 12 (2007), 1/2; 117 - 138.

H. Fernau, M Holzer, R. Freund:
"Hybrid Modes in Cooperating Distributed Grammar Systems: Combining the t-mode with the Modes <=k and =k";
Theoretical Computer Science, 299 (2003), 633 - 662.

R. Freund:
"P Systems Working in the Sequential Mode on Arrays and Strings";
International Journal of Foundations of Computer Science, 16 (2005), 4; 663 - 682.

R. Freund, A. Alhazov:
"Variants of Small Universal {P} Systems with Catalysts";
Fundamenta Informaticae, 138 (2015), 1-2; 227 - 250.

R. Freund, A. Alhazov et al.:
"Antimatter as a Frontier of Tractability in Membrane Computing";
Fundamenta Informaticae, 134 (2014), 1-2; 83 - 96.

R. Freund, A. Alhazov et al.:
"Computational completeness of complete, star-like, and linear hybrid networks of evolutionary processors with a small number of processors";
Natural Computing, 15 (2016), 1; 51 - 68.

R. Freund, A. Alhazov et al.:
"Length P Systems";
Fundamenta Informaticae, 134 (2014), 1-2; 17 - 37.

R. Freund, A. Alhazov et al.:
"P systems with randomized right-hand sides of rules";
Theoretical Computer Science, 805 (2020), 805; 144 - 160.

R. Freund, A. Alhazov et al.:
"Time-freeness and clock-freeness and related concepts in {P} systems";
Theoretical Computer Science, 805 (2020), 127 - 143.

R. Freund, A. Alhazov, S. Ivanov:
"Variants of P systems with activation and blocking of rules";
Natural Computing, 18 (2019), 3; 593 - 608.

R. Freund, A. Alhazov, S. Ivanov et al.:
"Contextual array grammars with matrix control, regular control languages, and tissue P systems control";
Theoretical Computer Science, 682 (2017), 5 - 21.

R. Freund, A. Alhazov, S. Ivanov, M. Oswald et al.:
"Extended spiking neural P systems with white hole rules and their red-green variants";
Natural Computing, 17 (2018), 2; 297 - 310.

R. Freund, A. Alhazov, K. Morita:
"Sequential and maximally parallel multiset rewriting: reversiblility and determinism";
Natural Computing, 11 (2012), 1; 95 - 106.

R. Freund et al.:
"Preface";
Fundamenta Informaticae, 148 (2016), 3-4.

R. Freund et al.:
"Watson-Crick {T0L} Systems and Red-Green Register Machines";
Fundamenta Informaticae, 155 (2017), 1-2; 111 - 129.

R. Freund, H. Fernau et al.:
"Contextual array grammars and array {P} systems";
Annals of Mathematics and Artificial Intelligence, 75 (2015), 1-2; 5 - 26.

R. Freund, H. Fernau et al.:
"Non-Isometric Contextual Array Grammars and the Role of Regular Control and Local Selectors";
Fundamenta Informaticae, 155 (2017), 1-2; 209 - 232.

R. Freund, H. Fernau et al.:
"The Finite Index Restriction Meets Hybrid Modes in Cooperating Distributed Grammar Systems";
International Journal of Foundations of Computer Science, 26 (2015), 8; 1167 - 1188.

R. Freund, M. Gheorghe et al.:
"Preface";
International Journal of Foundations of Computer Science, 22 (2011), 1; 1 - 6.

R. Freund, T. Hava et al.:
"Report on UCNC 2014";
Bulletin of the EATCS, 114 (2014).

R. Freund, L. Kari, M. Oswald, P. Sosik:
"Computationally Universal P Systems without Priorities: Two Catalysts are Sufficient";
Theoretical Computer Science, 330 (2005), 251 - 266.

R. Freund, J Kelemen, Gh. Paun:
"A Note on Emergence in Multi-Agent String Processing Systems";
Computing and Informatics, 22 (2003), 623 - 637.

R. Freund, M. Kogler et al.:
"On the Power of P and DP Automata";
Analele Univeritatii Bucuresti, LVIII (2009), ISSN: 1224-7170; 5 - 22.

R. Freund, C. Martin-Vide, V. Mitrana et al.:
"On some operations on strings suggested by gene assembly in ciliates";
New Generation Computing, 20 (2002), 279 - 293.

R. Freund, C. Martin-Vide, Gh. Paun:
"From Regulated Rewriting to Computing with Membranes: collapsing Hierarchies";
Theoretical Computer Science, 312 (2004), 143 - 188.

R. Freund, M. Oswald:
"A Short Note on Analysing P Systems with Antiport Rules";
EATCS Bulletin, 78 (2002), 231 - 236.

R. Freund, M. Oswald:
"Array Grammars and Automata on Cayley Grids";
Journal of Automata, Languages and Combinatorics, 19 (2014), 1-4; 67 - 80.

R. Freund, M. Oswald:
"CD Grammar Systems with Regular Start Conditions";
International Journal of Foundations of Computer Science, 19 (2008), 4; 767 - 779.

R. Freund, M. Oswald:
"GP Systems with Forbidding Context";
Fundamenta Informaticae, 49 (2002), 1-3; 81 - 102.

R. Freund, M. Oswald:
"Modelling Grammar Systems by Tissue P Systems Working in the Sequential Mode";
Fundamenta Informaticae, 76 (2007), 3; 305 - 323.

R. Freund, M. Oswald:
"P Automata with Membrane Channels";
Artificial Life and Robotics, 8 (2004), 2; 186 - 189.

R. Freund, M. Oswald:
"P colonies and prescribed teams";
International Journal of Computer Mathematics, 83 (2006), 7; 569 - 592.

R. Freund, M. Oswald:
"P Systems with Antiport Rules for Evolution Rules";
WSEAS Transactions on Systems, 2 (2004), 3; 866 - 873.

R. Freund, M. Oswald:
"P Systems with Conditional Communication Rules Assigned to Membranes";
Journal of Automata, Languages and Combinatorics, 9 (2004), 4; 387 - 397.

R. Freund, M. Oswald:
"P Systems with Local Graph Productions";
New Generation Computing, 22 (2004), 365 - 375.

R. Freund, M. Oswald:
"Partial Halting in P Systems";
International Journal of Foundations of Computer Science, 18 (2007), 6; 1215 - 1225.

R. Freund, M. Oswald:
"Regular ω-Languages defined by Extended Spiking Neural P Systems";
Fundamenta Informaticae (invited), 83 (2008), 1-2; 65 - 73.

R. Freund, M. Oswald:
"Tissue P Systems and (MEM) Brane Systems with Mate and Drip Operations Working on Strings";
Electronic Notes in Theoretical Computer Science (ENTCS), 171 (2007), 105 - 115.

R. Freund, M. Oswald, M. Ionescu:
"Extended Spiking Neural P Systems with Decaying Spikes and/or Total Spiking";
International Journal of Foundations of Computer Science, 19 (2008), 5; 1223 - 1234.

R. Freund, M. Oswald, A. Paun:
"Optimal Results for the Computational Completeness of Gemmating (Tissue) P Systems";
International Journal of Foundations of Computer Science, 16 (2005), 5; 929 - 942.

R. Freund, M. Oswald, Gh. Paun:
"Catalytic and Purely Catalytic {P} Systems and {P} Automata: Control Mechanisms for Obtaining Computational Completeness";
Fundamenta Informaticae, 136 (2015), 1-2; 59 - 84.

R. Freund, A. Paun:
"P systems with active membranes and without polarizations";
Soft Computing, 9 (2005), 9; 657 - 663.

R. Freund, Gh. Paun, M. Pérez-Jiménez:
"Tissue P Systems with Channel States";
Theoretical Computer Science, 330 (2005), 101 - 116.

R. Freund, L. Staiger, S. Ivanov:
"Going Beyond Turing with {P} Automata: Regular Observer {\(\omega\)}-Languages and Partial Adult Halting";
International Journal of Unconventional Computing, 12 (2016), 1; 51 - 69.

R. Freund, F. Tafill:
"Cellular Automata and Parallel Array Systems";
Fundamenta Informaticae, 78 (2007), 3; 311 - 327.

R. Freund, S. Verlan:
"(Tissue) P systems working in the k - restricted minimally or maximally parallel transition mode";
Natural Computing, 10 (2011), 2; 821 - 833.

R. Freund, S. Verlan et al.:
"A formalization of membrane szstems with dynamically evolving structures";
International Journal of Computer Mathematics, 90 (2013), 4; 801 - 815.

R. Freund, S. Verlan et al.:
"Variants of Networks of Evolutionary Processors with Polarizations and a Small Number of Processors";
International Journal of Foundations of Computer Science, 30 (2019), 6-7; 1005 - 1027.

B. Gramlich:
"Modularity in term rewriting revisited";
Theoretical Computer Science, 464 (2012), 3 - 19.

B. Gramlich:
"Strategic Issues, Problems and Challenges in Inductive Theorem Proving";
Electronic Notes in Theoretical Computer Science (ENTCS) (invited), 125 (2005), 2; 5 - 43.

B. Gramlich, S. Lucas:
"Reduction Strategies in Rewriting and Programming (Special Issue, Journal of Symbolic Computation): Editorial";
Journal of Symbolic Computation, 40 (2005), 1; 745 - 747.

B. Gramlich, F. Schernhammer:
"Extending Context-Sensitivity in Term Rewriting";
Electronic Proceedings in Theoretical Computer Science, 15 (2010), 56 - 68.

B. Gramlich, F. Schernhammer:
"Termination of Rewriting with and Automated Synthesis of Forbidden Patterns";
Electronic Proceedings in Theoretical Computer Science, 44 (2010), 35 - 50.

S. Hetzl, A. Leitsch, G. Reis, D. Weller:
"Algorithmic introduction of quantified cuts";
Theoretical Computer Science, 549 (2014), 1 - 16.

S. Hetzl, A. Leitsch, D. Weller:
"Ceres in higher-order logic";
Annals of Pure and Applied Logic, 162 (2011), 12; 1001 - 1034.

S. Hetzl, G. Reis, D. Weller:
"Algorithmic Introduction of Quantified Cuts";
CoRR - Computing Research Repository, abs/1401.4330 (2014), 38 pages.

S. Hetzl, L. Strassburger:
"Herbrand-Confluence";
Logical Methods in Computer Science, 9 (2013), 4; 1 - 25.

E. Jiresch:
"Realizing Impure Functions in Interaction Nets";
Electronic Communications of the EASST, 38 (2010), 1 - 17.

M. Kompatscher, M. Pinsker et al.:
"A counterexample to the reconstruction of omega-categorical structures from their endomorphism monoids";
accepted for publication in Israel Journal of Mathematics (2016).

R. Kuznets:
"Multicomponent Proof-theoretic Method for Proving Interpolation Property";
Annals of Pure and Applied Logic, 169 (2018), 12; 1369 - 1418.

R. Kuznets, M. Fitting:
"Modal Interpolation via Nested Sequents";
Annals of Pure and Applied Logic, 166 (2015), 3; 274 - 305.

R. Kuznets, B. Lellmann:
"Grafting Hypersequents onto Nested Sequents";
Logic Journal of the IGPL, 24 (2016), 3; 375 - 423.

R. Kuznets, T. Studer:
"Weak Arithmetical Interpretations for the Logic of Proofs";
Logic Journal of the IGPL, 24 (2016), 3; 424 - 440.

A. Leitsch, D. Cerna:
"Schematic Cut elimination and the Ordered Pigeonhole Principle";
CoRR - Computing Research Repository, abs/1601.06548 (2016), abs/1601.06548.

A. Leitsch, D. Cerna, G. Reis et al.:
"Ceres in intuitionistic logic";
Annals of Pure and Applied Logic, 168 (2017), 10; 1783 - 1836.

A. Leitsch, T. Dunchev, D. Weller, M. Rukhaia:
"Ceres for First-Order Schemata";
CoRR - Computing Research Repository, arXiv:1303.4257 (2013), 1 - 40.

A. Leitsch, S. Hetzl, G. Reis, D. Weller et al.:
"Introducing Quantified Cuts in Logic with Equality";
CoRR - Computing Research Repository, abs/1402.2474 (2014), abs/1402.2474; 16 pages.

A. Leitsch, M. Lettmann:
"The problem of Pi_2-cut-introduction";
Theoretical Computer Science, 706 (2017), 83 - 116.

A. Leitsch, G. Schachner, K. Svozil:
"How to Acknowledge Hypercomputation";
Complex Systems, 18 (2008), 131 - 143.

A. Leitsch, D. Weller et al.:
"{CERES} for first-order schemata";
Journal of Logic and Computation, 27 (2017), 7; 1897 - 1954.

B. Lellmann:
"Hypersequent Rules with Restricted Contexts for Propositional Modal Logics";
Theoretical Computer Science, 656 (2016), 76 - 105.

B. Lellmann, A. Ciabattoni et al.:
"From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction";
Electronic Notes in Theoretical Computer Science (ENTCS), 332 (2017), 18 pages.

B. Lellmann, E. Pimentel:
"Modularisation of Sequent Calculi for Normal and Non-normal Modalities";
ACM Transactions on Computational Logic, 20 (2019), 2; 7:1 - 7:46.

B. Lellmann, E. Pimentel, T. Dalmonte et al.:
"Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity.";
Journal of Logic and Computation, 31 (2021), 1; 67 - 111.

J. Lellmann, B. Lellmann, F. Widmann, C. Schnörr:
"Discrete and continuous models for partitioning problems";
International Journal of Computer Vision, 104 (2013), 3; 241 - 269.

A. Lolic, A. Leitsch:
"Extraction of Expansion Trees";
Journal of Automated Reasoning, 61 (2018), 1; 1 - 38.

A. Lolic, A. Leitsch:
"Extraction of Expansion Trees";
Journal of Automated Reasoning, 62 (2019), 3; 393 - 430.

T. Lyon:
"On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics";
Journal of Logic and Computation, 31 (2020), 1; 213 - 265.

T. Lyon et al.:
"The Basics of Display Calculi";
KRITERION - Journal of Philosophy, 31 (2017), 2; 57 - 101.

P. Maffezioli, A. Naibo, S. Negri:
"The Church-Fitch knowability paradox in the light of structural proof theory";
Synthese, xx (2012), 1 - 40.

A. Mateescu, R. Freund:
"Routes and Products of Monoids";
Fundamenta Informaticae, 73 (2006), 1-2; 205 - 211.

M. Oswald:
"Computations with 1-deterministic P Systems Using Antiport/Symport Rules for Evolution Rules";
WSEAS Transactions on Biology and Biomedicine, 2 (2004), 1; 280 - 286.

M. Oswald:
"Independent agents in a globalized world modelled by tissue P systems";
Artificial Life and Robotics, 11 (2007), 2; 171 - 174.

M. Oswald:
"Membrane computing and brain modelling.";
Artificial Life and Robotics (invited), 13 (2009), 2; 390 - 393.

X. Parent et al.:
"Introduction to the Special Issue on Logic Rules and Reasoning: Selected Papers from the 2nd International Joint Conference on Rules and Reasoning ({R}uleML+{RR} 2018)}";
TPLP - Theory and Practice of Logic Programming, 21 (2021), 1; 1 - 3.

M. Pascucci:
"A note on the issue of cohesiveness in canonical models";
Journal of Logic, Language and Information, 28 (2019), 28; 18 pages.

M. Pascucci:
"Anderson's restriction of deontic modalities to contingent propositions";
Theoria. Swedish Journal of Philosophy, 83 (2017), 4; 440 - 470.

M. Pascucci:
"Propositional quantifiers in labelled natural deduction for normal modal logic";
Logic Journal of the IGPL, jzz008 (2019), 31 pages.

M. Pascucci et al.:
"Preface";
Organon F., 26 (2019), 26; 318 - 322.

M. Pascucci, E. Freschi et al.:
"Duty and sacrifice. A logical analysis of the Mīmāṃsā theory of Vedic injunctions";
History and Philosophy of Logic, 40 (2019), 4; 323 - 354.

M. Pascucci, D. Glavanicova:
"A realistic view on normative conflicts";
Logic and Logical Philosophy, 29 (2020), 36 - 51.

M. Pascucci, T. Libal:
"Automated Reasoning in Normative Detachment Structures with Ideal Conditions";
CoRR - Computing Research Repository, abs/1810.09993 (2018), abs/1810.09993.

M. Pinsker et al.:
"A new operation on partially ordered sets";
Journal of Combinatorial Theory Series A, 120 (2013), 7; 1450 - 1462.

M. Pinsker et al.:
"Canonical Functions: a proof via topological dynamics";
CoRR - Computing Research Repository, abs/1610.09660 (2016).

M. Pinsker et al.:
"Constraint satisfaction problems for reducts of homogeneous graphs";
CoRR - Computing Research Repository, abs/1602.05819 (2016).

M. Pinsker et al.:
"Distance constraint satisfaction problems";
Information and Computation, 247 (2016), 87 - 105.

M. Pinsker et al.:
"Permutations on the Random Permutation";
Electronic Journal of Combinatorics, 22 (2015), 2.

M. Pinsker et al.:
"Projective clone homomorphisms";
CoRR - Computing Research Repository, arXiv:1409.4601 (2014), 12 pages.

M. Pinsker et al.:
"Reconstructing the topology of clones";
CoRR - Computing Research Repository, abs/1312.7699 (2013), abs/1312.7699; 1 - 29.

M. Pinsker et al.:
"Reconstructing the topology of clones";
Transactions of the American Mathematical Society, 369 (2017), 3707 - 3740.

M. Pinsker et al.:
"Reducts of the random partial order.";
Advances in Mathematics, 267 (2014), 94 - 120.

M. Pinsker et al.:
"Schaefer's Theorem for Graphs";
Journal of the ACM, 62 (2015), 3; 1 - 52.

M. Pinsker et al.:
"The 42 reducts of the random ordered graph";
accepted for publication in Proceedings of the London Mathematical Society.

M. Pinsker et al.:
"The 42 reducts of the random ordered graph";
LMS J. Comput.Math., 111 (2015), 3; 591 - 632.

M. Pinsker et al.:
"The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems";
CoRR - Computing Research Repository, abs/1602.04353 (2016).

M. Pinsker et al.:
"Topological Birkhoff";
Transactions of the American Mathematical Society, 367 (2015), 2527 - 2549.

M. Pinsker et al.:
"Universality of the lattice of transformation monoids.";
Proceedings of the American Mathematical Society, 141 (2013), 9; 3005 - 3011.

M. Pinsker, M. Goldstern:
"A Closed Algebra with a Non-Borel Clone and an Ideal with a Borel Clone";
International Journal of Algebra and Computation, 23 (2013), 5; 1115 - 1126.

M. Pinsker, M. Kompatscher et al.:
"Equations in oligomorphic clones and the Constraint Satisfaction Problem for $ω$-categorical structures";
CoRR - Computing Research Repository, abs/1612.07551 (2016).

R. Ramanayake:
"Embedding the hypersequent calculus in the display calculus";
Journal of Logic and Computation, 3 (2015), 25; 921 - 942.

R. Ramanayake:
"Inducing syntactic cut-elimination for indexed nested sequents.";
Logical Methods in Computer Science, 14 (2018), 1 - 25.

R. Ramanayake:
"Non-commutative classical arithmetical sequent calculi are intuitionistic";
accepted for publication in Logic Journal of the IGPL (2015).

R. Ramanayake:
"Non-commutative classical arithmetical sequent calculi are intuitionistic";
Logic Journal of the IGPL, 24 (2016), 441; 452.

R. Ramanayake:
"Power and Limits of Structural Display Rules";
accepted for publication in ACM Transactions on Computational Logic (2015).

R. Ramanayake, A. Ciabattoni:
"Power and Limits of Structural Display Rules";
ACM Transactions on Computational Logic, 3 (2016), 17.

R. Ramanayake et al.:
"Cut-elimination for Weak Grzegorczyk Logic Go";
Studia Logica, 102 (2014), 1; 1 - 27.

R. Ramanayake, R. Goré:
"Valentini´s cut-elimination for provability logic resolved";
Review Of Symbolic Logic, 5 (2012), 212 - 238.

G. Reis, V. Nigam et al.:
"An Extended Framework for Specifying and Reasoning about Proof Systems";
accepted for publication in Journal of Logic and Computation.

G. Reis, V. Nigam et al.:
"Checking Proof Transformations with ASP";
Theory and Practice of Logic Programming, 13 (2013), 4-5; 1 - 12.

Bill Richter, A. Grabowski, J. Alama:
"Tarski geometry axioms";
Formalized Mathematics, 22 (2014), 2; 167 - 176.

G. Salzer, M. Behrisch, M. Hermann et al.:
"Minimal Distance of Propositional Models";
CoRR - Computing Research Repository, 1502.06761 (2015), abs/1502.06761; 28 pages.

G. Salzer, I. Feinerer:
"Numeric semantics of class diagrams with multiplicity and uniqueness constraints";
Software and Systems Modeling, 13 (2014), 3; 1167 - 1187.

G. Salzer, M. Hermann, A Gil, B Zanuttini:
"Efficient Algorithms For Description Problems Over Finite Totally Ordered Domains";
SIAM JOURNAL ON COMPUTING, 38 (2008), 3; 922 - 945.

G. Salzer, S Limet:
"Basic Rewriting via Logic Programming, with an Application to the Reachability Problem";
Journal of Automata, Languages and Combinatorics, 11 (2006), 1; 107 - 142.

G. Salzer, S Limet:
"Tree Tuple Languages from the Logic Programming Point of View";
Journal of Automated Reasoning, 37 (2006), 4; 323 - 349.

F. Schernhammer, B. Gramlich:
"Characterizing and Proving Operational Termination of Deterministic Conditional Term Rewriting Systems";
Journal of Logic and Algebraic Programming, 79 (2010), 7; 659 - 688.

F. Schernhammer, B. Gramlich:
"Termination of Lazy Rewriting Revisited";
Electronic Notes in Theoretical Computer Science (ENTCS), 204 (2008), 35 - 51.

S. Uckelman, J. Alama, A. Knoks:
"A curious dialogical logic and its composition problem";
Journal of Philosophical Logic, 43 (2014), 6; 1065 - 1100.

T. Van Pham et al.:
"Chip-firing game and a partial Tutte polynomial for Eulerian digraphs";
Electronic Journal of Combinatorics, 23 (2016), 1.

T. Van Pham et al.:
"The Reducts of the Homogeneous Binary Branching C-relation";
Journal of Symbolic Logic, 81 (2016), 4; 1255 - 1297.

T Vetterlein:
"A way to interpret Lukasiewicz Logic and Basic Logic";
Studia Logica, 90 (2008), 407 - 423.

T Vetterlein:
"Analytic calculi for logics of ordinal multiples of standard t-norms";
Journal of Logic and Computation, 18 (2008), 35 - 57.

T Vetterlein:
"Boolean algebras with an automorphism group: a framework for Łukasiewicz logic";
Journal of Multiple-Valued Logic and Soft Computing, 14 (2008), 51 - 67.

T Vetterlein:
"Fuzzy logic as a logic of the expressive strength of information";
Soft Computing, 12 (2008), 479 - 485.

T Vetterlein:
"Regular left-continuous t-norms";
Semigroup Forum, 77 (2008), 339 - 379.

T Vetterlein:
"Residuated lattices arising from equivalence relations on Boolean and Brouwerian algebras";
Mathematical Logic Quarterly, 54 (2008), 325 - 342.

T Vetterlein:
"Weak effect algebras";
Algebra Universalis, 58 (2008), 129 - 143.

D. Weller, S. Hetzl:
"Expansion Trees with Cut";
CoRR - Computing Research Repository, abs/1308.0428 (2013), abs/1308.0428; 1 - 25.

B. Woltzenlogel-Paleo:
"Physics and Proof Theory";
Applied Mathematics and Computation, 0096-3003 (2011).

B. Woltzenlogel-Paleo, C. Benzmüller:
"Formalization, Mechanization and Automation of Gödel's Proof of God's Existence";
CoRR - Computing Research Repository, 1 (2013), abs/1308.4526; 1 - 2.

A. Zamansky, M. Baaz et al.:
"Finite-valued Semantics for Canonical Labelled Calculi";
Journal of Automated Reasoning, 51 (2013), 4; 401 - 430.

A. Zamansky et al.:
"A dissimilarity-based framework for generating inconsistency-tolerant logics";
Annals of Mathematics and Artificial Intelligence, 69 (2013), 1; #.


Contributions to Books


M. Baaz, A. Ciabattoni, C. Fermüller:
"Sequent of Relations Calculi: A Framework for Analytic Deduction in Many-Valued Logics";
in: "Beyond Two: Theory and Applications of Multiple-Valued Logics", M. Fitting, E. Orlowska (ed.); Physica-Verlag, 2003, ISBN: 3-7908-1541-1, 157 - 180.

M. Baaz, A. Leitsch:
"Fast cut-elimination by CERES";
in: "Proofs, Categories and Computations, Essays in Honor of Grigori Mints", S. Feferman, W. Sieg (ed.); College Publications (Kings College), 2010, ISBN: 978-1-84890-012-7, 31 - 48.

A. Bachinger, G. Brandhofer, K Fuchs, G. Futschek, R. Freund, S. Gabriel, R. Goebl, W. Grossmann, P. Micheuz, E. Neuwirth, C. Nosko, M. Schedler, P. Traxler, D. Wohlhart:
"Vermittlung informatischer Kompetenzen und Medienkompetenzen in allen Lehramtstudien aller Ausbildungsinstitute Österreichs";
in: "Digitale Schule Österreich", issued by: Peter Micheuz, Anton Reiter, Gerhard Brandhofer, Martin Ebner, Barbara Sabitzer; books@ocg.at, Österreichische Computer Gesellschaft, 2013, ISBN: 9783854032977, 67 - 70.

C. Fermüller:
"Comments on Vagueness in Language: The Case Against Fuzzy Logic Revisited by Uli Sauerland";
in: "Understanding Vagueness. Logical, Philosophical and Linguistic Perspectives", P. Cintula, C. Fermüller et al. (ed.); College Publications, London, 2011, ISBN: 978-1-84890-037-0, 199 - 202.

C. Fermüller:
"Comments on Vagueness: A Mathematicians's Perspective by Thomas Vetterlein";
in: "Understanding Vagueness. Logical, Philosophical and Linguistic Perspectives", P. Cintula, C. Fermüller et al. (ed.); College Publications, London, 2011, ISBN: 978-1-84890-037-0, 87 - 90.

C. Fermüller:
"Connecting Sequent Calculi with Lorenzen-Style Dialogue Games";
accepted for publication in: "Paul Lorenzen - Mathematician and Logician", Springer, 2021, 13 - 39.

C. Fermüller:
"Dialogue Games as Foundation of Fuzzy Logics";
in: "Studies in Fuzziness and Soft Computing, Vol 243", R. Seising, J. Kacprzyk (ed.); Springer, 2009, ISBN: 978-3-540-93801-9, 229 - 247.

C. Fermüller:
"Fuzzy logic and vagueness: can philosophers learn from Petr Hajek?";
in: "Witnessed Years. Esseays in Honour of Petr Hajek", P. Cintula, Z. Hanikova, V. Svejdar (ed.); College Publications, 2009, ISBN: 978-1-904987-63-5, 373 - 386.

C. Fermüller:
"Game semantics for vague quantification";
in: "The Logica Yearbook 2015", issued by: Pavel Arazim, Michal Dancak; College Publications, 2016, (invited), ISBN: 978-1-84890-213-8, 71 - 86.

C. Fermüller:
"On Giles style dialoques games and hypersequent systems";
in: "Probability, Uncertainty and Rationality", H. Hosni, F. Montagna (ed.); issued by: Fondazione Monte dei paschi di Siena; Editioni Della Normale, Pisa, 2010, ISBN: 978-88-7642-347-5, 169 - 197.

C. Fermüller:
"Revisiting Giles's Game - Reconciling Fuzzy Logic and Supervaluation";
in: "Games: Unifying Logic, Language, and Philosophy", O. Majer, T. Tulenheimo, A. Pietarinen (ed.); Springer Science, 2009, ISBN: 978-1-4020-9373-9, 209 - 227.

C. Fermüller:
"Some Critical Remarks on Incompatibility Semantics";
in: "The Logica Yearbook 2008", M. Pelis (ed.); College Publications, 2010, ISBN: 978-1-848900097, 81 - 96.

C. Fermüller:
"Truth Value Intervals, Bets, and Dialogue Games";
in: "The Logica Yearbook 2008", M. Pelis (ed.); College Publications, 2009, ISBN: 978-1-904987-46-8, 43 - 57.

C. Fermüller, P. Hajek:
"A Conversation About Fuzzy Logic and Vagueness";
in: "Understanding Vagueness. Logical, Philosophical and Linguistic Perspectives", P. Cintula, C. Fermüller et al. (ed.); College Publications, London, 2011, ISBN: 978-1-84890-037-0, 405 - 416.

C. Fermüller, O. Majer:
"On Semantic Games for Łukasiewicz Logic";
in: "Jaakko Hintikka on Knowledge and Game-Theoretical Semantics", H. van Ditmarsch, G. Sandu (ed.); Springer, 2018, ISBN: 978-3-319-62863-9, 263 - 278.

C. Fermüller, Ch Roschger:
"Bridges between contextual linguistic models of vagueness and t-norm based fuzzy logic";
in: "Petr Hajek on Mathematical Fuzzy Logic", F. Montagna (ed.); Springer, Heidelberg, 2014, ISBN: 978-3-319-06232-7, 91 - 116.

F. Freund, R. Freund, M. Oswald:
"Splicing Test Tube Systems and Their Relation to Splicing Membrane Systems";
in: "Aspects of Molecular Computing. Essays Dedicated to Tom Head on the Occasion of His 70th Birthday", N. Jonoska, Gh. Paun, G. Rozenberg (ed.); Springer, Heidelberg, 2004, ISBN: 3-540-20781-3, 139 - 151.

R. Freund, A. Alhazov:
"Small P Systems Defining Non-semilinear Sets";
in: "Automata, Computation, Universality", A. Adamatzky (ed.); Springer International Publishing, Heidelberg, 2014, ISBN: 978-3-319-09039-9, 183 - 217.

R. Freund, A. Alhazov:
"Small P Systems Defining Non-semilinear Sets";
in: "Automata, Universality, Computation", A. Adamatzky (ed.); Springer International Publishing, Heidelberg, 2015, ISSN: 2194-7287, 183 - 219.

R. Freund, A. Alhazov, S. Verlan:
"Small Universal Reversible Counter Machines";
in: "Emergence, Complexity and Computation", 30; A. Adamatzky (ed.); Springer International Publishing, 2018, ISBN: 978-3-319-73216-9, 433 - 446.

R. Freund et al.:
"SUBRAMANIAN, Regulated Contextual Array Grammars";
in: "Annals of the University of Bucharest Informatics Series", 3; Editura Universitatii di Bucuresti, 2015, ISSN: 2067-9009, 63 - 79.

R. Freund, M. Oswald, A. Alhazov et al.:
"Chocolate P Automata";
in: "Enjoying Natural Computing - Essays Dedicated to Mario de Jesus Perez-Jimenez on the Occasion of His 70th Birthday", 11270; Gh. Paun et al. (ed.); Springer International Publishing, LNCS, 2018, 1 - 20.

R. Freund, M. Oswald et al.:
"Algebraic Representation of Regular Array Languages on Cayley Graphs";
in: "Discrete Mathematics and Computer Science", Gh. Paun et al. (ed.); Editura Academiei Romane, 2015, 165 - 189.

R. Freund, A. Paun et al.:
"Catalytic P Systems";
in: "The Oxford Handbook of Membrane Computing", Gh. Paun, G. Rozenberg, A. Salomaa (ed.); Oxford University Press, 2010, ISBN: 978-0-19-955667-0, 83 - 118.

R. Freund, Gh. Paun, G. Rozenberg:
"Contextual Array Grammars";
in: "Formal Models, Languages and Applications", K. Subramanian et al. (ed.); World Scientific, Singapore, 2006, ISBN: 981-256-889-1, 112 - 136.

R. Freund, Y. Rogozhin, S. Verlan:
"Generating and accepting P systems with minimal left and right insertion and deletion";
in: "Natural Computing - An international Journal", J. Ferrandez et al. (ed.); Springer, 2014, ISSN: 1567-7818, 257 - 268.

R. Freund, R. Taschner:
"Bildung 2.0";
in: "Best Spirit: Best Practice", Braumüller, Wien, 2011, (invited), ISBN: 978-3-7003-1805-7, 109 - 113.

R. Kuznets:
"Craig Interpolation via Hypersequents";
in: "Concepts of Proof in Mathematics, Philosophy, and Computer Science", Ontos Mathematical Logic 6; D. Probst, P. Schuster (ed.); Walter de Gruyter GmbH, Berlin/Boston, 2016, ISBN: 978-1-5015-1080-9, 193 - 214.

A. Leitsch, M. Baaz:
"Fast Cut-Elimination by CERES";
in: "Proofs, Categories and Computations", S. Feferman, W. Sieg (ed.); College Publications, London, 2010, ISBN: 978-1-84890-012-7, 31 - 49.

A. Leitsch et al.:
"On Proof Mining by Cut-Elimination";
in: "All about Proofs, Proofs for All", 55; B. Woltzenlogel-Paleo et al. (ed.); College Publications, 2015, ISBN: 978-1-84890-166-7, 173 - 200.

A. Leitsch, C. Fermüller:
"The Resolution Principle";
in: "Handbook of Philosophical Logic, 2nd ed., Volume 12", D.M. Gabbay, F. Guenthner (ed.); Springer, Dordrecht, Netherlands, 2005, 87 - 173.

A. Leitsch, S. Hetzl:
"Proof Transformations and Structural Invariance";
in: "LNAI 4460: Algebraic and Proof-theoretic Aspects", S. Aguzzoli et al. (ed.); Springer, LNAI 4460, 2007, 201 - 230.

A. Leitsch, S. Hetzl, D. Weller, B. Woltzenlogel-Paleo:
"A Clausal Approach to Proof Analysis in Second-Order Logic";
in: "Lecture Notes in Computer Science, 5407", E. Artemov, A. Nerode (ed.); Springer LNCS, Heidelberg, 2009, ISBN: 3-540-92686-0, 214 - 229.

Ch Roschger:
"Comparing Context Updates in Delineation and Scale Based Models of Vagueness";
in: "Understanding Vagueness - Logical, Philosophical and Linguistic Perspectives", College Publications, 2011, 231 - 249.

B. Woltzenlogel-Paleo, G. Reis:
"Epsilon Terms in Intuitionistic Sequent Calculus";
in: "Workshop on Hilbert's Epsilon and Tau in Logic, Informatics and Linguistics", Springer International Publishing, 2015, 1 - 4.


Contributions to Proceedings


J. Alama:
"Dialogues for proof search";
in: "ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics", 33; C. Benzmüller et al. (ed.); EasyChair, 2015, ISSN: 2040-557x, 65 - 70.

A. Alhazov, R. Freund:
"On the Efficiency of P Systems with Active Membranes and Two Polarizations";
in: "Membrane Computing. International Workshop, WMC 2004", G. Mauri, Gh. Paun, M. Pérez-Jiménez, G. Rozenberg, A. Salomaa (ed.); Springer, LNCS, Berlin, 2005, ISBN: 3-540-25080-8, 146 - 160.

A. Alhazov, R. Freund:
"P Systems with One Membrane and Symport/Antiport Rules of Five Symbols are Coputationally Complete";
in: "Third Brainstorming Week on Membrane Computing", M.A. Gutiérrez-Naranjo, A. Riscos-Núñez, F.J. Romero-Campero, D. Sburlan (ed.); issued by: Research Group on Natural Computing, Sevilla University; Fénix Editora, Sevilla, 2005, 19 - 28.

A. Alhazov, R. Freund, M. Oswald:
"Symbol/Membrane Complexity of P Systems with Symport/Antiport Rules";
in: "Membrane Computing · 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers", R. Freund, Gh. Paun, G. Rozenberg, A. Salomaa (ed.); Springer LNCS 3850, Berlin, 2006, ISBN: 978-3-540-30948-2, 97 - 114.

A. Alhazov, R. Freund, M. Oswald:
"Tissue P Systems with Antiport Rules and Small Numbers of Symbols and Cells";
in: "Cellular Computing (Complexity Aspects)", M.A. Gutiérrez-Naranjo, Gh. Paun, M. Pérez-Jiménez (ed.); Fénix Editora, Sevilla, 2005, 7 - 22.

A. Alhazov, R. Freund, Gh. Paun:
"Computational Completeness of P Systems with Active Membranes and Two Polarizations";
in: "Machines, Computations, and Universality", M. Margenstern (ed.); Springer, LNCS, Berlin, 2005, ISBN: 3-540-25261-4, 82 - 92.

A. Alhazov, R. Freund, Gh. Paun:
"P Systems with Active Membranes and Two Polarizations";
in: "Second Brainstorming Week on Membrane Computing", Gh. Paun, A. Riscos-Núñez, A. Romero-Jiménez, F. Sancho-Caparrini (ed.); Universidad de Sevilla, Sevilla, 2004, 20 - 37.

A. Alhazov, R. Freund, Y. Rogozhin:
"Computational Power of Symport/Antiport: History, Advances, and Open Problems";
in: "Membrane Computing · 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers", R. Freund, Gh. Paun, G. Rozenberg, A. Salomaa (ed.); Springer LNCS 3850, Berlin, 2006, (invited), ISBN: 978-3-540-30948-2, 1 - 31.

A. Alhazov, R. Freund, Y. Rogozhin:
"Some Optimal Results on Symport/Antiport P Systems with Minimal Cooperation";
in: "Cellular Computing (Complexity Aspects)", M.A. Gutiérrez-Naranjo, Gh. Paun, M. Pérez-Jiménez (ed.); Fénix Editora, Sevilla, 2005, 23 - 36.

M. Alpuente, S. Escobar, B. Gramlich, S. Lucas:
"Improving On-demand Strategy Annotations";
in: "Proc. 9th LPAR 2002", issued by: Matthias Baaz, Andrei Voronkov; Springer, 2002, ISBN: 3-540-00010-0, 1 - 18.

M. Alpuente, B. Gramlich, A. Villanueva:
"Timed Concurrent Constraint Programming with Instantaneous Computations";
in: "Proc. 6th Spanish Conference on Programming and Computer Languages (PROLE 2006)", P. Lucio (ed.); The University of the Basque Country, 2006, 221 - 230.

F. Aschieri:
"Natural Deduction and Normalization Proofs for the Intersection Type Discipline";
in: "Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, DCM/ITRS 2018, and Ninth Workshop on Intersection Types and Related Systems", Computing Research Repository (CoRR), abs.1904-10106, 2019, 9 pages.

F. Aschieri:
"On Natural Deduction for Herbrand Constructive Logics III: The Strange Case of the Intuitionistic Logic of Constant Domains";
in: "Proceedings Seventh International Workshop on Classical Logic and Computation, Oxford (UK), 7th of July 2018", 281; S. Berardi et al. (ed.); issued by: EPTCS; Open Publishing Association, 2018, ISSN: 2075-2180, 9 pages.

M. Baaz, A. Ciabattoni, C. Fermüller:
"Cut elimination for first order Gödel logic by hyperclause resolution";
in: "Logic for Programming, Artificial Intelligence, and Reasoning (LNAI 5330)", I. Cervesato, H. Veith, A. Voronkov (ed.); Springer, 2008, ISBN: 3-540-89438-1, 451 - 466.

M. Baaz, C. Fermüller:
"A resolution mechanism for Prenex Gödel logic";
in: "Computer Science Logic (LNCS 6247/2010)", A. Dawar, H. Veith (ed.); Springer, 2010, 67 - 79.

M. Baaz, C. Fermüller, A. Gil, G. Salzer, N. Preining:
"MUltlog and MUltseq reanimated and married";
in: "Proceedings of the 4th Workshop on the Implementation of Logics", B. Konev, R. Schmidt (ed.); University of Liverpool, 2003, 5 pages.

M. Baaz, S. Hetzl, A. Leitsch, Clemens Richter, H. Spohr:
"Cut-Elimination: Experiments with CERES";
in: "LOgic for Programming, Artificial Intelligence, and Reasoning", issued by: Franz Baader, Andrei Voronkov; Springer, LNAI, Heidelberg, 2005, ISBN: 3-540-25236-3, 481 - 495.

M. Baaz, S. Hetzl, A. Leitsch, Clemens Richter, H. Spohr:
"Proof Transformation by CERES";
in: "MKM 2006", J.M. Borwein, W.M. Farmer (ed.); Springer, Berlin Heidelberg, 2006, 82 - 93.

M. Baaz, A. Leitsch:
"CERES in many-valued logics";
in: "Logic for Programming, Artificial Intelligence, and Reasoning (LNAI 3452)", F. Baader, A. Voronkov (ed.); Springer, 2005, ISBN: 3-540-25236-3, 1 - 20.

P. Baldi, A. Ciabattoni et al.:
"Standard Completeness for extensions of IMTL";
in: "Proceedings of : 2017 IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2017,", G. Acampora et al. (ed.); issued by: IEEE; IEEE Computer Society Press, 2017, ISBN: 978-1-5090-6034-4, 1 pages.

M. Behrisch, G. Salzer et al.:
"Give me another one!";
accepted for publication in: "Proceedings of 26th International Symposium on Algorithms and Computation (ISAAC 2015)", E. Elbassioni et al. (ed.); Springer LNCS, 2015.

D. Besozzi, N. Busi, G. Franco, R. Freund, Gh. Paun:
"Two Universality Results for (Mem)Brane Systems";
in: "Proceedings of the Fourth Brainstorming Week on Membrane Computing, Volume I", M.A. Gutiérrez-Naranjo, Gh. Paun, A. Riscos-Núñez, F.J. Romero-Campero (ed.); Fénix Editora, Sevilla, 2006, 49 - 62.

M. Cavaliere, R. Freund, A. Leitsch, Gh. Paun:
"Event-related Outputs of Computations in P Systems";
in: "Third Brainstorming Week on Membrane Computing", M.A. Gutiérrez-Naranjo, A. Riscos-Núñez, F.J. Romero-Campero, D. Sburlan (ed.); issued by: Research Group on Natural Computing, Sevilla University; Fénix Editora, Sevilla, 2005, 107 - 122.

M. Cavaliere, R. Freund, M. Oswald, D. Sburlan:
"Multiset Random Context Grammars, Checkers, and Transducers";
in: "Proceedings of the Fourth Brainstorming Week on Membrane Computing, Volume I", M.A. Gutiérrez-Naranjo, Gh. Paun, A. Riscos-Núñez, F.J. Romero-Campero (ed.); Fénix Editora, Sevilla, 2006, 113 - 132.

H. Chen, R. Freund, M. Ionescu, Gh. Paun, M. Pérez-Jiménez:
"On String Languages Generated by Spiking Neural P Systems";
in: "Proceedings of the Fourth Brainstorming Week on Membrane Computing, Volume I", M.A. Gutiérrez-Naranjo, Gh. Paun, A. Riscos-Núñez, F.J. Romero-Campero (ed.); Fénix Editora, Sevilla, 2006, 169 - 194.

A. Ciabattoni, F. Gulisano, B. Lellmann:
"Resolving Conflicting Obligations in Mīmāṃsā: A Sequent-based Approach";
in: "Deontic Logic and Normative Systems DEON 2018", J. Broersen, C. Condoravdi, S. Nair, G. Pigozzi (ed.); College Publications, 2018, ISBN: 9781848902787, 91 - 110.

A. Ciabattoni, O. Lahav, A. Zamansky:
"Basic constructive connectives, determinism and matrix-based semantics";
in: "LNAI 6793, Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings", Springer Verlag, 6793, 2011, ISBN: 978-3-642-22118-7, 119 - 134.

A. Ciabattoni, B. Lellmann:
"Sequent Rules for Reasoning and Conflict Resolution in Conditional Norms";
in: "Proceedings of DEON2020/21", College Publications, 2021, ISBN: 978-1-84890-352-4, 94 - 113.

A. Ciabattoni, K. van Berkel, E. Freschi, F. Gulisano, M. Olszewski:
"The Gentle Murder Paradox in Sanskrit Philosophy";
in: "Proceedings of DEON2020/21", College Publications, 2021, ISBN: 978-1-84890-352-4, 17 - 35.

T. Dalmonte, N. Olivetti et al.:
"Proof Systems for the Logics of Bringing-It-About.";
in: "Deontic logic and normative systems. Proceedings of 15th international conference DEON 2020/21", College Publications, 2021, ISBN: 978-1-84890-352-4, 114 - 132.

C. Fermüller:
"On the Algorithmic Complexity of Vague Descriptions";
in: "Int. Proceedings of Computer Science and Information Technology", F. Hong (ed.); IACSIT Press, Singapore, 2012, ISBN: 978-981-07-1883-1, 39 - 44.

C. Fermüller, A. Ciabattoni:
"From intuitionistic logic to Gödel-Dummett logic via parallel dialogue games";
in: "Proceedings of the 33rd International Symposium on Multiple-Valued Logic", IEEE Press, Washington, 2003, ISSN: 0195-623x, 188 - 193.

C. Fermüller, T Lang, A Pavlova:
"From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic";
in: "IPMU 2020: Information Processing and Management of Uncertainty in Knowledge-Based SystemsI", 978-3-030-50146-4; Springer, 2020, 257 - 270.

C. Fermüller, O. Majer:
"Equilibrium Semantics for IF Logic and Many-Valued Connectives";
in: "Logic, Language, and Computation. TbiLLC 2015", H Hansen et al. (ed.); Springer, LNCS 10148, 2015, ISBN: 978-3-662-54331-3, 290 - 312.

C. Fermüller, N. Preining:
"A dialogue game for intuitionistic fuzzy logic based on comparisons of degrees of truth";
in: "Proceedings of the International Conference on Intelligent Technologies 2003", Institute for Science and Technology Research and Development, Chiang Mai University, Thailand, 2003, ISBN: 974-658-151-1, 142 - 151.

C. Fermüller, Ch Roschger:
"Bridges between Contextual Linguistic Models of Vagueness and T-Norm Based Fuzzy Logic";
in: "Proceedings of the 8th Workshop on Uncertainty Processing", T. Kroupa, J. Vejnarova (ed.); issued by: European Science Foundation; Universtiy of Economics, Prague, 2009, ISBN: 978-80-245-1543-4, 71 - 79.

F. Freund, R. Freund, M. Oswald, M. Margenstern, Y. Rogozhin, S. Verlan:
"P Systems with Cutting/Recombination Rules Assigned to Membranes";
in: "Membrane Computing. International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003", C. Martin-Vide, G. Mauri, Gh. Paun, G. Rozenberg, A. Salomaa (ed.); Springer, Heidelberg, 2004, ISBN: 3-540-20895-x, 191 - 202.

R. Freund:
"A General Framework for Regulated Rewriting";
in: "21.Theorietag - Automaten und Formale Sprachen", J. Dassow, B. Truthe (ed.); Otto von Guericke Universität Magdeburg, Fakultät für Informatik, 2011, 37 - 41.

R. Freund:
"Asynchronous P Systems and P Systems Working in the Sequential Mode";
in: "Membrane Computing. International Workshop, WMC 2004", G. Mauri, Gh. Paun, M. Pérez-Jiménez, G. Rozenberg, A. Salomaa (ed.); Springer, LNCS, Berlin, 2005, (invited), ISBN: 3-540-25080-8, 36 - 62.

R. Freund:
"Energy-controlled P systems";
in: "Membrane Computing. International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania", Gh. Paun et al. (ed.); issued by: Workshop on Membrane Computing; Springer, LNCS 2597, 2003, ISBN: 3-540-00611-7, 247 - 260.

R. Freund:
"P Automata: New ideas and results";
in: "Proceedings of Eighth Workshop on Non-Classical Models of Automata and Applications", 321; Austrian Computer Society, 2016, ISBN: 978-3-903035-10-2, 13 - 40.

R. Freund:
"P Systems Working in the Sequential Mode on Arrays and Strings";
in: "Developments in Language Theory, 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings", C. Calude, E. Calude, M. Dinneen (ed.); Springer LNCS 3340, Heidelberg, 2004, ISBN: 3-540-24014-4, 188 - 199.

R. Freund:
"P Systems: from Anti-Matter to Anti-Rules";
in: "Proceedings of Seventeenth Brainstorming Week on Membrane Computing", Artes Gr a cas Moreno, S.L., sevilla, 2019, 978-84-14347-4, 41 - 58.

R. Freund:
"Particular Results for Variants of P Systems with One Catalyst in One Membrane";
in: "Proceedings of the Fourth Brainstorming Week on Membrane Computing, Volume II", C. Graciani-Díaz, Gh. Paun, A. Romero-Jiménez, F. Sancho-Caparrini (ed.); Fénix Editora, Sevilla, 2006, 41 - 50.

R. Freund:
"Playing with Derivation Modes and Halting Conditions";
in: "Proceedings of Seventeenth Brainstorming Week on Membrane Computing", Artes Gr a cas Moreno, S.L., Sevilla, 2019, 978-84-14347-4, 91 - 108.

R. Freund, A. Alhazov:
"Asynchronous and Maximally Parallel Deterministic Controlled Non-Cooperative P Systems Characterize NFIN";
in: "Tenth Brainstorming Week on Membrane Computing", M. Martinez, Gh. Paun et al. (ed.); Fénix Editora, Sevilla, 2012, ISBN: 978-84-940056-5-7, 25 - 34.

R. Freund, A. Alhazov:
"Asynchronous and Maximally Parallel Deterministic Controlled Non-Cooperative P Systems Characterize NFIN";
in: "13th International Conference on Membrane Computing", E. Csuhaj-Varjú et al. (ed.); MTA Sztaki, Budapest, 2012, ISBN: 978-963-311-372-1, 87 - 98.

R. Freund, A. Alhazov:
"Asynchronous and maximally parallel deterministic controlled non-cooperative P systems characterize NFIN and coNFIN";
in: "Membrane computing. 13th international conference, CMC 2012, Budapest, Hungary, August 28--31, 2012", M. Gheorghe et al. (ed.); Springer LNCS, Heidelberg, 2013, ISBN: 978-3-642-36750-2, 101 - 111.

R. Freund, A. Alhazov et al.:
"Hierarchical P systems with randomized right-hand sides of rules.";
in: "Membrane Computing: 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers", 10725; M. Gheorghe et al. (ed.); Springer International Publishing, 2018, ISBN: 978-3-319-73358-6, 15 - 39.

R. Freund, A. Alhazov et al.:
"Time-freeness and Clock-freeness and Related Concepts in P Systems.";
in: "Proceedings of BWMC 2017: 15th Brainstorming Week on Membrane Computing (2017), Sevilla", Gh. Paun et al. (ed.); Fénix Editora, 2017, ISBN: 978-84-946316-9-6, 43 - 70.

R. Freund, A. Alhazov, S. Ivanov:
"Beyond Generalized Multiplicities: Register Machines over Groups";
in: "Seventeenth Brainstorming Week on Membrane Computing Sevilla, February 5 - 8, 2019", Artes Gr a cas Moreno, S.L., 2019, 978-84-14347-4, 1 - 28.

R. Freund, A. Alhazov, S. Ivanov:
"Introducing the Concept of Activation and Blocking of Rules in the General Framework for Regulated Rewriting in Sequential Grammars.";
in: "Sixteenth Brainstorming Week on Membrane Computing", Gh. Paun et al. (ed.); Fénix Editora, Sevilla, 2018, 1 - 22.

R. Freund, A. Alhazov, S. Ivanov:
"One-Membrane P Systems with Activation and Blocking of Rules.";
in: "Sixteenth Brainstorming Week on Membrane Computing", Gh. Paun et al. (ed.); Fénix Editora, Sevilla, 2018, 23 - 38.

R. Freund, A. Alhazov, S. Ivanov:
"P Systems and the Concept of Fairness";
in: "Conference on Mathematical Foundations of Informatics, 2017, Chişinău: Proceedings MFOI, 2017", Acad. of Sciences of Moldova, 2017, 978‐9975‐4237‐6‐2, 11 - 26.

R. Freund, A. Alhazov, S. Ivanov:
"P Systems with Randomized Right-hand Sides of Rules";
in: "Proceedings of BWMC 2017: 15th Brainstorming Week on Membrane Computing (2017), Sevilla", Gh. Paun et al. (ed.); Fénix Editora, 2017, ISBN: 978-84-946316-9-6, 13 - 42.

R. Freund, A. Alhazov, S. Ivanov:
"Transitional P Systems with Randomized Rule Right-hand Sides.";
in: "Preproceedings of the 18th Conference on Membrane Computing, CMC18, Bradford", M. Gheorghe et al. (ed.); IMCS, Bradford, 2017, 23 - 47.

R. Freund, A. Alhazov, S. Ivanov:
"Unfair P Systems";
in: "Proceedings of BWMC 2017: 15th Brainstorming Week on Membrane Computing (2017), Sevilla", Gh. Paun et al. (ed.); Fénix Editora, 2017, ISBN: 978-84-946316-9-6, 1 - 12.

R. Freund, A. Alhazov, S. Ivanov:
"Unfair P Systems";
in: "Proceedings of the Workshop on Membrane Computing at UCNC 2018. Fontainebleau, France June 25th, 2018", TU Wien, 2018, 63 - 71.

R. Freund, A. Alhazov, S. Ivanov:
"Unfair P Systems";
in: "Theorietage 2018, Wittenberg, Technical Report 18-1, Universität Halle-Wittenberg", K. Reinhardt (ed.); Universität Halle-Wittenberg, 2018, 87 - 90.

R. Freund, A. Alhazov, S. Ivanov et al.:
"Purely Catalytic P Systems over Integers and Their Generative Power";
in: "International Conference on Membrane Computing 2016", 10105; G. Rozenberg et al. (ed.); issued by: Springer; Springer LNCS, 2017, ISBN: 978-3-319-54071-9, 67 - 82.

R. Freund, A. Alhazov, S. Ivanov, S. Verlan:
"Tissue P Systems with Point Mutation Rules";
in: "Membrane Computing. 19th International Conference, CMC 2018", 11399; G. Rozenberg et al. (ed.); Springer International Publishing Switzerland, 2019, ISBN: 978-3-030-12796-1, 33 - 57.

R. Freund, A. Alhazov, S. Verlan et al.:
"P Systems Working in Maximal Variants of the Set Derivation Mode";
in: "International Conference on Membrane Computing 2016", 10105; G. Rozenberg et al. (ed.); issued by: Springer; Springer LNCS, 2017, ISBN: 978-3-319-54071-9, 83 - 102.

R. Freund, A. Alhazov, S. Verlan et al.:
"Sequential Polarized Tissue P Systems with Vesicles of Multisets";
in: "Conference on Mathematical Foundations of Informatics, 2017, Chişinău: Proceedings MFOI, 2017", Acad. of Sciences of Moldova, 2017, 978‐9975‐4237‐6‐2, 7 - 10.

R. Freund et al.:
"(Tissue) P Systems with Anti-Membranes";
in: "Proceedings of Seventeenth Brainstorming Week on Membrane Computing Sevilla, February 5-8, 2019", Artes Gr a cas Moreno, S.L., Sevilla, 2019, 978-84-14347-4, 29 - 40.

R. Freund et al.:
"A Connection Between Red-Green Turing Machines and Watson-Crick {T0L} Systems";
in: "Machines, Computations, and Universality - 7th International Conference", 9288; J. Durand-Lose et al. (ed.); issued by: LNCS; Springer International Publishing, 2015, ISBN: 9783319231105, 31 - 44.

R. Freund et al.:
"Non-isometric Contextual Array Grammars with Regular Control and Local Selectors";
in: "Machines, Computations, and Universality: 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings", 9288; J. Durand-Lose et al. (ed.); Springer LNCS, 2015, ISBN: 3319231103, 61 - 78.

R. Freund et al.:
"P Systems with Random RHS Exchange";
in: "Conference on Mathematical Foundations of Informatics, 2017, Chişinău: Proceedings MFOI, 2017", Acad. of Sciences of Moldova, 2017, 27 - 30.

R. Freund et al.:
"Self-Stabilization in Membrane Systems";
in: "Tenth Brainstorming Week on Membrane Computing", Gh. Paun, A. Paun et al. (ed.); Fénix Editora, Sevilla, 2012, ISBN: 978-84-940056-5-7, 1 - 10.

R. Freund, O.H. Ibarra, Gh. Paun, H.-C. Yen:
"Matrix Languages, Register Machines, Vector Addition Systems";
in: "Third Brainstorming Week on Membrane Computing", M.A. Gutiérrez-Naranjo, A. Riscos-Núñez, F.J. Romero-Campero, D. Sburlan (ed.); issued by: Research Group on Natural Computing, Sevilla University; Fénix Editora, Sevilla, 2005, 155 - 168.

R. Freund, S. Ivanov, A. Alhazov et al.:
"Simulating R Systems by P Systems";
in: "International Conference on Membrane Computing 2016", 10105; Springer LNCS, 2017, ISBN: 978-3-319-54071-9, 51 - 66.

R. Freund, M. Kogler:
"Computationally Complete Spiking Neural P Systems without Delay: Two Types of Neurons Are Enough";
in: "11th International Conference, CMC2010 - Membrane Computing", M. Gheorghe, Gh. Paun et al. (ed.); issued by: LNCS; Springer LNCS, Heidelberg, 2010, ISBN: 3-642-18122-8, 198 - 208.

R. Freund, M. Kogler:
"Computationally Complete Spiking Neural P Systems without Delay: Two Types of Neurons Are Enough";
in: "Proceedings of the Eleventh International Conference on Membrane Computing", Pro Business GmbH, 2010, ISBN: 978-3-86805-721-8, 193 - 205.

R. Freund, M. Kogler, M. Oswald:
"A General Framework for Regulated Rewriting Based on the Applicability of Rules";
in: "Computation, Cooperation, and Life - Essays Dedicated to Gheorghe Paun on the Occasion of His 60th Birthday", J Kelemen, A. Kelemenova (ed.); Springer LNCS, 2011, ISBN: 978-3-642-19999-8, 35 - 53.

R. Freund, A. Leporati, M. Oswald, C. Zandron:
"Sequential P Systems with Unit Rules and Energy Assigned to Membranes";
in: "Second Brainstorming Week on Membrane Computing", Gh. Paun, A. Riscos-Núñez, A. Romero-Jiménez, F. Sancho-Caparrini (ed.); Universidad de Sevilla, Sevilla, 2004, 168 - 182.

R. Freund, A. Leporati, M. Oswald, C. Zandron:
"Sequential P Systems with Unit Rules and Energy Assigned to Membranes";
in: "Machines, Computations, and Universality", M. Margenstern (ed.); Springer, LNCS, Berlin, 2005, ISBN: 3-540-25261-4, 200 - 210.

R. Freund, M. Oswald:
"Modelling Grammar Systems by Tissue P Systems Working in the Sequential Mode";
in: "Proceedings of Grammar Systems Week 2004, Budapest, Hungary, July 5-9, 2004", E. Csuhaj-Varjú, Gy. Vaszil (ed.); MTA Sztaki, 2004, 179 - 199.

R. Freund, M. Oswald:
"P Systems with Activated/Prohibited Membrane Channels";
in: "Membrane Computing. International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania", Gh. Paun et al. (ed.); Springer, 2003, ISBN: 3-540-00611-7, 261 - 268.

R. Freund, M. Oswald:
"P Systems with Antiport Rules for Evolution Rules";
in: "Second Brainstorming Week on Membrane Computing", Gh. Paun, A. Riscos-Núñez, A. Romero-Jiménez, F. Sancho-Caparrini (ed.); Universidad de Sevilla, Sevilla, 2004, 183 - 192.

R. Freund, M. Oswald:
"Small Universal Antiport P Systems and Universal Multiset Grammars";
in: "Proceedings of the Fourth Brainstorming Week on Membrane Computing, Volume II", C. Graciani-Díaz, Gh. Paun, A. Romero-Jiménez, F. Sancho-Caparrini (ed.); Fénix Editora, Sevilla, 2006, 51 - 64.

R. Freund, M. Oswald:
"Tissue P Systems with Symport/Antiport Rules of One Symbol are Computationally Universal";
in: "Cellular Computing (Complexity Aspects)", M.A. Gutiérrez-Naranjo, Gh. Paun, M. Pérez-Jiménez (ed.); Fénix Editora, Sevilla, 2005, 187 - 200.

R. Freund, M. Oswald, A. Alhazov et al.:
"Input-Driven Tissue P Automata";
in: "Sixteenth Brainstorming Week on Membrane Computing", Gh. Paun et al. (ed.); Fénix Editora, Sevilla, 2018, 39 - 58.

R. Freund, M. Oswald, A. Alhazov et al.:
"Sequential P systems with regular control";
in: "Membrane computing. 13th international conference, CMC 2012, Budapest, Hungary, August 28--31, 2012.", M. Gheorghe et al. (ed.); Springer LNCS, Heidelberg, 2013, ISBN: 978-3-642-36750-2, 112 - 127.

R. Freund, M. Oswald, A. Paun:
"P Systems Generating Trees";
in: "Membrane Computing. International Workshop, WMC 2004", G. Mauri, Gh. Paun, M. Pérez-Jiménez, G. Rozenberg, A. Salomaa (ed.); Springer, LNCS, Berlin, 2005, ISBN: 3-540-25080-8, 309 - 319.

R. Freund, M. Oswald, L. Staiger:
"ω-P automata with Communication Rules";
in: "Membrane Computing. International Workshop WMC 2003, Tarragona, Spain, July 17-22, 2003 ", C. Martin-Vide, G. Mauri, Gh. Paun, G. Rozenberg, A. Salomaa (ed.); Springer, Heidelberg, 2004, ISBN: 3-540-20895-x, 203 - 217.

R. Freund, M. Oswald, S. Verlan et al.:
"Time-varying sequential P systems";
in: "13th International Conference on Membrane Computing", E. Csuhaj-Varjú et al. (ed.); MTA Sztaki, Budapest, 2012, ISBN: 978-963-311-372-1, 99 - 114.

R. Freund, A. Paun:
"P Systems with Active Membranes and without Polarizations";
in: "Second Brainstorming Week on Membrane Computing", Gh. Paun, A. Riscos-Núñez, A. Romero-Jiménez, F. Sancho-Caparrini (ed.); Universidad de Sevilla, Sevilla, 2004, 193 - 205.

R. Freund, Gh. Paun:
" Membrane Systems with Symport/Antiport: Universality Results";
in: "Membrane Computing. International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania", Gh. Paun et al. (ed.); Springer, 2003, ISBN: 3-540-00611-7, 270 - 287.

R. Freund, Gh. Paun, M. Pérez-Jiménez:
"Tissue-like P Systems with Channel-States";
in: "Second Brainstorming Week on Membrane Computing", Gh. Paun, A. Riscos-Núñez, A. Romero-Jiménez, F. Sancho-Caparrini (ed.); Universidad de Sevilla, Sevilla, 2004, 206 - 223.

R. Freund, Y. Rogozhin, S. Verlan:
"P Systems with Minimal Left and Right Insertion and Deletion";
in: "11th Int. Conference on Unconventional Computation and Natural Computation", J. Durand-Lose et al. (ed.); Springer LNCS, Heidelberg, 2012, ISBN: 978-3-642-32893-0, 82 - 93.

R. Freund, S. Verlan et al.:
"A formal framework for P systems with Dynamic Structure";
in: "Tenth Brainstorming Week on Membrane Computing", M. Martinez et al. (ed.); Fénix Editora, Sevilla, 2012, ISBN: 978-84-940056-5-7, 111 - 122.

R. Freund, S. Verlan et al.:
"A formal framework for P systems with Dynamic Structure";
in: "13th International Conference on Membrane Computing", E. Csuhaj-Varjú et al. (ed.); MTA Sztaki, Budapest, 2012, ISBN: 978-963-311-372-1, 199 - 210.

R. Freund, S. Verlan et al.:
"P Systems with Minimal Left and Right Insertion and Deletion";
in: "Tenth Brainstorming Week on Membrane Computing", M. Martinez et al. (ed.); Fénix Editora, Sevilla, 2012, ISBN: 978-84-940056-5-7, 123 - 136.

A Gil, M Herman, G. Salzer, B Zanuttini:
"Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains (Extended Abstract)";
in: "Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004", D Basin, M Rusinowitch (ed.); Springer, LNCS 3097, 2004, ISBN: 3-540-22345-2, 244 - 258.

M. Girlando, B. Lellmann, N. Olivetti:
"Nested Sequents for the Logic of Conditional Belief";
in: "JELIA 2019", Springer, 2019, ISBN: 978-3-030-19569-4, 709 - 725.

B. Gramlich, S. Lucas:
"Modular Termination of Context-Sensitive Rewriting";
in: "Proc. 4th International Conference on Principles and Practice of Declarative Programming (PPDP 2002)", C. Kirchner (ed.); ACM Press, 2002, ISBN: 1-58113-528-9, 50 - 61.

B. Gramlich, S. Lucas:
"Simple Termination of Context-Sensitive Rewriting";
in: "Proc. 3rd ACM Sigplan Workshop on Rule-based Programming (RULE 2002)", Springer, 2002, ISBN: 1-58113-606-4, 29 - 41.

S. Hetzl, A. Leitsch, G. Reis, J. Tapolczai, D. Weller:
"Introducing Quantified Cuts in Logic with Equality";
in: "Automated Reasoning - 7th International Joint Conference", issued by: IJCAR; LNCS 8562, Springer, 2014, 240 - 254.

S. Hetzl, P. Mutzel:
"A Graph-Theoretic Approach to Steganography";
in: "9th IFIP Conference on Communications and Multimedia Security (CMS 2005)", J. Dittmann, S. Katzenbeisser, A. Uhl (ed.); issued by: International Federation for Information Processing; Springer, LNCS 3677, 2005, ISBN: 3-540-28791-4, 119 - 128.

E. Jiresch:
"Towards a GPU-based Implementation of Interaction Nets";
in: "The 23rd Symposium on Implementation and Application of Functional Languages (IFL 2011) - Draft Proceedings", A. Gill (ed.); issued by: The University of Kansas; The University of Kansas, 2011, 1 - 6.

M. Kompatscher et al.:
"Completing graphs to metric spaces";
in: "Electronic Notes in Discrete Mathematics", 61; Elsevier Science Publishers, 2017, 7 pages.

M. Kompatscher, M. Pinsker et al.:
"The equivalence of two dichotomy conjectures for infinite domain constraint satisfaction problems";
in: "Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017), Reykjavik, 2017", IEEE Computer Society Press, 2017, ISBN: 9781509030194, 1 - 12.

T Lang:
"A Reduction in Violation Logic";
in: "Proceedings of DEON2020/21", College Publications, 2021, ISBN: 978-1-84890-352-4, 291 - 307.

A. Leitsch:
"Resolution Theorem Proving: a logical point of view";
in: "Logic Colloquium '01", issued by: Matthias Baaz, Sy-David Friedman, Jan Krajicek; Association of Symbolic Logic, A K Peters, Ltd., Wellesley, Massachusetts, 2005, (invited), ISBN: 1-56881-247-7, 3 - 42.

A. Leitsch, M. Baaz:
"CERES in Many-Valued Logics";
in: "Logic for Programming, Artificial Intelligence, and Reasoning", issued by: Franz Baader, Andrei Voronkov; Springer, LNAI, Heidelberg, 2005, (invited), ISBN: 3-540-25236-3, 1 - 20.

A. Leitsch, T. Dunchev, D. Weller, B. Woltzenlogel-Paleo, T. Libal:
"System Description: The Proof Transformation System CERES";
in: "IJCAR 2010", J. Giesl, R. Hähnle (ed.); Springer, LNAI, Heidelberg, 2010, ISBN: 978-3-642-14202-4, 427 - 433.

A. Leitsch, S. Hetzl, D. Weller:
"Towards Algorithmic Cut-Introduction";
in: "Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18", N. Bjorner, A. Voronkov (ed.); Springer LNCS, 2012, ISBN: 978-3-642-28716-9, 228 - 242.

A. Leitsch, S. Hetzl, D. Weller, B. Woltzenlogel-Paleo:
"Herbrand Sequent Extraction";
in: "AISC/Calculemus/MKM 2008", S. Autexier et al. (ed.); Springer, Heidelberg, 2008, ISBN: 9783540851097, 462 - 477.

A. Leitsch, S. Hetzl, D. Weller, B. Woltzenlogel-Paleo:
"Proof Analysis with HLK, CERES and ProofTool: Current Status and Future Directions";
in: "Proceedings of the CICIM Workshops on ESARM-08", G. Sutcliffe, S. Colton, S. Schulz (ed.); issued by: Ceur Workshop Proceedings; CEUR-WS.org, 2008, ISSN: 1613-0073, 23 - 41.

A. Leitsch, G. Reis, B. Woltzenlogel-Paleo:
"Towards CERes in intuitionistic logic";
in: "Computer Science Logic (CSL'12) - 26th International Workshop/21st", P. Cegielski et al. (ed.); Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2012, ISBN: 978-3-939897-42-2, 485 - 499.

B. Lellmann:
"Theorem Proving for Lewis Logics of Counterfactual Reasoning";
in: "Proceedings of CILC 2020. CEUR Workshop Proceedings, 2020.", 2710; F. Calimeri et al. (ed.); Creative Commons License Attribution 4.0 International (CC BY 4.0)., 2020, ISSN: 1613-0073, 199 - 213.

B. Lellmann, A. Ciabattoni:
"Sequent Rules for Reasoning and Conflict Resolution in Conditional Norms";
in: "DEOn 2020/2021", College Publications, 2020, 1 - 18.

B. Lellmann, A. Ciabattoni, E. Freschi, F. Genco:
"Mimamsa Deontic Logic: Proof Theory and Applications";
in: "Automated Reasoning with Analytic Tableaux and Related Methods", 9323; H. De Nivelle (ed.); Springer LNCS, 2015, ISBN: 978-3-319-24311-5, 21 - 24.

B. Lellmann, T. Dalmonte et al.:
"Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics";
in: "Logical Foundations of Computer Science - International Symposium, {LFCS} 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings", 11972; S. Artemov et al. (ed.); Springer International Publishing, 2020, ISBN: 978-3-030-36754-1, 27 - 46.

B. Lellmann et al.:
"A uniform framework for substructural logics with modalities";
in: "LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, 7-12th May 2017", 46; T. Eiter et al. (ed.); EasyChair EPiC Series in Computing, 2017, ISSN: 2398-7340, 435 - 455.

B. Lellmann et al.:
"Standard Sequent Calculi for Lewis' Logics of Counterfactuals";
in: "Logics in Artificial Intelligence, 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11", 10021; Springer International Publishing, Heidelberg, 2016, ISBN: 978-3-319-48757-1, 272 - 287.

B. Lellmann et al.:
"VINTE: An implementation of internal calculi for Lewis´ logics of counterfactual reasoning";
in: "Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2017. Springer / Lecture Notes in Computer Science", 10501; Springer LNCS, 2017, ISBN: 978-3-319-66901-4, 149 - 159.

B. Lellmann, D. Pattinson:
"Contructing cut free sequent systems with context restrictions based on classical or intuitionistic logic";
in: "Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings, LNCS 7750", Springer, 2013, ISBN: 978-3-642-36038-1, 148 - 160.

B. Lellmann, E. Pimentel:
"Proof Search in Nested Sequent Calculi";
accepted for publication in: "Logic for Programming, Artificial Intelligence, and Reasoning", 9450; A. Voronkov et al. (ed.); Springer International Publishing, 2015, ISBN: 978-3-662-48898-0.

M. Olszewski, X. Parent et al.:
"Input/Output Logic With a Consistency Check-the Case of Permission";
in: "Proceedings of DEON2020/21", College Publications, 2021, ISBN: 978-1-84890-352-4, 358 - 375.

N. Pfeifer, C. Fermüller:
"Probabilistic interpretations of argumentative attacks: logical and experimental foundations";
in: "Proceedings of the 11th Workshop on Uncertainty Processing (WUPES´18) Trebon, Czech Republic", V. Kratochvil, J. Vejnarova (ed.); MatfyzPress, Publishing House of the Faculty of Mathematics and Physics Charles University, Prague, Czech Republic, 2018, ISBN: 978-80-7378-361-7, 141 - 152.

M. Pinsker et al.:
"Constraint Satisfaction Problems for Reducts of Homogeneous Graphs";
in: "Proceedings of 43rd International Colloquium on Automata, Languages, and Programming, ICALP", 119; Springer, 2016, 1 - 14.

M. Pinsker et al.:
"The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems";
in: "Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} '16, New York, NY, USA, July 5-8, 2016}", ACM Press, New York, 2016, ISBN: 978-1-4503-4391-6, 615 - 622.

R. Ramanayake, A. Ciabattoni:
"Bunched Hypersequent Calculi for Distributive Substructural Logics";
in: "LNCS 7180, 21st International Proceedings of 21st Int. Conference on Logic for Programming, Artificial Intelligence and Reasoning", 7180; T. Eiter et al. (ed.); issued by: Springer; Springer LNCS, 2017, ISBN: 978-3642287169, 417 - 434.

R. Ramanayake, A. Ciabattoni, T. Lyon:
"From Display to Labelled Proofs for Tense Logics";
accepted for publication in: "Proceedings of LFCS 2018.", WordPress.

G. Recski, B. Lellmann, A. Kovacs, A. Hanbury:
"Explainable Rule Extraction via Semantic Graphs";
in: "Proceedings of the Fifth Workshop on Automated Semantic Analysis of Information in Legal Text (ASAIL 2021)", issued by: CEUR Workshop Proceedings; CEUR-WS.org, 2021, 24 - 35.

R. Rodriguez et al.:
"On the use of Hesitant Fuzzy Linguistic Term Set in FLINTSTONES.";
in: "Fuzzy Systems (FUZZ-IEEE)", issued by: IEEE; IEEE Computer Society Press, 2014, ISBN: 978-1-4799-2073-0, 784 - 791.

G. Salzer, R. Barta:
"The τ model, fomalizing topic maps";
in: "Proceedings of the 2nd-Asia-Pacific conference on Conceptual modelling", issued by: Australian Computer Society; Australian Computer Society, Darlinghurst, Australia, 2005, ISSN: 1445-1336, 37 - 42.

G. Salzer, S Limet:
"Proving Properties of Term Rewrite Systems via Logic Programs";
in: "Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004", V van Oostrom (ed.); Springer, LNCS 3091, 2004, ISBN: 3-540-22153-0, 170 - 184.

F. Schernhammer, J. Meseguer:
"Incremental Checking of Well-Founded Recursive Specifications Modulo Axioms";
in: "Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2011), July 20-22, 2011, Odense, Denmark", P. Schneider-Kamp, M. Hanus (ed.); issued by: Peter Schneider-Kamp and Michael Hanus; ACM Press, 2011, ISBN: 978-1-4503-0776-5, 5 - 16.

P. Sosik, R. Freund:
" P Systems Without Priorities are Computationally Universal";
in: "Membrane Computing. International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania", R. Freund (ed.); Springer, 2003, ISBN: 3-540-00611-7, 400 - 409.

P. Sosik, R. Freund:
" String Rewriting Sequential P-Systems and Regulated Rewriting";
in: "Developments in Language Theory", issued by: Werner Kuich, Grzegorz Rozenberg, Arto Salomaa; Springer, 2002, ISBN: 3-540-43453-4, 379 - 388.

K. van Berkel et al.:
"If You Want to Smoke, Don´t Buy Cigarettes: Near Anankastics, Contexts, and Hyper Modality";
in: "Proceedings of DEON2020/21", College Publications, 2021, ISBN: 978-1-84890-352-4, 36 - 55.

K. van Berkel, T. Lyon:
"The Varieties of Ought-Implies-Can and Deontic STIT Logic";
in: "Proceedings of DEON2020/21", College Publications, 2021, ISBN: 978-1-84890-352-4, 55 - 76.

K. van Berkel, T. Lyon et al.:
"A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms";
in: "Proceedings of Logic and Argumentation. CLAR 2020", 12061; M. Dastani et al. (ed.); Springer International Publishing, 2020, ISBN: 978-3-030-44637-6, 219 - 241.

B. Woltzenlogel-Paleo:
"Contextual Natural Deduction";
in: "Proceedings of the Symposium on Logical Foundations in Computer Science (LFCS 2013)", S. Artemov et al. (ed.); Springer LNCS, Heidelberg, 2013, ISBN: 978-3-642-35721-3, 372 - 386.

B. Woltzenlogel-Paleo et al.:
"Higher-Order Modal Logics: Automation and Applications";
in: "Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin", 9203; Springer LNCS, 2015, ISBN: 978-3-319-21768-0, 32 - 74.

B. Woltzenlogel-Paleo et al.:
"Interacting with Modal Logics in the Coq Proof Assistant";
in: "Computer Science - Theory and Applications - 10th International Computer Science Symposium in Russia, {CSR} 2015", 9139; L. Beklemishev et al. (ed.); Springer LNCS, 2015, ISBN: 978-3319202969, 398 - 411.

B. Woltzenlogel-Paleo et al.:
"Skeptik: A Proof Compression System";
in: "Automated Reasoning - 7th International Joint Conference, IJCAR 2014", Springer LNCS, 2014, ISBN: 978-3-319-08586-9, 374 - 380.

B. Woltzenlogel-Paleo et al.:
"Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses";
in: "Automated Deduction - {CADE-25} - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings", 9195; A. Middeldorp et al. (ed.); Springer, LNAI, 2015, ISBN: 978-3-319-21401-6, 356 - 366.

B. Woltzenlogel-Paleo, P. Fontaine, S. Merz:
"Compression of Propositional Resolution Proofs via Partial Regularization";
in: "Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings", Springer, 2011, ISBN: 978-3-642-22437-9, 237 - 251.

B. Woltzenlogel-Paleo, P. Fontaine, S. Merz, D. Deharbe:
"Exploiting Symmetry in SMT Problems";
in: "Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings", Springer LNCS, LNCS/6803, 2011, ISBN: 978-3-642-22437-9, 222 - 236.


Talks and Poster Presentations (with Proceedings-Entry)


A. Alhazov, R. Freund:
"On the Efficiency of P Systems with Active Membranes and Two Polarizations.";
Talk: Workshop on Membrane Computing, Milano, Italy; 2004-06-14 - 2004-06-16; in: " Pre-proceedings of the Fifth Workshop on Membrane Computing, Milano - Italy, June 2004 (WMC5)", G. Mauri, Gh. Paun, C. Zandron (ed.); (2004), 81 - 94.

A. Alhazov, R. Freund, M. Oswald:
"Symbol/Membrane Complexity of P Systems with Symport/Antiport Rules";
Talk: Workshop on Membrane Computing, Wien; 2005-07-18 - 2005-07-21; in: "Preproceedings of the 6th International Workshop on Membrane Computing WMC6", F. Freund, G. Lojka, M. Oswald, Gh. Paun (ed.); (2005), 123 - 146.

A. Alhazov, R. Freund, M. Oswald:
"Tissue P Systems with Antiport Rules and Small Numbers of Symbols and Cells";
Talk: International Conference on Developments in Language Theory (DLT), Palermo, Italy; 2005-07-04 - 2005-07-08; in: "Developments in Language Theory. 9th International Conference, DLT 2005", C. De Felice, A. Restivo (ed.); Springer, LNCS 3572 (2005), ISBN: 3-540-26546-5; 100 - 111.

A. Alhazov, R. Freund, M. Oswald, M. Slavkovik:
"Extended Spiking Neural P Systems as Generating Devices for Strings and Vectors of Non-Negative Integers";
Talk: Theorietag Automaten und Formale Sprachen, Wien; 2006-09-27 - 2006-09-29; in: "Proceedings 16.Theorietag Automaten und Formale Sprachen", R. Freund, M. Oswald (ed.); (2006), 17 - 21.

A. Alhazov, R. Freund, M. Oswald, M. Slavkovik:
"Extended Spiking Neural P Systems Generating Strings and Vectors of Non-Negative Integers";
Talk: Workshop on Membrane Computing, WMC7, Leiden, Niederlande; 2006-07-17 - 2006-07-21; in: "pre-proceedings of the 7th Workshop on Membrane Computing WMC7", H. Hoogeboom, Gh. Paun, G. Rozenberg (ed.); (2006), 88 - 101.

A. Alhazov, R. Freund, M. Oswald, S. Verlan:
"Partial Halting in P Systems Using Membrane Rules with Permitting Contexts";
Talk: MCU (International Conference Machines, Computations and Universality), Orleans; 2007-09-10 - 2007-09-13; in: "Machines, Computations, and Universality", J. Durand-Lose, M. Margenstern (ed.); LNCS, Springer, 4664 (2007), ISSN: 0302-9743; 110 - 121.

A. Alhazov, R. Freund, A. Riscos-Núñez:
"One and Two Polarizations, Membrane Creation and Objects Complexity in P Systems";
Talk: International Workshop on Theory and Application of P Systems (TAPS), Timisoara, Romania; 2005-09-26 - 2005-09-27; in: "Proceedings of the 1st International Workshop on Theory and Application of P Systems", G. Ciobanu, Gh. Paun (ed.); ???, (2005), 9 - 18.

A. Alhazov, R. Freund, Y. Rogozhin:
"Computational Power of Symport/Antiport: History, Advances and Open Problems";
Talk: Workshop on Membrane Computing, Wien (invited); 2005-07-18 - 2005-07-21; in: "Preproceedings of the 6th International Workshop on Membrane Computing WMC6", R. Freund, G. Lojka, M. Oswald, Gh. Paun (ed.); (2005), 44 - 78.

M. Alviano, F. Calimeri, G. Charwat, M. Dao-Tran, C. Dodaro, G. Ianni, T. Krennwallner, M. Kronegger, J. Oetsch, A. Pfandler, J. Puehrer, C. Redl, F. Ricca, P. Schneider, M. Schwengerer, L. Spendier, J. P. Wallner, G. Xiao:
"The Fourth Answer Set Programming Competition: Preliminary Report";
Talk: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, Spain (invited); 2013-09-15 - 2013-09-19; in: "12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013)", P. Cabalar, T. Son (ed.); Springer, 8148 (2013), 42 - 53.

F. Aschieri, F. Genco, A. Ciabattoni:
"Classical Proofs as Parallel Programs";
Talk: Ninth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2018), Saarbrücken; 2018-09-26 - 2018-09-28; in: "Proceedings of Ninth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2018)", (2018), 43 - 57.

M. Baaz, A. Ciabattoni, C. Fermüller:
"Monadic Fragments of Gödel Logics: Decidability and Undecidability Results";
Talk: LPAR 2007, Yerevan, Armenia; 2007-10-15 - 2007-10-19; in: "Logic for Programming, Artificial Intelligence, and Reasoning", N Dershowitz, A. Voronkov (ed.); Springer, LNCS 4790 (2007), ISBN: 978-3-540-75558-6; 77 - 91.

M. Baaz, C. Fermüller:
"A translation characterizing the constructive content of classical theories";
Talk: Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), Almaty, Kazakhstan; 2003-09-22 - 2003-09-26; in: " Logic for Programming, Artificial Intelligence and Reasoning", Springer, LNAI 2850 (2003), ISBN: 3-540-20101-7; 107 - 121.

M. Baaz, C. Fermüller:
"Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic Logic";
Talk: Annual Conference of the European Association for Computer Science Logic (CSL), Berlin; 2015-10-07 - 2015-10-10; in: "24th EACSL Annual Conference on Computer Science Logic (CSL 2015)", S. Kreutzer (ed.); LIPIcs 41 (2015), ISBN: 978-3-939897-90-3; 14 pages.

M. Baaz, C. Fermüller, A Gil, N Preining, G. Salzer:
"MUltlog and MUltseq Reanimated and Married";
Talk: 4th International Workshop on the Implementation of Logics, Almaty, Kazakhstan; 2003-09-26; in: "Proc. of the 4th International Workshop on the Implementation of Logics", (2003), 13 - 17.

M. Baaz, S. Hetzl, A. Leitsch, Clemens Richter, H. Spohr:
"System Description: The Cut-Elimination System CERES";
Talk: FLoC'06 Workshop on Empirically Successful Computerized Reasoning (ESCoR), Seattle, USA; 2006-08-21; in: "ESCoR 2006 Empirically Successful Computerized Reasoning", G. Sutcliffe, R. Schmidt, S. Schulz (ed.); CEUR Workshop Proceedings, 192 (2006), ISSN: 1613-0073; Paper ID 11, 9 pages.

M. Baaz, N. Preining, R Zach:
"Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics";
Talk: ISMVL 03 (33rd International Symposium on Multiple-valued Logic), Tokyo, Japan; 2003-05-16 - 2003-05-19; in: "ISMVL 2003, the 33rd Intl. Symposi um on Multiple-valued Logic", IEEE Computer Society, Los Alamitos, USA (2003), ISBN: 0-7695-19-18-0; 175 - 180.

P. Baldi:
"A Calculus for Rational Łukasiewicz Logic and Related Systems.";
Talk: Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2016), Eindhoven; 2016-06-20 - 2016-06-24; in: "Information Processing and Management of Uncertainty in Knowledge-Based Systems. IPMU 2016", (2016), ISBN: 978-3-319-40596-4.

P. Baldi, A. Ciabattoni:
"Standard Completeness for Uninorm-Based Logics";
Talk: 2015 IEEE International Symposium on Multiple-Valued Logic (ISMVL 2015), Waterloo, Canada; 2015-05-18 - 2015-05-20; in: "Proceedings of 2015 IEEE International Symposium on Multiple-Valued Logic (ISMVL 2015)", (2015), 78 - 83.

P. Baldi, A. Ciabattoni, L. Spendier:
"Standard completeness for extensions of MTL: an automated approach";
Talk: 19th Workshop on Language, Information and Computation, Buenos Aires, Argentina; 2012-09-03 - 2012-09-06; in: "Logic, Language, Information and Computation (LNCS 2012)", Springer, 7456 (2012), 154 - 167.

P. Baldi, C. Fermüller:
"From Semi-fuzzy to Fuzzy Quantifiers via Lukasiewicz Logic and Games";
Talk: EUSFLAT-2017 and IWIFSGN'2017, Warschau; 2017-09-11 - 2017-09-15; in: "Proceedings of: EUSFLAT-2017", 641 (2017), ISBN: 978-3-319-66829-1; 112 - 124.

M. Bareis, M. Di Angelo, G. Salzer:
"Functional Differences of Neo and Ethereum as Smart Contract Platforms";
Talk: 2nd Int. Congress on Blockchain and Applications (ICBA), Aquila; 2020-09-28 - 2020-09-30; in: "2nd International Congress on Blockchain and Applications", J. Prieto et al. (ed.); Springer, AISC 1238 (2020), ISBN: 978-3-030-52535-4; 13 - 23.

F. Bernardini, R. Freund:
"Tissue P Systems with Communication Modes";
Talk: Workshop on Membrane Computing, WMC7, Leiden, Niederlande; 2006-07-17 - 2006-07-21; in: "pre-proceedings of the 7th Workshop on Membrane Computing WMC7", H. Hoogeboom, Gh. Paun, G. Rozenberg (ed.); (2006), 132 - 144.

M. Beyreder, R. Freund:
"(Tissue) P systems using non-cooperative rules without halting conditions";
Talk: Workshop on Membrane Computing, WMC, Edinburgh; 2008-07-28 - 2008-07-31; in: "Proceedings of the Ninth Workshop on Membrane Computing", P. Frisco, D. W. Corne, Gh. Paun (ed.); (2008), 85 - 94.

A. Binder, R. Freund, G. Lojka, M. Oswald:
"Applications of membrane systems in distributed systems";
Talk: BIC-TA 2006, Wuhan, China; 2006-09-18 - 2006-09-22; in: "Pre-proc. of Int. Conf. on Bio-Inspired Computing - Theory and Applications, BIC-TA 2006, Membrane Computing Section", L. Pan, Gh. Paun (ed.); (2006), 37 - 50.

A. Binder, R. Freund, G. Lojka, M. Oswald:
"Implementation of Catalytic P Systems";
Talk: CIAA (Conference on Implementation and Application of Automata), Kingston, Ontario, Canada; 2004-07-22 - 2004-07-24; in: "Pre-proceedings CIAA 2004, Queen's University, Kingston, Ontario, Canada, 2004", M. Domaratzky, A. Okhotin, K. Salomaa, S. Yu (ed.); (2004), 24 - 33.

A. Binder, R. Freund, G. Lojka, M. Oswald:
"Implementierung von katalytischen P-Systemen";
Talk: Theorietag Automaten und Formale Sprachen, Caputh bei Potsdam, Germany; 2004-09-27 - 2004-09-30; in: "Workshop Formale Methoden der Linguistik und 14. Theorietag Automaten und Formale Sprachen. Preprint 2/2004, Institut für Informatik, Universität Potsdam, 2004.", S. Bensch, O. Boldt, H. Bordihn, H. Jürgensen (ed.); (2004), 49 - 53.

A. Binder, R. Freund, G. Lojka, M. Oswald:
"Membrane Systems as a Model for Distributed Computing";
Talk: Theorietag Automaten und Formale Sprachen, Lauterbad bei Freudenstadt; 2005-09-28 - 2005-09-29; in: "15. Theorietag der GI Fachgruppe 0.1.5 Automaten und Formale Sprachen", H. Fernau (ed.); (2005), ISSN: 0946-3852; 1 - 5.

A. Binder, R. Freund, G. Lojka, M. Oswald:
"Modelling Distributed Systems by P Systems";
Talk: Theorietag Automaten und Formale Sprachen, Wien; 2006-09-27 - 2006-09-29; in: "Proceedings 16.Theorietag Automaten und Formale Sprachen", R. Freund, M. Oswald (ed.); (2006), 22 - 27.

A. Binder, R. Freund, M. Oswald:
"Extended Spiking neural P systems - variants for modeling the brain";
Talk: Intern. Symp. on Artificial Life and Robotics (AROB), Beppu, Oita, Japan; 2008-01-31 - 2008-02-02; in: "Proc.13th International Symposium on Artificial Life and Robotics AROB13th 2008", M. Sugisaka, H. Tanaka (ed.); (2008), ISBN: 978-4-9902880-2-0; 520 - 524.

A. Binder, R. Freund, M. Oswald:
"Modelling Artificial Life by Attributed Eco-array Systems";
Talk: Intern. Symp. on Artificial Life and Robotics (AROB), Beppu, Oita, JAPAN; 2004-01-28 - 2004-01-30; in: "Proceedings of the ninth International Symposium on Artificial Life and Robotics (AROB 9th '04)", M. Sugisaka, H. Tanaka (ed.); (2004), ISBN: 4-9900462-4-2; 45 - 48.

A. Binder, R. Freund, M. Oswald:
"Simulating the behaviour of cellular automata by extended spiking neural P systems.";
Talk: Intern. Symp. on Artificial Life and Robotics (AROB), Beppu, Japan; 2009-02-05 - 2009-02-07; in: "14th International Symposium on Artificial Life and Robotics", M. Sugisaka, H. Tanaka (ed.); (2009), ISBN: 978-4-9902880-3-7; 293 - 296.

A. Binder, R. Freund, M. Oswald, L. Vock:
"Modelling Logical Gates with ESNPA Systems";
Talk: Theorietag Automaten und Formale Sprachen, Leipzig; 2007-09-27 - 2007-09-29; in: "17.Theorietag Automaten und Formale Sprachen", M. Droste, M. Lohrey (ed.); (2007), 28 - 32.

A. Borg, R. Kuznets:
"Realization Theorems for Justification Logics: Full Modularity";
Talk: 24th International Conference, TABLEAUX 2015, Breslau, Polen; 2015-09-21 - 2015-09-24; in: "Automated Reasoning with Analytic Tableaux and Related Methods, 24th International Conference, TABLEAUX 2015, Wrosław, Poland, September 21-24, 2015, Proceedings", H. De Nivelle (ed.); Springer LNCS, 9323 (2015), ISBN: 978-3-319-24311-5; 221 - 236.

J Bradley:
"Fuzzy Logic as a Theory of Vagueness";
Talk: 5th EUSFLAT Conference, Ostrava, Czech Republic; 2007-09-11 - 2007-09-14; in: "New Dimensions in Fuzzy Logic and Related Technologies", M Stepnicka, V Novak, U Bodenhofer (ed.); 1 (2007), ISBN: 978-80-7368-386-3; 417 - 424.

L. Cabrer et al.:
"L ukasiewicz Public Announcement Logic";
Talk: International Conference on Information Processing and Management of Uncertainty in Knowledge based Systems, Eindhoven; 2016-06-20 - 2016-06-24; in: "Communications in Computer and Information Science", 611 (2016), ISBN: 978-3-319-40581-0; 108 - 122.

G. Charwat, G. Ianni, T. Krennwallner, M. Kronegger, A. Pfandler, C. Redl, M. Schwengerer, L. Spendier, J. P. Wallner, G. Xiao:
"VCWC: A Versioning Competition Workflow Compiler";
Talk: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, Spain; 2013-09-15 - 2013-09-19; in: "12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013)", T. Son, P. Cabalar (ed.); Springer, 8148 (2013), 233 - 238.

A. Ciabattoni:
"Analytic Calculi for Non-Classical Logics: Theory and Applications";
Talk: 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, Marseille; 2016-08-29 - 2016-09-01; in: "25th EACSL Annual Conference on Computer Science Logic (CSL 2016)", 62 (2016), ISBN: 978-3-95977-022-4.

A. Ciabattoni, C. Fermüller, G Metcalfe:
"Uniform Rules and Dialogue Games for Fuzzy Logics";
Talk: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Montevideo, Uruguay; 2005-03-14 - 2005-03-18; in: "Logic for Programming, Artificial Intelligence, and Reasoning", F. Baader, A. Voronkov (ed.); Springer, LNAI 3452 (2005), ISBN: 3-540-25236-3; 496 - 510.

A. Ciabattoni, F. Genco:
"Embedding formalisms: hypersequents and two-level systems of rules";
Talk: AIML 2016, Budapest; 2016-08-30 - 2016-09-02; in: "Advances in Modal Logic (AIML 2016)", 11 (2016), ISBN: 978-1848902015; 197 - 216.

A. Ciabattoni, F. Genco et al.:
"Gödel Logic: From Natural Deduction to Parallel Computation";
Talk: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, Reykjavik; 2017-06-20 - 2017-06-23; in: "Proceedings of 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland", (2017), ISBN: 978-1-5090-3018-7; 1 - 12.

A. Ciabattoni, O. Lahav, L. Spendier, A. Zamansky:
"Automated Support for the Investigation of Paraconsistent and Other Logics";
Keynote Lecture: Symposium on Logical Foundations of Computer Science (LFCS), San Diego; 2013-01-06 - 2013-01-08; in: "Proceedings of the Symposium on Logical Foundations in Computer Science (LFCS 2013)", S. Artemov, A. Nerode (ed.); LNCS 7734 (2013), 119 - 133.

A. Ciabattoni, P. Maffezioli, L. Spendier:
"Hypersequent and Labelled Calculi for Intermediate Logics";
Keynote Lecture: Tableaux 2013, Nancy; 2013-09-16 - 2013-09-19; in: "Tableaux 2013", D. Galmiche, D. Larchey-Wendling (ed.); LNCS 8123 (2013), 81 - 96.

A. Ciabattoni, R. Ramanayake:
"Structural extensions of display calculi: A general recipe";
Talk: 20th International Workshop on Logic, Language, Information and Computation WoLLIC 2013, Darmstadt. Germany; 2013-08-20 - 2013-08-24; in: "Proceedings 20th International Workshop, WoLLIC 2013", Springer Lecture Notes in Computer Science, 8071 (2013), ISBN: 978-3-642-39991-6; 81 - 95.

A. Ciabattoni, R. Ramanayake, T Lang:
"Bounded sequent calculi for non-classical logics via hypersequents";
Talk: TABLEAUX 2019, London, UK; 2019-09-03 - 2019-09-05; in: "Automated Reasoning with Analytic Tableaux and Related Methods. 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings", Springer, LNCS, vol.11714 (2019), ISBN: 978-3-030-29025-2; 94 - 110.

A. Ciabattoni, L. Spendier:
"Tools for the Investigation of Substructural and Paraconsistent Logics";
Talk: 14th European Conference, JELIA, Funchal, Madeira (invited); 2014-09-24 - 2014-09-26; in: "Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proce", LNCS/Springer, 8761 (2014), ISBN: 978-3-319-11557-3; 18 - 32.

E Corsi, C. Fermüller:
"From semi-abstract argumentation to logical consequence";
Talk: Argumentation and Inference - 2nd European Conference on Argumentation, Fribourg, Schweiz; 2017-06-20 - 2017-06-23; in: "Argumentation and Inference, Proceedings of the 2 nd European Conference on Argumentation", S. Oswald, D. Mailat (ed.); College Publications, Studies in Logic, Volume 77 (2018), ISBN: 978-1-84890-284-8; 151 - 164.

E Corsi, C. Fermüller:
"Logical Argumentation Principles, Sequents, and Nondeterministic Matrices";
Talk: Logic, Rationality, and Interaction - LORI VI, Sapporo, Japan; 2017-09-11 - 2017-09-14; in: "Logic, Rationality, and Interaction. LORI 2017", A Baltag et al. (ed.); Springer, LNCS 10455 (2017), ISBN: 978-3-662-55664-1; 422 - 437.

S. Craß, E. Kühn, G. Salzer:
"Algebraic foundation of a data model for an extensible space-based collaboration protocol";
Talk: International Database Engineering and Applications Symposium (IDEAS 2009), Cetraro, Calabria, Italy; 2009-09-16 - 2009-09-18; in: "Proc. International Database Engineering and Applications Symposium", B. Desai, D. Saccà, S. Greco (ed.); ACM, (2009), ISBN: 978-1-60558-402-7; 301 - 306.

E. Csuhaj-Varjú, R. Freund, D. Sburlan:
"Modeling the Dynamical Parallelism of Bio-Systems";
Talk: Workshop on Membrane Computing, WMC7, Leiden, Niederlande; 2006-07-17 - 2006-07-21; in: "pre-proceedings of the 7th Workshop on Membrane Computing WMC7", H. Hoogeboom, Gh. Paun, G. Rozenberg (ed.); (2006), 290 - 310.

T. Dalmonte, B. Lellmann, N. Olivetti, E. Pimentel:
"Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics";
Talk: International Symposium on Logical Foundations of Computer Science 2020, Deerfield Beach, USA; 2016-01-04 - 2016-01-07; in: "Logical Foundations of Computer Science 2020", S. Artemov, A. Nerode (ed.); Springer, 9537 (2016), ISBN: 978-3-319-27683-0; 27 - 46.

M. Di Angelo, C. Sack, G. Salzer:
"SoK: Development of Secure Smart Contracts - Lessons from a Graduate Course";
Talk: 3rd Workshop on Trusted Smart Contracts, Financial Cryptography 2019, St.Kitts; 2019-02-22 - 2019-02-26; in: "3rd Workshop on Trusted Smart Contracts, Financial Cryptography 2019, Proceedings", Springer, LNCS 11599 (2020), 91 - 105.

M. Di Angelo, G. Salzer:
"A Survey of Tools for Analyzing Ethereum Smart Contracts";
Talk: IEEE International Conference on Decentralized Applications and Infrastructures, San Francisco; 2019-04-05 - 2019-04-09; in: "2019 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPCON), Proceedings", IEEE, (2019), ISBN: 978-1-7281-1264-0; 69 - 78.

M. Di Angelo, G. Salzer:
"Assessing the Similarity of Smart Contracts by Clustering their Interfaces";
Talk: 19th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), Guangzhou, China; 2020-12-29 - 2021-01-01; in: "19th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)", IEEE, (2020), ISBN: 978-0-7381-4380-4; 1 - 10.

M. Di Angelo, G. Salzer:
"Characteristics of Wallet Contracts on Ethereum";
Talk: 2nd Conference on Blockchain Research & Applications for Innovative Networks and Services, Paris; 2020-09-28 - 2020-09-30; in: "Proc. BRAINS", IEEE, (2020), 8 pages.

M. Di Angelo, G. Salzer:
"Characterizing Types of Smart Contracts in the Ethereum Landscape";
Talk: 4th Workshop on Trusted Smart Contracts, Financial Cryptography 2020, Kota Kinabalu, Malaysia; 2020-02-14 - 2020-02-16; in: "Financial Cryptography and Data Security (FC 2020) International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Revised Selected Papers", Springer, LNCS 12063 (2020), 389 - 404.

M. Di Angelo, G. Salzer:
"Collateral Use of Deployment Code for Smart Contracts in Ethereum";
Talk: 2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS), Gran Canaria; 2019-06-24 - 2019-06-26; in: "2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS)", IEEE, (2019), ISBN: 978-1-7281-1542-9; 1 - 5.

M. Di Angelo, G. Salzer:
"Mayflies, Breeders, and Busy Bees in Ethereum: Smart Contracts Over Time";
Talk: BCC 2019 : The Third ACM Workshop on Blockchains, Cryptocurrencies and Contracts, Auckland, New Zealand; 2019-07-08 - 2019-07-15; in: "Third ACM Workshop on Blockchains, Cryptocurrencies and Contracts (BCC '19)", ACM, (2019), ISBN: 978-1-4503-6785-1; 1 - 10.

M. Di Angelo, G. Salzer:
"Tokens, Types, and Standards: Identification and Utilization in Ethereum";
Talk: International Conference on Decentralized Applications and Infrastructures (IEEE DAPPS 2020), Oxford, UK; 2020-04-13 - 2020-04-16; in: "Proc. IEEE DAPPS 2020", IEEE, (2020), ISBN: 978-1-7281-6978-1; 1 - 10.

M. Di Angelo, G. Salzer:
"Towards the Identification of Security Tokens on Ethereum";
Talk: 11th IFIP International Conference on New Technologies, Mobility and Security (NTMS 2021), Paris; 2021-04-19 - 2021-04-21; in: "3rd International Workshop on Blockchains and Smart Contracts (BSC 2020-2021)", (2021), ISBN: 978-1-6654-4399-9; 5 pages.

M. Di Angelo, G. Salzer:
"Wallet Contracts on Ethereum";
Poster: International Conference on Blockchain and Cryptocurrency, Toronto, Canada; 2020-05-02 - 2020-05-06; in: "International Conference on Blockchain and Cryptocurrency", IEEE, (2020), ISBN: 978-1-7281-6680-3; 1 - 2.

M. Di Angelo, A. Soare, G. Salzer:
"Smart Contracts in View of the Civil Code";
Talk: SAC '19: The 34th ACM/SIGAPP Symposium on Applied Computing, Limassol, Zypern; 2019-04-08 - 2019-04-12; in: "SAC '19: Symposium on Applied Computing Proceedings", ACM, (2019), ISBN: 978-1-4503-5933-7; 392 - 399.

C. Dunchev, A. Leitsch, T. Libal, M. Riener, M. Rukhaia, D. Weller, B. Woltzenlogel-Paleo:
"System feature description: importing refutations into the GAPT framework";
Talk: Proof Exchange for Theorem Proving, Second International Workshop, Manchester, UK; 2012-06-30; in: "Proceeding of Proof Exchange for Theorem Proving | Second International Workshop, PxTP 2012", D. Pichardie, T. Weber (ed.); (2012), ISSN: 1613-0073; 51 - 57.

A. Falkner, I. Feinerer, G. Salzer, G. Schenner:
"Solving Practical Configuration Problems using UML";
Talk: ECAI 2008 Workshop on Configuration Systems, Patras, Greece; 2008-07-21 - 2008-07-22; in: "Proceedings of ECAI 2008 Workshop on Configuration Systems", (2008), ISBN: 978-960-6843-01-3; 6 pages.

I. Feinerer, G. Salzer:
"Automated Tools for Teaching Formal Software Verification";
Talk: Teaching Formal Methods, London; 2006-12-15; in: "Proceedings of Teaching Formal Methods 2006", P. Boca et al. (ed.); BCS, (2006), ISSN: 1477-9358; 5 pages.

I. Feinerer, G. Salzer, T. Sisel:
"Class diagrams with equated association chains";
Talk: 7th International Symposium on Theoretical Aspects of Software Engineering, Birmingham; 2013-07-01 - 2013-07-03; in: "Proceedings of the 7th International Symposium on Theoretical Aspects of Software Engineering", (2013), 209 - 216.

I. Feinerer, G. Salzer, T. Sisel:
"Reducing multiplicities in class diagrams";
Talk: 14th International Conference on Model Driven Engineering Languages and Systems, Wellington, New Zealand; 2011-10-16 - 2011-10-21; in: "Lecture Notes in Computer Science", 6981 (2011), ISBN: 978-3-642-24484-1; 379 - 393.

C. Fermüller:
"A Game Based Approach to Quantification in Lukasiewicz Logic";
Talk: NCMPL 2011, Guangzhou; 2011-09-05 - 2011-09-09; in: "Non-classical Modal and Predicate Logics 2011", P. Cintula, S. Ju et al. (ed.); F-Solutions, Prag (2011), 58 - 63.

C. Fermüller:
"A Granularity Approach to Vague Quantification";
Talk: IUKM 2018, International Symposium on Integrated Uncertainty in Knowledge Modelling and Decision Making, Hanoi; 2018-03-15 - 2018-03-17; in: "IUKM 2018. International Symposium on Integrated Uncertainty in Knowledge Modelling and Decision Making", V. Hunyh et al. (ed.); International Symposium on Integrated Uncertainty in Knowledge Modelling and Decision Making, LNCS 10758 (2018), ISBN: 978-3-319-75428-4; 3 - 14.

C. Fermüller:
"Analytic Systems and Dialogue Games";
Talk: TABLEAUX 2005, 14th Intl Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Koblenz, Germany (invited); 2005-09-14 - 2005-09-17; in: "TABLEAUX 2005, Position Papers and Tutorial Descriptions", B Beckert (ed.); Fachberichte Informatik, Universität Koblenz-Landau (2005), ISSN: 1860-4471; 43 - 52.

C. Fermüller:
"Combining Fuzziness and Context Sensitivity in Game Based Models of Vague Quantification";
Talk: IUKM 2015, Nha Trang, Vietnam; 2015-10-15 - 2015-10-17; in: "IUKM 2015", V.-N. Huynh, M. Inuiguchi, T. Denoeux (ed.); Springer, LNCS 9376 (2015), ISBN: 978-3-319-25134-9; 19 - 31.

C. Fermüller:
"Dialogue games and the proof theory of fuzzy logics - a review and outlook";
Talk: Linz 2009, Linz; 2009-02-03 - 2009-02-07; in: "The Legacy of 30 Seminars - Where do we stand and where do we go?", U. De Baets, U Bodenhofer et al. (ed.); (2009), 42 - 45.

C. Fermüller:
"Dialogue Games for Modelling Proof Search in Nonclassical Logic";
Talk: FTP'2003, International Workshop on First-Order Theorem Proving, Valencia, Spain; 2003-06-12 - 2003-06-14; in: "FTP'2003", Universidad de Politecnica de Valencia, (2003), DISC-II/10/03; 187 - 190.

C. Fermüller:
"Exploring Dialogue Games as Foundation of Fuzzy Logic";
Talk: 5th EUSFLAT Conference, Ostrava, Czech Republic; 2007-09-11 - 2007-09-14; in: "New Dimensions in Fuzzy Logic and Related Technologies", M Stepnicka, V Novak, U Bodenhofer (ed.); 1 (2007), ISBN: 978-80-7368-386-3; 437 - 444.

C. Fermüller:
"Fuzzy Logic and Theories of Vagueness";
Keynote Lecture: 5th EUSFLAT Conference, Ostrava, Czech Republic (invited); 2007-09-11 - 2007-09-14; in: "New Dimensions in Fuzzy Logic and Related Technologies", (2007), ISBN: 978-80-7368-386-3; 17.

C. Fermüller:
"Hintikka-Style Semantic Games for Fuzzy Logics";
Talk: 8th International Symposium, FoIKS 2014, Bordeaux, Frankreich; 2014-03-03 - 2014-03-07; in: "Foundations of Information and Knowledge Systems-- 8th International Symposium, FoIKS 2014, Bordeaux", C. Beierle et al. (ed.); LNCS/Springer, Heidelberg (2014), ISBN: 978-3-319-04939-7; 193 - 210.

C. Fermüller:
"Parallel Dialogue Games and Hypersequents for Intermediate Logics";
Talk: TABLEAUX 2003, Automated Reasoning with Analytic Tableaux and Related Methods, Rome, Italy; 2003-09-09 - 2003-09-12; in: "Automated Reasoning with Analytic Tableaux and Related Methods", Springer, LNAI 2796 (2003), ISBN: 3-540-40787-1; 48 - 64.

C. Fermüller:
"Semantic Games with Backtracking for Fuzzy Logics";
Talk: ISMVL 2014, Bremen; 2014-05-19 - 2014-05-21; in: "Proceedings of 44th International Symposium on Multiple-Valued Logic, {ISMVL}", (2014), 38 - 43.

C. Fermüller, A. Ciabattoni:
" From Intuitionistic Logic to Gödel-Dummett Logic via Parallel Dialogue Games";
Talk: ISMVL 03 (33rd International Symposium on Multiple-valued Logic), Tokio, Japan; 2003-05-16 - 2003-05-19; in: "ISMVL 2003, 33rd IEEE International Symposium on Multiple-valued Logic", IEEE Computer Society, Los Alamitos, USA (2003), ISBN: 0-7695-1918-0; 188 - 195.

C. Fermüller, M. Hofer:
"Hintikka Style Game Rules for Semi-Fuzzy Quantifiers";
Talk: 2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL), Novi Sad; 2017-05-22 - 2017-05-24; in: "Proceedings of IEEE International Symposium on Multiple-Valued Logic, Novi Sad, Serbia", J. Pantovic (ed.); (2017), ISBN: 978-1-5090-5496-1; 106 - 111.

C. Fermüller, M. Hofer, M. Ortiz de la Fuente:
"Querying with Vague Quantifiers Using Probabilistic Semantics";
Talk: 12th International Conference on Flexible Query Answering Systems, London, UK, June 21-22, 2017, London; 2017-06-21 - 2017-06-22; in: "Proceedings of Flexible Query Answering Systems 12th International Conference, FQAS 2017, London, UK, June 21-22, 2017", H. Christiansen et al. (ed.); Springer, (2017), ISBN: 978-3-319-59692-1; 15 - 27.

C. Fermüller, R Kosik:
"Combining Supervaluation and Degree Based Reasoning Under Vagueness";
Talk: Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), Phnom Penh, Cambodia; 2006-11-13 - 2006-11-17; in: "Logic for Programming, Artificial Intelligence, and Reasoning", Springer, LNAI 4246 (2006), ISBN: 978-3-540-48281-9; 212 - 226.

C. Fermüller, T Lang:
"Interpreting Sequent Calculi as Client-Server Games";
Talk: TABLEAUX 2017, Brasilia; 2017-09-25 - 2017-09-28; in: "Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2017", R. Schmidt et al. (ed.); Springer, LNCS 10501 (2017), ISBN: 978-3-319-66901-4; 98 - 113.

C. Fermüller, O. Majer:
"Interpreting Propositional Fuzzy Logics via Imperfect Information Games";
Talk: 2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL), Miyazaki; 2020-11-09 - 2020-11-11; in: "2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL)", IEEE Computer Society, (2020), ISBN: 978-1-7281-5406-0; 237 - 242.

C. Fermüller, R. Pichler:
"Model Representation via Contexts and Implicit Generalizations";
Talk: 20th International Conference on Automated Deduction, Tallinn, Estland; 2005-07-22 - 2005-07-27; in: "Automated Deduction - CADE-20", Springer Science + Business Media, LNAI 3632 (2005), ISBN: 3-540-28005-7; 409 - 423.

C. Fermüller, R. Pichler:
"Model Representation via Contexts and Implicit Generalizations";
Talk: 10th European Conference, JELIA 2006, Liverpool, UK; 2006-09-13 - 2006-09-15; in: "Logics in Artificial Intelligence (LNAI)", Springer-Verlag, LNAI 4160 (2006), ISBN: 3-540-39625-x; 164 - 176.

C. Fermüller, N Preining:
" A Dialogue Game for Intuitionistic Fuzzy Logic Based on Comparisons of Degrees of Truth";
Talk: InTech`03, Fourth International Conference on Intelligent Technologies, Chiang Mai, Thailand; 2003-12-17 - 2003-12-19; in: "InTech`03", (2003), ISBN: 974-658-151-1; 8 pages.

C. Fermüller, Ch Roschger:
"Extending Giles's Game for Lukasiewicz Logic to Fuzzy Quantification";
Talk: Konference on Logic, Algebra and Truth Degrees 2012, Kanazawa, Ishikawa, Japan; 2012-09-10 - 2012-09-14; in: "Logic, Algebra and Truth Degrees 2012 - Book of Abstracts", N Preining, K. Terui (ed.); Jaist, (2012), 71 - 75.

C. Fermüller, Ch Roschger:
"Randomized Game Semantics for Semi-fuzzy Quantifiers";
Talk: 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy; 2012-07-09 - 2012-07-13; in: "Advances in Computational Intelligence. Part IV", Springer, 300 (2012), ISBN: 978-3-642-31714-9; 632 - 641.

H. Fernau, R. Freund, M. Oswald, K. Reinhardt:
"Optimal Nonterminal Complexity of Graph-controlled Grammars";
Talk: Theorietag Automaten und Formale Sprachen, Lauterbad bei Freudenstadt; 2005-09-28 - 2005-09-29; in: "15. Theorietag der GI Fachgruppe 0.1.5 Automaten und Formale Sprachen", H. Fernau (ed.); (2005), ISSN: 0946-3852; 13 - 17.

H. Fernau, R. Freund, M. Oswald, K. Reinhardt:
"Refining the Nonterminal Complexity of Graph-controlled Grammars";
Talk: International Workshop on Descriptional Complexity of Formal Systems, Como, Italy; 2005-06-30 - 2005-07-02; in: "Seventh International Workshop on Descriptional Complexity of Formal Systems, Proceedings", C. Mereghetti, B. Palano, G. Pighizzini, D. Wotschke (ed.); (2005), 110 - 121.

F. Freund, R. Freund, M. Margenstern, M. Oswald:
"P systems with cutting/recombination rules assigned to membranes";
Talk: Workshop on Membrane Computing, Tarragona, Spain; 2003-07-17 - 2003-07-23; in: "Preproceedings of the Workshop on Membrane Computing", (2003), 241 - 251.

R. Freund:
" P-Systeme mit Energiekontrolle";
Talk: Theorietag Automaten und Formale Sprachen, Wittenberg; 2002-09-23 - 2002-09-26; in: " Proceedings 12. Theorietag Automaten und Formale Sprachen", (2002), 27 - 28.

R. Freund:
"(Tissue) P Systems with Decaying Objects";
Keynote Lecture: CMC'2012, Budapest; 2012-08-28 - 2012-08-31; in: "Proceedings of 13th Int.Conference of Membrane Computing", E. Csuhaj-Varjú et al. (ed.); LNCS 7762 (2012), ISBN: 978-3-642-36750-2; 1 - 26.

R. Freund:
"A General Framework for Sequential Grammars with Control Mechanisms";
Talk: DCFS 2019, Kosice, Slovakia; 2019-07-17 - 2019-07-19; in: "Descriptional Complexity of Formal Systems - 21st IFIP WG 1.02 International Conference, DCFS2019 Proceedings", M. Hospodar et al. (ed.); LNCS 11612 (2019), ISBN: 978-3-030-23246-7; 1 - 34.

R. Freund:
"Asynchronous P Systems";
Talk: Workshop on Membrane Computing, Milano, Italy (invited); 2004-06-14 - 2004-06-16; in: " Pre-proceedings of the Fifth Workshop on Membrane Computing, Milano - Italy, June 2004 (WMC5)", G. Mauri, Gh. Paun, C. Zandron (ed.); (2004), 12 - 28.

R. Freund:
"Control Mechanisms for Array Grammars on Cayley Grids";
Talk: MUC 2018, Fontainebleau (invited); 2018-06-28 - 2018-06-30; in: "Machines, Computations, and Universality", S. Verlan et al. (ed.); Springer, LNCS 10881 (2018), ISSN: 0302-9743; 1 - 33.

R. Freund:
"Energy-controlled P systems";
Talk: Workshop on Membrane Computing, Curtea de Arges, Romania; 2002-08-19 - 2002-08-23; in: "Workshop on Membrane Computing", MolCoNet, (2002), 221 - 236.

R. Freund:
"P Systems Working in Set Modes";
Talk: Unconventional Computation and Natural Computation UCNC 2016, Manchester (invited); 2016-07-11 - 2016-07-15; in: "Unconventional Computation and Natural Computation 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings", LNCS/Springer, 9726 (2016), ISBN: 978-3-319-41312-9; 4 - 15.

R. Freund:
"P-Systeme im sequentiellen Modus";
Talk: Theorietag Automaten und Formale Sprachen, Caputh bei Potsdam, Germany; 2004-09-27 - 2004-09-30; in: "Workshop Formale Methoden der Linguistik und 14. Theorietag Automaten und Formale Sprachen. Preprint 2/2004, Institut für Informatik, Universität Potsdam, 2004", S. Bensch, O. Boldt, H. Bordihn, H. Jürgensen (ed.); (2004), 57 - 61.

R. Freund:
"Playing with Derivation Modes";
Talk: CMC20, Curtea de Arges, Romania (invited); 2019-08-05 - 2019-08-08; in: "Proceedings of the 20th Intern. Conf. on Membrane Computing CMC20", Gh. Paun (ed.); (2019), ISBN: 978-606-8493-76-3; 109 - 123.

R. Freund:
"Two Catalysts Can Be Sufficent for Computational Completeness";
Talk: CMC 14, Chisinau; 2013-08-20 - 2013-08-23; in: "The 14th International Conferense on Membrane Computing, CMC 14, Chisinau, Moldova", A. Alhazov et al. (ed.); Chisinau (2013), ISBN: 978-9975-4237-2-4; 153 - 167.

R. Freund:
"Variants of P Automata";
Keynote Lecture: Tenth Conference on Computability in Europe, CiE 2014 New Computing Paradigms - Workshop, Budapest; 2014-06-23 - 2014-06-27; in: "New Computing Paradigms - Workshop", (2014), ISBN: 978-3-319-08019-2; 7 pages.

R. Freund, A. Alhazov:
"Deterministic Non-cooperative P Systems with Strong Context Conditions";
Talk: BWMC 2015, Sevilla; 2015-02-02 - 2015-02-06; in: "Proceedings of the Thirteenth Brainstorming Week on Membrane Computing", Gh. Paun et al. (ed.); Fenix Editora, (2015), 1 - 8.

R. Freund, A. Alhazov:
"P Systems with Toxic Objects";
Talk: CMC15, Prag; 2014-08-20 - 2014-08-22; in: "Membrane Computing - 15th International Conference, CMC 2014", M. Gheorghe et al. (ed.); 8961 (2014), ISBN: 978-3-319-14370-5; 99 - 125.

R. Freund, A. Alhazov:
"Polarizationless P Systems with One Active Membrane";
Talk: BWMC 2015, Sevilla; 2015-02-02 - 2015-02-06; in: "Proceedings of the Thirteenth Brainstorming Week on Membrane Computing", Gh. Paun et al. (ed.); Fenix Editora, (2015), 9 - 18.

R. Freund, A. Alhazov:
"Priorities, Promoters and Inhibitors in Deterministic Non-Cooperative P Systems";
Talk: 12th Brainstorming Week on Membrane Computing, Sevilla; 2014-02-03 - 2014-02-07; in: "12th Brainstorming Week on membrane Computing - Proceedings", Gh. Paun et al. (ed.); Fenix Editora, (2014), ISBN: 978-84-940056-4-0; 27 - 37.

R. Freund, A. Alhazov:
"Priorities, Promoters and Inhibitors in Deterministic Non-cooperative P Systems";
Talk: CMC15, Prag; 2014-08-20 - 2014-08-22; in: "Membrane Computing - 15th International Conference, CMC 2014", M. Gheorghe et al. (ed.); 8961 (2014), ISBN: 978-3-319-14370-5; 86 - 98.

R. Freund, A. Alhazov et al.:
"Length P Systems with a Lone Traveler";
Talk: 12th Brainstorming Week on Membrane Computing, Sevilla; 2014-02-03 - 2014-02-07; in: "12th Brainstorming Week on membrane Computing - Proceedings", Gh. Paun et al. (ed.); Fenix Editora, (2014), ISBN: 978-84-940056-4-0; 37 - 49.

R. Freund, A. Alhazov et al.:
"P Systems with Anti-Matter";
Talk: Theorietag Automaten und Formale Sprachen, Caputh; 2014-09-23 - 2014-09-25; in: "24.Theorietag "Automaten und Formale Sprachen"", H. Bordihn et al. (ed.); Universität Potsdam, (2014), ISSN: 0946-7580; 19 - 23.

R. Freund, A. Alhazov et al.:
"P Systems with Anti-Matter";
Talk: CMC 14, Prag; 2014-08-20 - 2014-08-22; in: "Membrane Computing - 15th International Conference, CMC 2014", M. Gheorghe, G. Rozenberg et al. (ed.); (2014), ISBN: 978-3-319-14370-5; 66 - 85.

R. Freund, A. Alhazov et al.:
"Variants of P Systems with Toxic Objects";
Talk: BWMC 2015, Sevilla; 2015-02-02 - 2015-02-06; in: "Proceedings of the Thirteenth Brainstorming Week on Membrane Computing", Gh. Paun et al. (ed.); Fenix Editora, (2015), 19 - 44.

R. Freund, A. Alhazov, S. Ivanov:
"Extended Spiking Neural P Systems with States";
Talk: Unconventional Computation and Natural Computation UCNC 2016, Manchester; 2016-07-11 - 2016-07-15; in: "Unconventional Computation and Natural Computation", LNCS/Springer, 9726 (2016), ISBN: 978-3-319-41312-9; 42 - 54.

R. Freund, A. Alhazov, S. Ivanov:
"P Systems with Anti-Membranes";
Talk: CMC20, Curtea de Arges, Romania; 2019-08-05 - 2019-08-08; in: "Proceedings of the 20th Intern. Conf. on Membrane Computing CMC20", Gh. Paun (ed.); (2019), ISBN: 978-606-8493-76-3; 249 - 256.

R. Freund, A. Alhazov, S. Ivanov:
"Register machines over groups";
Talk: NCMA 2019, Valencia; 2019-07-02 - 2019-07-03; in: "Eleventh Workshop on Non-Classical Models of Automata and Applications, NCMA 2019", Österreichische Computer Gesellschaft, (2019), ISBN: 978-3-903035-25-6; 31 - 46.

R. Freund, A. Alhazov, Y. Rogozhin:
"Five Nodes Are Sufficient for Hybrid Networks of Evolutionary Processors to Be Computationally Complete";
Talk: UCNC, London; 2014-07-14 - 2014-07-18; in: "Unconventional Computation and Natural Computation - 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Proc", O.H. Ibarra et al. (ed.); LNCS/Springer, 8553 (2014), ISBN: 978-3-319-08122-9; 1 - 13.

R. Freund, E. Csuhaj-Varjú et al.:
"Red-Green P Automata";
Talk: 12th Brainstorming Week on Membrane Computing, Sevilla; 2014-02-03 - 2014-02-07; in: "12th Brainstorming Week on membrane Computing - Proceedings", Fenix Editora, (2014), ISBN: 978-84-940056-4-0; 73 - 79.

R. Freund et al.:
"(Tissue) {P} Systems with Vesicles of Multisets";
Talk: Proceedings 15th International Conference on Automata and Formal Languages, {AFL} 2017, Debrecen, Hungary, Debrecen; 2017-09-04 - 2017-09-06; in: "Proceedings 15th International Conference on Automata and Formal Languages, {AFL} 2017, Debrecen, Hungary", corr, abs-1708-06226 (2017), 11 - 25.

R. Freund et al.:
"Computational Completeness of Networks of Evolutionary Processors with Elementary Polarizations and a Small Number of Processors";
Talk: Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02 International Conference, {DCFS} 2017, Milano, Mailand; 2017-07-03 - 2017-07-05; in: "Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02 International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017, Proceedings}", Springer, 10316 (2017), ISBN: 978-3-319-60252-3; 140 - 151.

R. Freund et al.:
"Matter and Anti-Matter in Membrane Systems";
Talk: 12th Brainstorming Week on Membrane Computing, Sevilla; 2014-02-03 - 2014-02-07; in: "12th Brainstorming Week on membrane Computing - Proceedings", Gh. Paun et al. (ed.); Fenix Editora, (2014), ISBN: 978-84-940056-4-0; 1 - 27.

R. Freund et al.:
"Maximal Variants of the Set Derivation Mode";
Talk: 17th International Conference on Membrane Computing (CMC17), Mailand; 2016-07-25 - 2016-07-29; in: "Proceedings of 17th International Conference on Membrane Computing (CMC17)", (2016), 57 - 72.

R. Freund et al.:
"On The Semantics of Annihilation Rules in Membrane Computing";
Talk: BWMC 2015, Sevilla; 2015-02-02 - 2015-02-06; in: "Proceedings of the Thirteenth Brainstorming Week on Membrane Computing", Gh. Paun et al. (ed.); Fenix Editora, (2015), 131 - 142.

R. Freund et al.:
"P Systems with Activation and Blocking of Rules";
Talk: UCNC 2018, Fontainebleau; 2018-06-25 - 2018-06-29; in: "Unconventional Computation and Natural Computation", S. Verlan et al. (ed.); LNCS/Springer, LNCS 10867 (2018), ISBN: 978-3-319-92434-2; 1 - 15.

R. Freund et al.:
"P Systems with Generalized Multisets Over Totally Ordered Abelian Groups";
Talk: CMC'16 Membrane Computing, Valencia; 2015-08-17 - 2015-08-21; in: "Membrane Computing - 16th International Conference, {CMC} 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers", J. Sempere et al. (ed.); (2015), 101 - 121.

R. Freund et al.:
"Purely Catalytic P Systems over Integers and Their Generative Power";
Talk: 17th International Conference on Membrane Computing (CMC17), Mailand; 2016-07-25 - 2016-07-29; in: "Proceccings of 17th International Conference on Membrane Computing (CMC17)", (2016), 27 - 38.

R. Freund et al.:
"Red-Green P Automata";
Talk: CMC-14, Prag; 2014-08-20 - 2014-08-22; in: "Membrane Computing - 15th International Conference, CMC 2014", M. Gheorghe et al. (ed.); 8961 (2014), ISSN: 0302-9743; 139 - 157.

R. Freund et al.:
"Semilinear Sets, Register Machines, and Integer Vector Addition (P) Systems";
Talk: 17th International Conference on Membrane Computing (CMC17), Mailand; 2016-07-25 - 2016-07-29; in: "Proceedings of 17th International Conference on Membrane Computing (CMC17)", (2016), 39 - 56.

R. Freund et al.:
"Sequential Grammars with Activation and Blocking of Rules";
Talk: MCU (International Conference Machines, Computations and Universality), Fontainebleau (invited); 2018-06-28 - 2018-06-30; in: "Machines, Computations, and Universality", S. Verlan et al. (ed.); Springer, LNCS 10881 (2018), ISBN: 978-3-319-92401-4; 51 - 68.

R. Freund et al.:
"Simulating R Systems by P Systems";
Talk: 17th International Conference on Membrane Computing (CMC17), Mailand; 2016-07-25 - 2016-07-29; in: "Proceedings of 17th International Conference on Membrane Computing (CMC17)", (2016), 13 - 26.

R. Freund et al.:
"Small Catalytic P Systems";
Talk: Ucnc2015 (wmc2015), Auckland, New Zealand; 2015-08-30 - 2015-09-03; in: "Proceedings of the Workshop on Membrane Computing 2015 (WMC2015)", M. Dinneen (ed.); (2015), 1 - 16.

R. Freund et al.:
"Solving SAT with Antimatter in Membrane Computing";
Talk: Ucnc2015 (wmc2015), Auckland, New Zealand; 2015-08-30 - 2015-09-03; in: "CDMTCS Research Report Series Proceedings of the Workshop on Membrane Computing 2015 (WMC2015)", M. Dinneen (ed.); (2015), 48 - 58.

R. Freund et al.:
"Tissue P Systems with Point Mutation Rules";
Talk: CMC19, Dresden; 2018-09-04 - 2018-09-07; in: "Proceedings of the 19th International Conference on Membrane Computing", Friedrich Schiller University Jena, (2018), ISBN: 978-3-96409-030-0; 29 - 50.

R. Freund et al.:
"Variants of P Systems with Toxic Objects";
Talk: CMC'16 Membrane Computing, Valencia; 2015-08-17 - 2015-08-21; in: "Proceedings of the 16th International Conference on Membrane Computing, {CMC} 2015", J. Sempere et al. (ed.); (2015), 23 - 49.

R. Freund, H. Fernau et al.:
"Array Insertion and Deletion P Systems";
Talk: Unconventional Computation & Natural Computation 2013, Mailand; 2013-05-01 - 2013-05-05; in: "12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings", G. Mauri, A. Dennunzio et al. (ed.); Heidelberg (2013), ISBN: 978-3-642-39073-9; 67 - 78.

R. Freund, H. Fernau et al.:
"Contextual Array Grammars with Matrix and Regular Control";
Talk: DCFS 2016, Bucharest; 2016-07-05 - 2016-07-08; in: "Descriptional Complexity of Formal Systems - 18th {IFIP} {WG} 1.2 International Conference", (2016), ISBN: 978-3319411132; 98 - 110.

R. Freund, H. Fernau et al.:
"Eine natürliche Membranhierachie";
Talk: Theorietag Automaten und Formale Sprachen, Ilmenau; 2013-09-25 - 2013-09-27; in: "Automaten und Formale Sprachen", (2013), 49 - 52.

R. Freund, H. Fernau, M Holzer:
"Cooperating Distributed Grammar Systems of Finite Index Working in Hybrid Modes";
Talk: 14th International Conference on Automata and Formal Languages, AFL 2014, Hungary, May 27-29, 2014., Szeged; 2014-05-27 - 2014-05-29; in: "Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014.", Z. Esik et al. (ed.); EPTCS, 151 (2014), ISSN: 2075-2180; 246 - 260.

R. Freund, H. Fernau, M. Oswald et al.:
"Array insertion and deletion P systems";
Talk: Theorietag Automaten und Formale Sprachen, Ilmenau; 2013-09-25 - 2013-09-27; in: "Automaten und Formale Sprachen", (2013), 46 - 49.

R. Freund, H. Fernau, M. Oswald et al.:
"Undecidability and Computational Completeness for P Systems with One- and Two- dimensional Array Insertion and Deletion Rules";
Talk: CMC 14, Chisinau; 2013-08-20 - 2013-08-23; in: "The 14th International Conferense on Membrane Computing, CMC 14, Chisinau, Moldova", A. Alhazov et al. (ed.); Chisinau (2013), ISBN: 978-9975-4237-2-4; 309 - 313.

R. Freund, T. Gschwandtner:
"P Systems for Modelling Biological Processes in Living Cells";
Talk: Theorietag Automaten und Formale Sprachen, Wien; 2006-09-27 - 2006-09-29; in: "Proceedings 16.Theorietag Automaten und Formale Sprachen", R. Freund, M. Oswald (ed.); (2006), 46 - 50.

R. Freund, M. Ionescu, M. Oswald:
"Extended spiking neural P systems with decaying spikes and/or total spiking";
Talk: International Workshop Automata for Cellular and Molecular Computing, Budapest; 2007-08-31; in: "Proceedings of the International Workshop Automata for Cellular and Molecular Computing", Gy. Vaszil (ed.); MTA Sztaki, (2007), 64 - 75.

R. Freund, M. Ionescu, M. Oswald:
"Extended spiking neural P systems with spikes of limited lifetime";
Talk: Theorietag Automaten und Formale Sprachen, Leipzig; 2007-09-27 - 2007-09-29; in: "17.Theorietag Automaten und Formale Sprachen", M. Droste, M. Lohrey (ed.); (2007), 45 - 49.

R. Freund, S. Ivanov et al.:
"How to Go Beyond Turing with P Automata: Time Travels, Regular Observer w-Languages, and Partial Adult Halting";
Talk: BWMC 2015, Sevilla; 2015-02-02 - 2015-02-06; in: "Proceedings of the Thirteenth Brainstorming Week on Membrane Computing", Gh. Paun et al. (ed.); Fenix Editora, (2015), 143 - 158.

R. Freund, M. Kogler, S. Verlan:
"P Automata with controlled use of minimal Communication rules";
Talk: NCMA, Wroclaw; 2009-08-31 - 2009-09-01; in: "Workshop on Non-Classical Models for Automata and Applications", H. Bordihn, R. Freund, M Holzer et al. (ed.); Österreichische Computer Ges., Wien (2009), ISBN: 978-3-85403-256-4; 107 - 121.

R. Freund, C. Martin-Vide, A. Obtulowicz, Gh. Paun:
"On Three Classes Automata-like P Systems";
Talk: International Conference on Developments in Language Theory (DLT), Szeged, Hungary; 2003-07-07 - 2003-07-11; in: "Developments in Language Theory", Springer, LNCS 2710 (2003), ISBN: 3-540-40434-1; 292 - 303.

R. Freund, M. Oswald:
"(Mem)Brane Systems and Tissue P Systems with Mate and Drip Operations";
Talk: Theorietag Automaten und Formale Sprachen, Wien; 2006-09-27 - 2006-09-29; in: "Proceedings 16.Theorietag Automaten und Formale Sprachen", R. Freund, M. Oswald (ed.); (2006), 51 - 56.

R. Freund, M. Oswald:
"Catalytic and purely catalytic P automata: control mechanisms for obtaining computational completeness";
Talk: 5th Workshop on Non-Classical Models of Automata and Applications (NCMA), Umea; 2013-08-13 - 2013-08-14; in: "Proceedings of the 5th Workshop on Non-Classical Models of Automata and Applications (NCMA)", S. Bensch, R. Freund et al. (ed.); Wien (2013), ISBN: 978-3-85403-294-6; 133 - 150.

R. Freund, M. Oswald:
"CD Grammar Systems with Regular Start Conditions";
Talk: International Workshop on Descriptional Complexity of Formal Systems, High Tatras; 2007-07-20 - 2007-07-22; in: "Descriptional Complexity of Formal Systems", V. Geffert, G. Pighizzini (ed.); (2007), ISBN: 978-80-7097-688-3; 69 - 80.

R. Freund, M. Oswald:
"Modellierung von Grammatiksystemen durch P-Systeme";
Talk: Theorietag Automaten und Formale Sprachen, Caputh bei Potsdam, Germany; 2004-09-27 - 2004-09-30; in: "Workshop Formale Methoden der Linguistik und 14. Theorietag Automaten und Formale Sprachen. Preprint 2/2004, Institut für Informatik, Universität Potsdam, 2004.", S. Bensch, O. Boldt, H. Bordihn, H. Jürgensen (ed.); (2004), 63 - 67.

R. Freund, M. Oswald:
"Modelling Grammar Systems by Tissue P Systems";
Talk: Grammar Systems Week, International Workshop, Budapest; 2004-07-05 - 2004-07-09; in: "Prel. Proc. of Grammar Systems Week 2004, MTA Sztaki, Budapest 2004", E. Csuhaj-Varjú, Gy. Vaszil (ed.); (2004), 162 - 179.

R. Freund, M. Oswald:
"P Colonies Working in the Maximally Parallel and in the Sequential Mode";
Talk: International Workshop on Theory and Application of P Systems (TAPS), Timisoara, Romania; 2005-09-26 - 2005-09-27; in: "Proceedings of the 1st International Workshop on Theory and Application of P Systems", G. Ciobanu, Gh. Paun (ed.); (2005), 49 - 56.

R. Freund, M. Oswald:
"P systems with Conditional Communication Rules Assigned to Membranes";
Talk: Workshop on Membrane Computing, Tarragona; 2003-07-17 - 2003-07-22; in: "Preproceedings of the Workshop on Membrane Computing", (2003), 231 - 240.

R. Freund, M. Oswald:
"Spiking neural P systems with inhibitory axons";
Talk: Intern. Symp. on Artificial Life and Robotics (AROB), Beppu; 2007-01-25 - 2007-01-27; in: "Proceedings of the 12th Interantional Symbosium on Artificial Life and Robotics", M. Sugisaka, H. Tamaka (ed.); ISAROB 2007, (2007), ISBN: 978-4-9902880-1-3; 509 - 512.

R. Freund, M. Oswald:
"Symport/Antiport Systems with Partial Halting";
Talk: Theorietag Automaten und Formale Sprachen, Leipzig; 2007-09-27 - 2007-09-29; in: "17.Theorietag Automaten und Formale Sprachen", M. Droste, M. Lohrey (ed.); (2007), 50 - 54.

R. Freund, M. Oswald:
"Tissue P systems with mate and drip operations";
Talk: MeCBIC2006 Workshop on Membrane Computing and Biologically Inspired Process Calculi, S. Servolo, Venice, Italy; 2006-07-09; in: "MeCBIC2006 Workshop on Membrane Computing and Biologically Inspired Process Calculi", N. Busi, C. Zandron (ed.); (2006), 1 - 12.

R. Freund, M. Oswald, A. Alhazov et al.:
"Extended Spiking Neural P Systems with White Hole Rules";
Talk: BWMC 2015, Sevilla; 2015-02-02 - 2015-02-06; in: "Proceedings of the Thirteenth Brainstorming Week on Membrane Computing", Gh. Paun et al. (ed.); Fenix Editora, (2015), 45 - 62.

R. Freund, M. Oswald et al.:
"Going Beyond Turing with Extended Spiking Neural P Systems with White Hole Rules";
Talk: Ucnc2015 (wmc2015), Auckland, New Zealand; 2015-08-30 - 2015-09-03; in: "Proceedings of the Workshop on Membrane Computing 2015 (WMC2015)", M. Dinneen (ed.); (2015), 17 - 32.

R. Freund, M. Oswald, A. Paun:
"Extended Gemmating P Systems are Computationally Complete with Four Membranes";
Talk: DCFS (Descriptional Complexity of Formal Systems), London, Ontario, Canada; 2004-07-26 - 2004-07-28; in: "Pre-proceedings DCFS 2004, Western University, London, Ontario, Canada, 2004", L. Ilie, D. Wotschke (ed.); (2004), 24 - 33.

R. Freund, M. Oswald, A. Paun:
"P Systems Generating Trees";
Talk: Workshop on Membrane Computing, Milano, Italy; 2004-06-14 - 2004-06-16; in: "Pre-proceedings of the Fifth Workshop on Membrane Computing, Milano - Italy, June 2004 (WMC5)", G. Mauri, Gh. Paun, C. Zandron (ed.); (2004), 221 - 232.

R. Freund, M. Oswald, Gh. Paun:
"Control Mechnisms for Obtaining Comutational Completeness";
Talk: CMC 14, Chisinau; 2013-08-20 - 2013-08-23; in: "Proceedings of The 14th International Conferense on Membrane Computing, CMC 14, Chisinau, Moldova", Chisinau (2013), ISBN: 978-9975-4237-2-4; 317 - 321.

R. Freund, M. Oswald, T. Schirk:
"How a membrane agent buys goods in a membrane store";
Talk: BIC-TA 2006, Wuhan, China; 2006-09-18 - 2006-09-22; in: "Pre-proc. of Int. Conf. on Bio-Inspired Computing - Theory and Applications, BIC-TA 2006, Membrane Computing Section", L. Pan, Gh. Paun (ed.); (2006), 93 - 102.

R. Freund, M. Oswald, T. Schirk:
"Membrane Systems with Attributes for Modelling Business Transactions";
Talk: Theorietag Automaten und Formale Sprachen, Wien; 2006-09-27 - 2006-09-29; in: "Proceedings 16.Theorietag Automaten und Formale Sprachen", R. Freund, M. Oswald (ed.); (2006), 57 - 62.

R. Freund, M. Oswald, P. Sosik:
"Reducing the Number of Catalysts Needed in Computationally Universal Systems without Priorities";
Talk: International Workshop on Descriptional Complexity of Formal Systems, Budapest, Hungary; 2003-07-12 - 2003-07-14; in: "5th International Workshop on Descriptional Complexity of Formal Systems", (2003), 102 - 113.

R. Freund, M. Oswald, L. Staiger:
"ω-P automata with Communication Rules";
Talk: Workshop on Membrane Computing, Tarragona, Spain; 2003-07-17 - 2003-07-22; in: "Preproceedings of the Workshop on Membrane Computing", (2003), 252 - 265.

R. Freund, M. Oswald, L. Staiger:
"P Automaten und ω-P Automaten";
Talk: Theorietag Automaten und Formale Sprachen, Herrsching bei München, Deutschland; 2003-09-29 - 2003-10-02; in: "Proc. 13. Theorietag "Automaten und Formale Sprachen" ", (2003), 35 - 47.

R. Freund, Gh. Paun:
"How to Obtain Computational Completeness in P Systems with One Catalyst";
Talk: MCU 2013, Zürich; 2013-09-09 - 2013-09-12; in: "Proceedings Machines, Computations and Universality 2013, MCU 2013, Zuerich, Switzerland, September 9-11, 2013", T. Neary et al. (ed.); (2013), 15.

R. Freund, Gh. Paun:
"P Systems with Anti-Matter";
Talk: 12th Brainstorming Week on Membrane Computing, Sevilla; 2014-02-03 - 2014-02-07; in: "12th Brainstorming Week on membrane Computing - Proceedings", Gh. Paun et al. (ed.); Fenix Editora, (2014), ISBN: 978-84-940056-4-0; 169 - 183.

R. Freund, Gh. Paun:
"Universal P Systems: One Catalyst Can Be Sufficient";
Keynote Lecture: Brainstorming Week on Membrane Computing, Sevilla; 2013-02-04 - 2013-02-08; in: "Proceedings of Eleventh Brainstorming Week on Membrane Computing", Gh. Paun, L. Valencia-Cabrera et al. (ed.); Fenix Editora, Sevilla (2013), ISBN: 978-84-940691-9-2; 81 - 97.

R. Freund, Gh. Paun, A. Alhazov et al.:
"P Systems with Matter and Anti-Matter";
Talk: Tenth Conference on Computability in Europe, CiE 2014 New Computing Paradigms - Workshop, Budapest; 2014-06-23 - 2014-06-27; in: "Tenth Conference on Computability in Europe, CiE 2014 Language, Life, Limits", A. Beckmann et al. (ed.); (2014), 1 pages.

R. Freund, Gh. Paun, M. Pérez-Jiménez:
"Polarizationless P Systems with Active Membranes Working in the Minimally Parallel Mode";
Talk: UC2007, Kingston; 2007-08-13 - 2007-08-17; in: "Unconventional Computation", S. Akl, C. Calude et al. (ed.); LNCS, Springer, 4618 (2007), ISBN: 3-540-73553-4; 62 - 76.

R. Freund, L. Staiger:
"Turing machines with activations of transitions";
Talk: NCMA 2019, Valencia; 2019-07-02 - 2019-07-03; in: "Eleventh Workshop on Non-Classical Models of Automata and Applications, NCMA", Österreichische Computer Gesellschaft, (2019), ISBN: 978-3-903035-25-6; 79 - 91.

R. Freund, L. Staiger et al.:
"Going Beyond Turing with P Automata: Partial Adult Halting and Regular Ovserver Languages";
Talk: UCNC 2015, Auckland; 2015-08-30 - 2015-09-03; in: "Unconventional Computation and Natural Computation", C. Calude et al. (ed.); LNCS/Springer, 9252 (2015), ISBN: 978-3-319-21818-2; 169 - 181.

R. Freund, F. Tafill:
"Cellular Automata and Parallel Array Systems";
Talk: Workshop on Tilings and Cellular Automata (WTCA), Auckland, New Zealand; 2004-12-12; in: "Proceedings of the International Workshop on Tilings and Cellular Automata, 2004", M. Margenstern (ed.); CDMTCS Research Report Series, 253 (2004), 1 - 14.

R. Freund, S. Verlan:
"(Tissue) P Systems Working in the k-Restricted Minimally Parallel Mode";
Talk: Theorietag Automaten und Formale Sprachen, Wettenberg-Launsbach; 2008-09-30 - 2008-10-02; in: "18.Theorietag - Automaten und Formale Sprachen", M Holzer, M. Kutrib, A. Malcher (ed.); Justus-Liebig Verlag, (2008), ISBN: 978-3-00-025920-3; 49 - 55.

R. Freund, S. Verlan:
"(Tissue) P Systems Working in the k-Restricted Minimally Parallel Mode";
Talk: Internationaler Workshop on Computing with Biomolecules, Wien; 2008-08-27; in: "International Workshop on Computing with Biomolecules", R. Freund, M. Oswald, E. Csuhaj-Varjú, K. Salomaa (ed.); Oesterreichische Computer Gesellschaft, 244 (2008), ISBN: 978-3-85403-244-1; 43 - 53.

R. Freund, S. Verlan:
"A formal framework for P systems";
Talk: Workshop on Membrane Computing, Thessaloniki; 2007-06-25 - 2007-06-28; in: "Eighth Workshop on Membane Computing (WMC8)", G. Eleftherakis, P. Kefalas, Gh. Paun (ed.); South-East European Research Centre, (2007), ISBN: 978-960-89629-2-7; 317 - 330.

R. Freund, S. Verlan, A. Alhazov:
"Promoters and Inhibitors in Purely Catalytic {P} Systems";
Talk: CMC15, Prag; 2014-08-20 - 2014-08-22; in: "Membrane Computing - 15th International Conference, CMC 2014", M. Gheorghe et al. (ed.); 8961 (2014), ISBN: 978-3-319-14370-5; 126 - 138.

R. Freund, S. Verlan, A. Alhazov et al.:
"A Formal Framework for Spiking Neural P Systems";
Talk: CMC20, Curtea de Arges, Romania; 2019-08-05 - 2019-08-08; in: "Proceedings of the 20th Intern. Conf. on Membrane Computing CMC20", Gh. Paun (ed.); Editura Bibliostar, Ramniciu Valcea (2019), ISBN: 978-606-8493-76-3; 523 - 536.

R. Freund, S. Verlan et al.:
"Computational Completeness withe Generationg and Accepting P Systems Using Minimal Left and Right Insertion and Deletion";
Talk: CMC 14, Chisinau; 2013-08-20 - 2013-08-23; in: "The 14th International Conferense on Membrane Computing, CMC 14, Chisinau, Moldova", A. Alhazov et al. (ed.); Chisinau (2013), ISBN: 978-3-642-40536-5; 321 - 325.

R. Freund, S. Verlan et al.:
"Flattening in (tissue) P systems";
Talk: CMC 14, Chisinau; 2013-08-20 - 2013-08-23; in: "Membrane Computing. 14th international conference, CMC 2013", A. Alhazov (ed.); LNCS/Springer, 8340 (2014), ISBN: 978-3-642-54239-8; 173 - 188.

K. Gmeiner, B. Gramlich:
"Transformations of Conditional Rewrite Systems Revisited";
Talk: 19th International Workshop on Algebraic Development Techniques (WADT 2008), Pisa, Italy; 2008-06-13 - 2008-06-16; in: "Prelim. Proc. 19th International Workshop on Algebraic Development Techniques (WADT 2008)", (2008), 64 - 66.

K. Gmeiner, B. Gramlich:
"Transformations of Conditional Rewrite Systems Revisited";
Talk: 19th International Workshop on Algebraic Development Techniques (WADT 2008), Pisa, Italy; 2008-06-13 - 2008-06-16; in: "Recent Trends in Algebraic Development Techniques (WADT 2008) - Revised Selected Papers", A. Corradini, U. Montanari (ed.); Springer, LNCS 5486 (2009), ISBN: 978-3-642-03428-2; 166 - 186.

K. Gmeiner, B. Gramlich:
"Transformations of Conditional Term Rewrite Systems";
Poster: Junior Scientist Conference 2010, Vienna; 2010-04-07 - 2010-04-09; in: "Proceedings of the Junior Scientist Conference 2010", H. Kaiser, R. Kirner (ed.); (2010), ISBN: 978-3-200-01797-9; 155 - 156.

K. Gmeiner, B. Gramlich, F. Schernhammer:
"On (Un)Soundness of Unravelings";
Talk: 21st International Conference on Rewriting Techniques and Applications, Edinburgh; 2010-07-11 - 2010-07-13; in: "Proceedings of the 21st International Conference on Rewriting Techniques and Applications", Chris Lynch (ed.); LIPIcs - Leibniz International Proceedings in Informatics / Dagstuhl Publishing, Volume 6, Dagstuhl (2010), ISBN: 978-3-939897-18-7; 119 - 134.

K. Gmeiner, B. Gramlich, F. Schernhammer:
"On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems";
Talk: 23rd International Conference on Rewriting Techniques and Applications (RTA 2012), May 28 - June 2, 2012, Nagoya, Japan., Nagoya, Japan; 2012-05-28 - 2012-06-02; in: "Proc. 23rd International Conference on Rewriting Techniques and Applications (RTA'12)", LIPIcs 15, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2012), ISBN: 978-3-939897-38-5; 193 - 208.

R. Goré, B. Lellmann:
"Syntactic Cut-Elimination and Backward Proof-Search for Tense Logic via Linear Nested Sequents";
Talk: TABLEAUX 2019, London, UK; 2019-09-03 - 2019-09-05; in: "Automated Reasoning with Analytic Tableaux and Related Methods. 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings", S. Cerrito, A. Popescu (ed.); Springer, LNCS, vol.11714 (2019), ISBN: 978-3-030-29025-2; 185 - 202.

B. Gramlich:
"Modularity of Termination of Left-Linear Rewrite Systems Revisited";
Talk: 7th International Workshop on Termination (WST 2004), Aachen, Germany; 2004-06-01 - 2004-06-02; in: "Proc. 7th International Workshop on Termination - Extended Abstracts (WST 2004), part of RDP 2004 (2nd Federated Conference on Rewriting, Deduction, and Programming), Aachen, Germany, June 1-2, 2004", Technische Universität Aachen, (2004), ISSN: 0935-3232; 22 - 25.

B. Gramlich:
"On Strategies for Inductive Theorem Proving ";
Talk: 5th International Workshop on Strategies in Automated Deduction (STRATEGIES 2004), Cork, Ireland (invited); 2004-07-04; in: "Proc. 5th International Workshop on Strategies in Automated Deduction (STRATEGIES 2004), held in conjunction with IJCAR 2004 (2nd International Joint Conference on Automated Reasoning), Cork, Ireland, July 4, 2004", Eigenverlag, (2004), 62 - 63.

B. Gramlich, K. Györgyfalvay:
"On Modularity of Termination Properties of Rewriting under Strategies";
Talk: 12th International Workshop on Termination (WST 2012), Obergurgl; 2012-02-19 - 2012-02-23; in: "Proc. 12th International Workshop on Termination", G. Moser (ed.); (2012), 59 - 63.

B. Gramlich, S. Lucas:
"Generalizing Newman's Lemma for Left-Linear Rewrite Systems";
Talk: 17th International Conference on Rewriting Techniques and Applications (RTA 2006), Seattle, USA; 2006-08-12 - 2006-08-14; in: "Term Rewriting and Applications, 17th International Conference, RTA 2006, Seattle, Washington, USA, August 12-14, 2006, Proceedings, LNCS 4098", F. Pfenning (ed.); Springer, LNCS 4098 (2006), ISBN: 3-540-36834-5; 66 - 80.

B. Gramlich, S. Lucas:
"Modular Context-Sensitive Algebraic Specifications";
Talk: 17th International Workshop on Algebraic Development Techniques (WADT 2004), Barcelona, Spain; 2004-03-27 - 2004-03-30; in: "Proc. 17th International Workshop on Algebraic Development Techniques - Extended Abstracts (WADT 2004), Barcelona, Spain, March 27-30, 2004", (2004), 20 - 22.

B. Gramlich, R. Pichler:
"Algorithmic Aspects of Herbrand Models Represented by Ground Atoms with Ground Equations";
Talk: International Conference on Automated Deduction (CADE), Copenhagen, Denmark; 2002-07-27 - 2002-07-30; in: "Proc. 18th Int. Conf. on Automated Deduction (CADE 2002)", Springer, LNAI 2392 (2002), ISBN: 3-540-43931-5; 241 - 259.

B. Gramlich, F. Schernhammer:
"Extending Context-Sensitivity in Term Rewriting";
Talk: 9th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2009), Brasilia (Brazil); 2009-06-28; in: "Prelim. Proc. 9th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2009), Brasilia, Brazil, June 28, 2009", M. Fernandez (ed.); (2009), 25 - 29.

B. Gramlich, F. Schernhammer:
"Outermost Termination via Contextual Dependency Pairs";
Talk: 11th International Workshop on Termination (WST 2010), Edinburgh; 2010-07-14 - 2010-07-15; in: "Proc. 11th International Workshop on Termination (WST 2010)", P. Schneider-Kamp (ed.); (2010), 13 - 17.

B. Gramlich, F. Schernhammer:
"Termination of Rewriting with and Automated Synthesis of Forbidden Patterns";
Talk: 1st International Workshop on Strategies in Rewriting, Proving, and Programming (IWS 2010), Edinburgh; 2010-07-09; in: "Prelim. Proc. 1st International Workshop on Strategies in Rewriting, Proving, and Programming (IWS 2010)", H. Kirchner, C. Munoz (ed.); (2010), 13 - 17.

A. Hassan, E. Jiresch, S. Sato:
"An Implementation of Nested Pattern Matching in Interaction Nets";
Talk: 10nth International Workshop on Rule-Based Programming (RULE'09), Brasilia (Brazil); 2009-06-28; in: "Prelim. Proc. 10nth International Workshop on Rule-Based Programming (RULE'09)", (2009), 14 - 25.

S. Hetzl:
"A Similarity Criterion for Proofs (abstract)";
Talk: Computability in Europe 2006, Logical Approaches to Computational Barriers, Swansea, Wales; 2006-06-30 - 2006-07-05; in: "Logical Approaches to Computational Barriers", A. Beckmann, U. Berger, B. Löwe, J. Tucker (ed.); University of Wales Swansea Report Series, CSR 7-2006 (2006), ISBN: 0-86076-189-4; - 295.

M. Hofer:
"On the context-dependence of Many";
Talk: 9th International and Interdisciplinary Conference, CONTEXT 2015 Larnaca, Larnaca; 2015-11-02 - 2015-11-06; in: "Modeling and Using Context", H. Christiansen et al. (ed.); (2015), ISBN: 978-3-319-25590-3; 346 - 358.

E. Jiresch:
"Extending the IN Calculus with Generic Rules";
accepted as talk for: Second International Workshop on Linearity (LINEARITY 2012), ETAPS 2012,, Tallinn; 2012-04-01; in: "Electronic Proceedings inTheoretical Computer Science (EPTCS))", (2012).

E. Jiresch:
"Extending the Interaction Nets Calculus by Generic Rules";
Talk: Central European Functional programming School (CEFP) - PhD Workshop, Budapest; 2011-06-18 - 2011-06-23; in: "Central European Functional Programming School - PhD Workshop", (2011), 3 pages.

E. Jiresch, B. Gramlich:
"Extensions for Interaction Nets";
Poster: Junior Scientist Conference 2010, Vienna; 2010-04-07 - 2010-04-09; in: "Proceedings of the Junior Scientist Conference 2010", H. Kaiser, R. Kirner (ed.); (2010), ISBN: 978-3-200-01797-9; 295 - 296.

E. Jiresch, B. Gramlich:
"Realizing Monads in Interaction Nets via Generic Typed Rules";
Talk: TAMC 2012, Peking; 2012-05-16 - 2012-05-21; in: "Proceedings of the 9th annual conference on Theory and Applications of Models of Computation (TAMC 2012)", M. Agrawal et al. (ed.); Springer, LNCS 7287 (2012), ISBN: 978-3-642-29951-3; 509 - 524.

M. Kjäer, M. Di Angelo, G. Salzer:
"Empirical Evaluation of MakerDAO's Resilience";
Talk: 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS), Paris; 2021-09-27 - 2021-09-30; in: "Proc. Conference on Blockchain Research & Applications for Innovative Networks and Services", (2021), ISBN: 978-1-6654-3924-4; Paper ID 1570716378, 8 pages.

M. Kompatscher, T. Van Pham:
"A complexity dichotomy for poset constraint satisfaction";
Talk: STACS 2017, Hannover; 2017-03-08 - 2017-03-11; in: "Proceedings of the 34th Symposium on Theoretical Aspects of Computer Science (STACS 2017)", 66 (2017), ISBN: 978-3-95977-028-6; 1 - 12.

R. Kuznets:
"Interpolation Method for Multicomponent Sequent Calculi";
Talk: Logical Foundations of Computer Science, International Symposium, LFCS 2016, Deerfield Beach, FL, USA, Deerfield Beach, FL, USA; 2016-01-04 - 2016-01-07; in: "Logical Foundations of Computer Science, International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016, Proceedings", S. Artemov, A. Nerode (ed.); LNCS/Springer, 9537 (2016), ISBN: 978-3-319-27683-0; 202 - 218.

R. Kuznets:
"Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi";
Talk: 15th European Conference On Logics In Artificial Intelligence (JELIA 2016), Larnaka, Zypern; 2016-11-09 - 2016-11-11; in: "Logics in Artificial Intelligence, 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings", L. Michael, A. Kakas (ed.); Springer LNCS, 10021 (2016), ISBN: 978-3-319-48757-1; 320 - 335.

R. Kuznets, B. Lellmann:
"Interpolation for Intermediate Logics via Hyper- and Linear Nested Sequents";
Talk: Advances in Modal Logic 2018, Bern, Schweiz; 2018-08-27 - 2018-08-31; in: "Advances in Modal Logic, Volume 12", G. Bezhanishvili, G. D´Agostino, G Metcalfe, T. Studer (ed.); College Publications, (2018), ISBN: 978-1-84890-255-8; 473 - 492.

T Lang, C. Olarte, E. Pimentel, C. Fermüller:
"A Game Model for Proofs with Costs";
Talk: TABLEAUX 2019, London, UK; 2019-09-03 - 2019-09-05; in: "Automated Reasoning with Analytic Tableaux and Related Methods", Springer, LNCS, vol.11714 (2019), ISBN: 978-3-030-29025-2; 241 - 258.

A. Leitsch, M. Baaz, A. Lolic:
"A Sequent-Calculus Based Formulation of the Extended First Epsilon Theorem";
Keynote Lecture: Logical Foundations of Computer Science - International Symposium, LFCS 2018, Florida (invited); 2018-01-08 - 2018-01-11; in: "LNCS 10703", Springer International Publishing AG, 10703 (2018), 55 - 71.

A. Leitsch, M. Baaz, G. Reis:
"A Note on the Complexity of Classical and Intuitionistic Proofs";
Talk: Thirtieth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS), Kyoto; 2015-07-06 - 2015-07-10; in: "Logic in Computer Science (LICS)", (2015), ISSN: 1043-6871; 657 - 666.

A. Leitsch, D. Cerna:
"Schematic Cut Elimination and the Ordered Pigeonhole Principle";
Talk: IJCAR 2016, Coimbra; 2016-06-27 - 2016-07-02; in: "Automated Reasoning - 8th International Joint Conference, {IJCAR} 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings", N. Olivetti et al. (ed.); 9706 (2016), ISBN: 978-3-319-40229-1; 241 - 256.

A. Leitsch, S. Hetzl, D. Weller, B. Woltzenlogel-Paleo:
"A Clausal Approach to Proof Analysis in Second-Order Logic";
Talk: Symposium on Logical Foundations of Computer Science (LFCS 2009), Deerfield Beach, FL, USA; 2009-01-03 - 2009-01-06; in: "Logical Foundations of Computer Science", A. Nerode, S. Artemov (ed.); Springer, LNCS, 5407 (2009), ISBN: 3-540-92686-0; 214 - 229.

A. Leitsch, S. Hetzl, D. Weller, B. Woltzenlogel-Paleo:
"Transforming and Analyzing Proofs in the CERES-system";
Talk: The LPAR 2008 Workshops: KEAPPA and IWIL 2008, Doha, Qatar; 2008-11-22; in: "Proceedings of the LPAR 2008 Workshops", P. Rudnicki, G. Sutcliffe et al. (ed.); CEUR-WS.org, Vol 418 (2008), ISSN: 1613-0073; 77 - 91.

A. Leitsch, T. Libal, M. Riener, D. Weller, B. Woltzenlogel-Paleo, T. Dunchev:
"Prooftool: a GUI for the GAPT Framework";
Talk: 10th International Workshop On User Interfaces for Theorem Provers, Bremen; 2013-07-11; in: "Proceedings 10th International Workshop on User Interfaces for Thorem Provers,", C. Kaliszyk et al. (ed.); (2013), ISSN: 2075-2180; 1 - 14.

B. Lellmann:
"Axioms vs Hypersequent Rules with Context Restrictions: Theory and Applications";
Talk: VSL 2014, Wien; 2014-07-15 - 2014-07-22; in: "IJCAR 2014 (International Joint Conference on Automated Reasoning) im Rahmen des Vienna Summer of Logic", D. Kapur et al. (ed.); Springer, (2014), ISBN: 978-3-319-08586-9; 307 - 321.

B. Lellmann:
"Combining monotone and normal modal logic in nested sequents -- with countermodels";
Talk: TABLEAUX 2019, London; 2019-09-03 - 2019-09-05; in: "Automated Reasoning with Analytic Tableaux and Related Methods. 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings", S. Cerrito, A. Popescu (ed.); Springer, LNCS, vol.11714 (2019), ISBN: 978-3-030-29025-2; 203 - 220.

B. Lellmann:
"Linear Nested Sequents, 2-sequents and Hypersequents";
Talk: 24th International Conference, TABLEAUX 2015, Wroclaw; 2015-09-21 - 2015-09-24; in: "Automated Reasoning with Analytic Tableaux and Related Methods", H. De Nivelle (ed.); Springer LNCS, 9323 (2015), ISBN: 978-3-319-24311-5; 135 - 150.

B. Lellmann et al.:
"Hypersequent calculi for Lewis´ conditional logics with uniformity and reflexivity";
Talk: TABLEAUX 2017, Brasilia; 2017-09-26 - 2017-09-29; in: "Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2017", (2017), ISBN: 978-3-319-66901-4; 131 - 148.

B. Lellmann, D. Pattinson:
"Correspondence between modal Hilbert axioms and sequent rules with an application to S5";
Talk: Tableaux 2013, Nancy; 2013-09-16 - 2013-09-19; in: "Proceedings of the Tableaux 13, LNCS 8123", (2013), 219 - 233.

T. Lyon:
"On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems";
Talk: LFCS 2020, Deerfield Beach, USA; 2020-01-04 - 2020-01-07; in: "Logical Foundations of Computer Science - International Symposium, LFCS 2020", Springer, 11972 (2020), 177 - 194.

T. Lyon:
"Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents";
Talk: LFCS 2020, Deerfield Beach, USA; 2020-01-04 - 2020-01-07; in: "Logical Foundations of Computer Science - International Symposium, {LFCS} 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings", Springer, 11972 (2020), 156 - 176.

T. Lyon, R. Goré et al.:
"Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents";
Talk: CSL2020, Barcelona; 2020-01-13 - 2020-01-16; in: "28th {EACSL} Annual Conference on Computer Science Logic, CSL 2020", Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 152 (2020), 1 - 16.

T. Lyon, R. Ramanayake, A. Ciabattoni:
"From Display to Labelled Calculi for Tense Logics";
Talk: Logical Foundations of Computer Science 2018, Deerfield Beach, Florida; 2018-01-07 - 2018-01-12; in: "Proceedings of Logical Foundations of Computer Science", (2018), ISBN: 978-3-319-72055-5; 120 - 139.

T. Lyon, K. van Berkel:
"Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics";
Talk: PRIMA 2019, Turin; 2019-10-28 - 2019-10-31; in: "The 22nd International Conference on Principles and Practice of Multi-Agent Systems", 11873 (2019), ISBN: 978-3-030-33791-9; 202 - 218.

E. Neufeld, E. Bartocci, A. Ciabattoni, G. Governatori:
"A Normative Supervisor for Reinforcement Learning Agents";
Talk: 28th International Conference on Automated Deduction (CADE 28), Virtual Event; 2021-07-12 - 2021-07-15; in: "Proc. of CADE 2021: 28th International Conference on Automated Deduction (CADE 28)", 12699 (2021), 565 - 576.

M. Oswald:
"Verallgemeinerte P-Systeme mit verbotenem Kontext";
Talk: Theorietag Automaten und Formale Sprachen, Wittenberg; 2002-09-23 - 2002-09-26; in: "Proceedings 12. Theorietag Automaten und Formale Sprachen", (2002), 40 - 41.

M. Oswald, R. Freund:
"P Automata with Membrane Channels";
Talk: Intern. Symp. on Artificial Life and Robotics (AROB), Beppu, Oita, Japan; 2003-01-24 - 2003-01-26; in: "Proc of the Eigth Intl. Symp. on Artificial Life and Robotics (AROB 8th '03)", (2003), ISBN: 4-9900462-3-4; 275 - 278.

M. Pascucci, D. Glavanicova:
"Formal analysis of responsibility attribution in a multimodal framework";
Talk: PRIMA 2019, Turin; 2019-10-28 - 2019-10-31; in: "Proceedings of the International Conference on Principles and Practice of Multi-Agent Systems", 11873 (2019), 36 - 51.

M. Pascucci, T. Libal:
"Automated reasoning in normative detachment structures with ideal conditions";
Talk: ICAIL 2019, Montreal; 2019-06-17 - 2019-06-21; in: "Proceedings of the International Conference on Artificial Intelligence and Law (ICAIL)", ACM, (2019), ISBN: 978-1-4503-6754-7; 63 - 72.

E. Pimentel, R. Ramanayake, B. Lellmann:
"Sequentialising Nested Systems";
Talk: TABLEAUX 2019, London, UK; 2019-09-03 - 2019-09-05; in: "Automated Reasoning with Analytic Tableaux and Related Methods. 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings", S. Cerrito, A. Popescu (ed.); Springer, LNCS, vol.11714 (2019), ISBN: 978-3-030-29025-2; 147 - 165.

M. Pinsker:
"The 42 reducts of the random ordered graph,";
accepted as talk for: BLAST 2013: Boolean algebras, Lattices, Algebraic Logic, Set Theory, and Topology, Orange, USA; 2013-08-05 - 2013-08-09; in: "Proceedings of BLAST 2013: Boolean algebras, Lattices, Algebraic Logic, Set Theory, and Topology", (2013).

R. Ramanayake:
"Extended Kripke lemma and decidability for hypersequent substructural logics";
Talk: LICS 2020, Saarbrücken, Germany; 2020-07-08 - 2020-07-11; in: "Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '20)", (2020), ISBN: 978-1-4503-7104-9; 795 - 806.

R. Ramanayake:
"Inducing Syntactic Cut-Elimination for Indexed Nested Sequents";
Talk: IJCAR 2016, Coimbra; 2016-06-27 - 2016-07-02; in: "Proccedings of 2nd International workshop on Automated Reasoning in Quantified Non-Classical Logics ARQNL 2016", 9706 (2016), ISBN: 978-3-319-40229-1; 416 - 432.

G. Reis et al.:
"Quati: An Automated Tool for Proving Permutation Lemmas";
Talk: IJCAR, Wien; 2014-07-19 - 2014-07-22; in: "Automated Reasoning - 7th International Joint Conference", D. Kapur et al. (ed.); LNCS/Springer, 8562 (2014), ISBN: 978-3-319-08587-6; 255 - 261.

Ch Roschger:
"Evaluation Games for Shapiro's Logic of Vagueness in Context";
Talk: Logica, Hejnice, Czech Republic; 2009-06-21 - 2009-06-25; in: "The Logica Yearbook 2010", College Publications, (2010).

G. Salzer, M. Behrisch, M. Hermann:
"As Close as It Gets";
Talk: {WALCOM:} Algorithms and Computation - 10th International Workshop, Kathmandu; 2016-03-29 - 2016-03-31; in: "{WALCOM:} Algorithms and Computation - 10th International Workshop, {WALCOM} 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings", M. Kaykobad et al. (ed.); LNCS 9627 (2016), ISBN: 978-3-319-30139-6; 222 - 235.

G. Salzer, V. Chepoi, N. Creignou, M. Hermann:
"Deciding the Satisfiability of Propositional Formulas in Finitetly-Valued Signed Logics";
Talk: ISMVL 2008 (38th IEEE International Symposium on Multiple-Valued Logic), Dallas,Texas,USA; 2008-05-16 - 2008-05-19; in: "Proceedings of 38th IEEE International Symposium on Multiple-Valued Logic", G. Dueck (ed.); IEEE Computer Society, Washington D.C., USA (2008), ISBN: 978-0-7695-3155-7; 100 - 105.

G. Salzer, I. Feinerer:
"Consistency and Minimality of UML Class Specifications with Multiplicities and Uniqueness Constraints";
Talk: TASE 2007, Shanghai; 2007-06-06 - 2007-06-08; in: "Proceedings 1st IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering", J. He, J. Sanders (ed.); (2007), 411 - 420.

G. Salzer, I. Feinerer, T. Sisel et al.:
"Configuration Repair via Flow Networks";
Talk: 20th International Symbosium, ISMIS 2012, Macao; 2012-12-04 - 2012-12-07; in: "Foundations of Intelligent Systems - 20th International Symbosium, ISMIS 2012", C. Li, A. Felfernig et al. (ed.); Berlin (2012), ISBN: 978-3-642-34623-1; 321 - 330.

G. Salzer, M. Hermann et al.:
"The Next Whisky Bar";
Talk: CSR 2016, St.Petersburg; 2016-06-09 - 2016-06-13; in: "Computer Science - Theory and Applications (11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia)", Springer, (2016), 41 - 56.

G. Salzer, S Limet:
"Manipulating Tree Tuple Languages by Transforming Logic Programs";
Talk: FTP'2003, International Workshop on First-Order Theorem Proving, Valencia, Spain; 2003-06-12 - 2003-06-14; in: "First-Order Theorem Proving (FTP'03)", Elsevier Science Publishers, Electronic Notes in Theoretical Computer Science (2003), 15 pages.

M. Schäffer, M. Di Angelo, G. Salzer:
"Performance and Scalability of Private Ethereum Blockchains";
Talk: Business Process Management: Blockchain and Central and Eastern Europe Forum - BPM 2019 Blockchain and CEE Forum, Vienna, Austria, Wien; 2019-09-01 - 2019-09-06; in: "BPM Blockchain and Central and Eastern Europe Forum, Proceeddings", Springer, Lecture Notes in Business Information Processing 361 (2019), ISBN: 978-3-030-30429-4; 1 - 15.

F. Schernhammer, B. Gramlich:
"On Operational Termination of Deterministic Conditional Rewrite Systems";
Talk: 20th Nordic Workshop on Programming Theory (NWPT 2008), Tallinn, Estonia; 2008-11-19 - 2008-11-21; in: "Proc. 20th Nordic Workshop on Programming Theory - NWPT 2008 (Extended Abstracts)", Institute of Cybernetics, Tallinn University of Technology, Tallinn, Estonia (2008), ISBN: 978-9949-430-24-6; 84 - 86.

F. Schernhammer, B. Gramlich:
"On Proving and Characterizing Operational Termination of Deterministic Conditional Rewrite Systems";
Talk: 9th International Workshop on Termination (WST 2007), Paris, France; 2007-06-29; in: "Proc. 9th International Workshop on Termination", D. Hofbauer, A. Serebrenik (ed.); (2007), 82 - 85.

F. Schernhammer, B. Gramlich:
"On Some Implementation Aspects of VMTL";
Talk: 10th International Workshop on Termination (WST 2009), Leipzig; 2009-06-03 - 2009-06-05; in: "Proc. 10th International Workshop on Termination (WST 2009)", A. Geser, J. Waldmann (ed.); (2009), 72 - 75.

F. Schernhammer, B. Gramlich:
"Termination of Lazy Rewriting Revisited";
Talk: 7th International Workshop on Reduction Strategies in Rewriting and Programming, Paris; 2007-06-25; in: "Proc. 7th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2007)", J. Giesl (ed.); (2007), 28 - 42.

F. Schernhammer, B. Gramlich:
"VMTL - A Modular Termination Laboratory";
Talk: 20th International Conference on Rewriting Techniques and Applications (RTA 2009), Brasilia, Brazil; 2009-06-29 - 2009-07-02; in: "Proc. 20th International Conference on Rewriting Techniques and Applications (RTA 2009)", R. Treinen (ed.); Springer, LNCS 5595 (2009), ISBN: 978-3-642-02347-7; 285 - 294.

C. Schneidewind, I. Grishchenko, M. Scherer, M. Maffei:
"eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts";
Talk: ACM Conference on Computer and Communications Security (CCS), Orlando; 2020-11-09 - 2020-11-13; in: "CCS '20: Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security", Association for Computing Machinery ACM, (2020), ISBN: 978-1-4503-7089-9; 621 - 640.

C. Schneidewind, M. Scherer, M. Maffei:
"The Good, the Bad and the Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts";
accepted as talk for: International Symposium on Leveraging Applications of Formal Methods (ISoLA), Rhodes; 2020-10-20 - 2020-10-30; in: "International Symposium On Leveraging Applications of Formal Methods, Verification and Validation", Springer, 7609 (2020), ISBN: 978-3-642-34025-3.

K. van Berkel, A. Ciabattoni et al.:
"Evaluating Networks of Arguments: A Case Study in Mīmāṃsā Dialectics.";
Talk: 7th Conference on Logic, Rationality and Interaction (LORI-VII, 2019), Chongqing, China; 2019-10-18 - 2019-10-21; in: "Logic, Rationality, and Interaction. LORI 2019. Lecture Notes in Computer Science", (2019), ISBN: 978-3-662-60291-1; 355 - 369.

K. van Berkel, T. Lyon:
"A Neutral Temporal Deontic STIT Logic";
Talk: Logic, Rationality, and Interaction - 7th International Workshop, LORI, Chongqing, China; 2019-10-18 - 2019-10-21; in: "Logic, Rationality, and Interaction. LORI 2019. Lecture Notes in Computer Science,", 11813 (2019), ISBN: 978-3-662-60291-1; 340 - 354.

K. van Berkel, T. Lyon:
"Cut-Free Calculi and Relational Semantics for Temporal STIT Logics.";
Talk: 16th Edition of the European Conference on Logics in Artificial Intelligence, Rende, Italien; 2019-05-07 - 2019-05-11; in: "Logics in Artificial Intelligence - 16th European Conference, {JELIA}", Springer, 11468 (2019), ISBN: 978-3-030-19569-4; 803 - 819.

K. van Berkel, M. Pascucci:
"Notions of Instrumentality in Agency Logic";
Talk: Konferenz PRIMA 2018: Principles and Practice of Mult-Agent Systems,, Tokyo, Japan; 2018-10-31 - 2018-11-02; in: "PRIMA 2018: Principles and Practice of Multi-Agent Systems, Tokio", T. Miller et al. (ed.); Springer, 11224 (2018), ISBN: 978-3-030-03097-1; 403 - 419.

B. Woltzenlogel-Paleo, C. Benzmüller:
"Automating Gödel´s Ontological Proof of God´s Existence with Higher-order Automated Theorem Provers";
Talk: ECAI 2014, Prag; 2014-08-18 - 2014-08-22; in: "Proceeding to ECAI 2014 - 21st European Conference on Artificial Intelligence", T. Schaub et al. (ed.); IOS Press, (2014), ISBN: 978-1-61499-418-3; 93 - 98.

B. Woltzenlogel-Paleo, J. Boudou:
"Compression of Propositional Resolution Proofs by Lowering Subproofs";
Talk: Tableaux 2013, Nancy; 2013-09-16 - 2013-09-19; in: "Automated Reasoning with Analytic Tableaux and Related Methods - 22th International Conference, TABLEAUX 2013", D. Galmiche et al. (ed.); Heidelberg (2013), ISBN: 978-3-642-40536-5; 59 - 73.


Talks and Poster Presentations (without Proceedings-Entry)


J. Alama:
"Dialogues for proof search";
Talk: Automated Reasoning in Quantified Non-Classical Logics (VSL 2014), Wien; 2014-07-23.

J. Alama:
"New results on Hilbert's 24th problem";
Talk: Algebra and Logic Seminar, Center for Mathematics and its Applications, New University of Lisbon, Caparica, Portugal (invited); 2014-11-19.

J. Alama:
"New views into dialogue games for classical and intuitionistic logic";
Talk: Seminar Faculty of Information Systems and Applied Computer Science @ University of Bamberg, Bamberg, Germany (invited); 2014-12-16.

J. Alama:
"Reverse-engineering mathematics";
Talk: Seminar Young India Fellows @ Ashoka University, Sonipat, Indien (invited); 2014-10-27.

J. Alama:
"Without E";
accepted as talk for: Logica 2014, Hejnice, Tschechien; 2014-06-17 - 2014-06-20.

A. Alhazov, R. Freund, Gh. Paun:
"Computational Completeness of P Systems with Active Membranes and Two Polarizations";
Talk: MCU (International Conference Machines, Computations and Universality), St. Petersburg, Russia; 2004-09-21 - 2004-09-26.

F. Aschieri:
"Natural Deduction and Normalization Proofs for the Intersection Type Discipline";
Talk: "Intersection Types and Related Systems" (ITRS 2018), Oxford; 2018-07-08.

F. Aschieri:
"On Herbrand constructive Logics III: Intuitionistic logic of constant domains";
Talk: Classical Logic and Computation" (CL&C 2018), Oxford; 2018-07-07.

F. Aschieri:
"Towards a concurrrent lambda calculus: via linear logic";
Talk: Workshop, Proof, Computation, Complexity, Stockholm; 2019-07-15 - 2019-07-19.

F. Aschieri, A. Ciabattoni, F. Genco:
"Logic-Based Concurrent Calculi";
Talk: Substructural logics: semantics, proof theory, and applications, SYSMICS 2018, Wien; 2018-02-26 - 2018-02-28.

F. Aschieri, F. Genco:
"Par means parallel: multiplicative linear logic proofs as concurrent functional programs"";
Talk: POPL2020, New Orleans; 2020-01-19 - 2020-01-21.

M. Baaz, A. Ciabattoni:
"Proof theory for non-classical logics: negative results";
Talk: Logic, Algebra and Truth Degrees 2012, JAIST, Ishikawa, Japan; 2012-09-10 - 2012-09-14.

M. Baaz, A. Ciabattoni, C. Fermüller:
"Monadic fragments of Gödel logics: decidability and undecability results";
Talk: 14th International Conference on Logic for Programming Artificial Intelligence and Reasoning 2007, Eriwan, Armenia; 2007-10-15 - 2007-10-19.

M. Baaz, S. Hetzl:
"Cut-elimination";
Talk: Third Vienna Tbilisi Summer School in Logic and Language, Tbilisi, Georgia (invited); 2008-09-24 - 2008-09-28.

M. Baaz, S. Hetzl, A. Leitsch, Clemens Richter, H. Spohr:
"Cut-Elimination: Experiments with CERES";
Talk: Second Florence-Vienna Workshop on Logic and Computation, Florenz; 2005-11-02 - 2005-11-05.

M. Baaz, S. Hetzl, D. Weller:
"On the complexity of proof deskolemization";
Talk: Collegium Locicum 2010: Proofs and Structures, Paris; 2010-11-08 - 2010-11-10.

P. Baldi:
"A proof-theoretical approach to standard completeness";
Talk: Workshop on Gentzen Systems and Beyond 3. Vienna, Wien; 2014-07-13.

P. Baldi:
"Density Elimination";
Talk: Workshop on Admissible Rules and Unification II, Les Diablerets, Les Diablerets; 2015-01-30 - 2015-02-02.

P. Baldi:
"Density Elimination and Standard Completeness for extensions of UL and MTL";
Talk: Prague Seminar on Substructural logic, Prag; 2014-03-28 - 2014-03-29.

P. Baldi:
"Towards a proof theory for fuzzy quantifiers: a calculus for Rational Lukasiewicz Logic";
Talk: Logic, Algebra and Truth Degress (LATD 2016), Phalaborwa , South Africa, Phalaborwa; 2017-06-28 - 2017-06-30.

P. Baldi, A. Ciabattoni, K. Terui et al.:
"Standard completeness: proof-theoretical and algebraic approaches";
Talk: 35th Linz Seminar of Fuzzy Set Theory, Linz; 2014-02-18 - 2014-02-22.

P. Baldi, M. Hofer:
"Discussion on Quantifier Fuzzyfication Mechanisms.";
Talk: Workshop on Fuzzy Quantifiers and related topics MOVAQ 2017, Wien; 2017-12-15 - 2017-12-16.

A. Beckmann:
"Abstract measures for low level complexity";
Talk: 3rd Moscow-Vienna Workshop on Logic and Computation, Moskow (invited); 2004-05-31 - 2004-06-01.

A. Beckmann:
"On a connection between Gdel logics and linearly ordered Kripke frames";
Talk: COS - ESF Exploratory Workshop ``The Challenge of Semantics', Vienna (invited); 2004-07-12 - 2004-07-17.

A. Beckmann:
"Viewing proofs in bounded arithmetic as programs";
Talk: Paris-Vienna Workshop 2004 on Proof Systems, Paris; 2004-12-13 - 2004-12-14.

D. Cerna:
"Integer Sequences, Recursive Lemma Elimination and Combinatorics";
Talk: DIMACS Conference on Challenges of Identifying Integer Sequences, New York; 2014-10-09 - 2014-10-10.

D. Cerna:
"Towards Powerful and Decidable Formalizations Through Schematic Representation";
Talk: UNILOG 2013 - Workshop on Compositional Meaning in Logic (GeTFun 1.0), Rio de Janeiro; 2013-04-03 - 2013-04-04.

A. Ciabattoni:
"(Algebraic) Proof Theory for Substructural Logics";
Keynote Lecture: Algebra and Coalgebra meet Proof Theory VI, 2015, Delft (invited); 2015-05-06 - 2015-05-08.

A. Ciabattoni:
"(Algebraic) Proof Theory for Substructural Logics and Applications";
Talk: 87. Arbeitstagung Allgemeine Algebra (AAA87), Linz (invited); 2014-02-07 - 2014-02-09.

A. Ciabattoni:
"A proof theoretic approach to Standard completeness";
Talk: Konference: Beyond True and False: Logic, Algebra and Topology, Florenz (invited); 2014-12-03 - 2014-12-05.

A. Ciabattoni:
"Algebraic proof theory for substructural logics and applications";
Keynote Lecture: Topology, Algebra, and Categories in Logic 2015 (TACL 2015), Ischia (invited); 2015-06-21 - 2015-06-26.

A. Ciabattoni:
"Analytic calculi for non-classical logics: The Baha'i Method";
Keynote Lecture: UniLog 2013, Rio de Janeiro (invited); 2013-03-29 - 2013-04-07.

A. Ciabattoni:
"Analytic calculi for non-classical logics: The Baha'i Method";
Talk: Tenth International Tbilisi Symposium on Language, Logic and Computation, TbiLLC 2013, Tbilisi, Georgia (invited); 2013-09-23 - 2013-09-27.

A. Ciabattoni:
"Analytic Calculi for substructural logics: Theory and applications";
Talk: Logic Colloquium 2018, Udine (invited); 2018-06-23 - 2018-06-28.

A. Ciabattoni:
"Deontic Reasoning: From Ancient Texts to Artificial Intelligence";
Talk: TICAMORE Meeting/Workshop 3, Nancy; 2018-06-06 - 2018-06-08.

A. Ciabattoni:
"From hypersequent calculi to parallel computation";
Talk: International Workshop on Proofs, Paris (invited); 2017-06-01 - 2017-06-02.

A. Ciabattoni:
"From hypersequents to parallel computation for intermediate logics";
Talk: Workshop TICAMORE, Marseille; 2017-11-15 - 2017-11-18.

A. Ciabattoni:
"Goedel Logic: from Hypersequents to Parallel Computation";
Talk: ISRALOG 2017, Haifa, Israel; 2017-10-15 - 2017-10-17.

A. Ciabattoni:
"How to Reach Heaven: Different career paths";
Talk: 2nd Logic Mentoring Workshop, Reykjavik (invited); 2017-06-18.

A. Ciabattoni:
"Intermediate logics: from hypersequents to parallel computation";
Talk: British Colloquium for Theoretical Computer Science 2018, London (invited); 2018-03-26 - 2018-03-28.

A. Ciabattoni:
"Logic-based process calculi: Gödel logic and beyond";
Talk: Workshop Open Problems in Concurrency Theory II, Klosterneuburg (invited); 2017-06-26 - 2017-06-29.

A. Ciabattoni:
"Non classical proofs: Theory, applications and tools";
Talk: Prague Seminar on Substructural Logics, Prag, Czech Republic; 2014-03-28 - 2014-03-29.

A. Ciabattoni:
"Nonclassical Proofs: theory, applications, and tools";
Talk: 2nd Workshop of the Joint Project "Structural and Computational Proof Theory", Innsbruck; 2011-10-26 - 2011-10-28.

A. Ciabattoni:
"Nonclassical proofs: theory, applications, and tools";
Talk: Logical Models of Reasoning and Computation (LMRC12), Moskau, Russia (invited); 2012-02-01 - 2012-02-03.

A. Ciabattoni:
"Power and Limits of Analytic Calculi: Towards a Systematic Proof Theory for Nonclassical Logics";
Talk: Workshop on Logic and Computation, Kanazawa, Japan (invited); 2011-02-08 - 2011-02-09.

A. Ciabattoni:
"Power andl limits of structural rules";
Talk: LIX Colloquium 2013: Theory and Application of Formal Proofs, Paris, France (invited); 2013-11-05 - 2013-11-07.

A. Ciabattoni:
"Proof Search and Co-NP Completeness for Many-Valued Logics";
Talk: Konferenz zu Coherence & Truth-In memoriam Franco Montagna, Pontignano (invited); 2015-12-16 - 2015-12-18.

A. Ciabattoni:
"Proof theory meets semantics: the case of substructural logics";
Keynote Lecture: Boolean Algebras, Lattices, Algebraic & Quantum Logic, Universal Algebra, Set Theory, and Set-theoretic and Point-free Topology (BLAST 2015), Denton, Texas (invited); 2015-06-08 - 2015-06-12.

A. Ciabattoni:
"Proof-Theory for Non-Classical Logics: Sequent calculi and beyond";
Talk: International Summer School for Proof Theory, Funchal; 2017-08-22 - 2017-08-27.

A. Ciabattoni:
"Systematic (and algebraic) proof theory for substructural logics";
Talk: International Workshop PCC-Proof, Computation, Complexity, Bern (invited); 2010-06-18 - 2010-06-19.

A. Ciabattoni:
"Systematic (and algebraic) proof theory for substructural logics";
Talk: Truth, Proof and Consequence. Perspectives on Logic, Pisa, Italien; 2011-02-28.

A. Ciabattoni:
"Systematic proof theory for Many-valued logics";
Talk: ManyVal´12 (In honor of Antonio Di Nola´s 65th birthday), Salerno, Italy; 2012-07-04 - 2012-07-07.

A. Ciabattoni:
"Systematic proof theory for substructural logics and applications";
Talk: Mathematics for Computation, Niederaltaich; 2016-05-08 - 2016-05-13.

A. Ciabattoni:
"Tools for the investigation of substructural and paraconsistent logics";
Keynote Lecture: XXV incontro dell'Associazione Italiana di Logica e sue Applicazioni, Pisa (invited); 2014-04-14 - 2014-04-17.

A. Ciabattoni, M. Baaz:
"Proof theory for non-classical logics: a negative result";
Talk: Pisa Summer Workshop on Proof Theory, Pisa, Italy; 2012-06-12 - 2012-06-15.

A. Ciabattoni, F. Genco:
"Hypersequents and Systems of Rules: An Embedding";
Talk: Syntax Meets Semantics 2016, Barcelona; 2016-09-05 - 2016-09-09.

A. Ciabattoni, F. Genco, F. Aschieri:
"Intermediate Logic Proofs as Concurrent Programs";
Talk: Conference: Syntax meets Semantics (SYSMICS) 2019, Amsterdam; 2019-01-21 - 2019-01-25.

A. Ciabattoni, A. Zamansky:
"Basic contructive connectives, determinism and matric-based semanticst";
Talk: TABLEAUX 2011, Bern, Switzerland; 2011-07-04 - 2011-07-08.

C. Fermüller:
"A cost conscious game model for intutionistic linear logic with subexponentials";
Talk: FISP Workshop (3rd FISP Meeting), Vienna; 2018-12-07 - 2018-12-08.

C. Fermüller:
"A Dialogue Game for Intuitionistic Fuzzy Logic Based on Comparisons of Degrees of Truth";
Talk: First Florence-Vienna Workshop on Logic and Computation, Florence, Italy; 2004-01-27 - 2004-01-30.

C. Fermüller:
"A Generalization of Giles's Game";
Talk: Algebra and Substructural Logics - AsubL4, Kanazawa, Japan; 2010-06-08 - 2010-06-10.

C. Fermüller:
"A logical perspective on argumentation";
Keynote Lecture: Metaphor and Argumentation, Cagliari, Italy (invited); 2017-05-25 - 2017-05-27.

C. Fermüller:
"A Natural Deduction System for Intuitionistic Fuzzy Logic";
Talk: Moscow-Vienna Workshop on Logic and Computation, Moscow; 2002-04-28.

C. Fermüller:
"Argumentation Based Semantics for Nonclassical Logics";
Keynote Lecture: A primer of formal argumentation, Milano; 2019-01-29 - 2019-01-31.

C. Fermüller:
"Automated Deduction in Classical and Nonclassical Logic: A bird's eyes view with hints on bounded reasoning";
Keynote Lecture: Models of Bounded Reasoning in Individuals and Groups, Leiden, Netherlands; 2018-07-02 - 2018-07-05.

C. Fermüller:
"Brandom's 'incompatibilty semantics'";
Talk: Kolloquium Institut Wiener Kreis (IVC), Wien (invited); 2008-11-20.

C. Fermüller:
"Characterizing Gödel logic by parallellizing Lorenzen's dialogue semantics";
Talk: Accion Integrada Meeting, Bellaterra, Spain; 2002-05-20.

C. Fermüller:
"Connecting Argumentation, Incompatibility Semantics, Nmatrices, and Relevance Logics";
Talk: ISRALOG 2017, Haifa, Israel; 2017-10-15 - 2017-10-17.

C. Fermüller:
"Connecting fuzzy logic and argumentation frames via logical attack principles";
Talk: ManyVal 2017, Toulouse, Frankreich; 2017-11-14 - 2017-11-17.

C. Fermüller:
"Connecting Lorenzen style games and Gentzen style calculi";
Keynote Lecture: CiE 2015 - Evolving Computability, Bucharest (invited); 2015-06-29 - 2015-07-03.

C. Fermüller:
"Decision Procedure and Model Building Based on Hypersequent Calculi";
Talk: LPAR Workshop on Analytic Proof Systems, Montevideo, Uruguay; 2005-03-13.

C. Fermüller:
"Dialogue games as foundation of fuzzy logics";
Talk: 3rd Moscow-Vienna Workshop on Logic and Computation, Moscow (invited); 2004-05-31 - 2004-06-01.

C. Fermüller:
"Dialogue games as foundations of fuzzy logics";
Talk: 3rd Moscow-Vienna Workshop on Logic and Computation, Wien; 2007-07.

C. Fermüller:
"Dialogue games as foundations of non-classical logics";
Keynote Lecture: Non-classical Logics: from Foundations to Applications, Pisa (invited); 2008-04.

C. Fermüller:
"Equilibrium Semantics for IF-Logic and Many-Valued Connectives";
Talk: TbiLLC 2015: 11th International Tbilisi Symposium on Language, Logic and Computation, Tiflis; 2015-09-21 - 2015-09-26.

C. Fermüller:
"Exploring Argumentation Based Semantics for Relevance Logic";
Talk: AsubL (Algebra & Substructural Logics- Take 6), Cagliari, Italy; 2018-06-11 - 2018-06-13.

C. Fermüller:
"Formal Rationality Principles in Logical Dialogue Games";
Talk: Logic, Reasoning and Rationality - LRR10, Gent, Belgien; 2010-10-20 - 2010-10-22.

C. Fermüller:
"From classical to many-valued reasoning via dialogue games";
Talk: Dpt. of Computer Sciences, Czech Academy of Sciences, Prague, Cech Republic; 2005-12-05.

C. Fermüller:
"From classical to many-valued reasoning via dialogue games";
Talk: Second Florence-Vienna Workshop on Logic and Computation, Florence, Italy; 2005-11-02 - 2005-11-05.

C. Fermüller:
"From Giles's game for reasoning in physics to analytic proof systems for fuzzy logics";
Talk: OASIS: The Oxford Advanced Seminar on Informatic Structures, Oxford, UK; 2012-11-23.

C. Fermüller:
"From Lorenzen´s dialogue game to game semantics for substructural logics";
Talk: Paul Lorenzen: Mathematician and Logician, Konstanz; 2018-03-08 - 2018-03-09.

C. Fermüller:
"From truth-functional to substructural logics via semantic games";
Talk: AsubL take 5, Mrlbourne, Australien; 2014-12-13 - 2014-12-15.

C. Fermüller:
"Fuzzy Logic and Theories of Vagueness";
Talk: Fuzzy Logic Seminar of the CAS, Institute of Computer Science, Prague, Czech Republic (invited); 2007-09.

C. Fermüller:
"Fuzzy Logics from First Principles";
Talk: Paris-Vienna Workshop 2004 on Proof Systems, Paris (invited); 2004-12-13 - 2004-12-14.

C. Fermüller:
"Game Based Interpretations of Mathematical Fuzzy Logics";
Talk: 2nd Workshop on Algebraic Logics and Mathematical Fuzzy Logic, Prag; 2013-11-29.

C. Fermüller:
"Game based semantics for Lukasiewicz logic: acquainting Giles's gamblers with Mundici's Pinocchio";
Talk: Studia Logica International Conference `Towards Mathematical Philosophy -- Trends in Logic IV', Turun, Poland; 2006-09-26.

C. Fermüller:
"Game Semantics for Vague Quantifiers";
Talk: Logica 2015, Hejnice; 2015-06-15 - 2015-06-19.

C. Fermüller:
"Games and analytic proof systems";
Keynote Lecture: PhDs in Logic X, Prague; 2018-05-01 - 2018-05-04.

C. Fermüller:
"Games in logic and logic in games";
Talk: Institute Vienna Circle, Wien (invited); 2007-09.

C. Fermüller:
"Games semantics for deterministic and nondeterministic many-valued logics";
Talk: UniLog 2013, Rio de Janeiro; 2013-03-29 - 2013-04-07.

C. Fermüller:
"Giles' Game - Recent Developments and Challenges";
Talk: Magica 16, Mailand (invited); 2016-09-26 - 2016-09-27.

C. Fermüller:
"Giles's Game and the Proof Theory of Lukasiewicz Logic";
Keynote Lecture: Probability, Uncertainty and Rationality, Pontignano, Italy; 2009-11-01 - 2009-11-03.

C. Fermüller:
"Hintikka-style semantic games for many-valued logics";
Talk: Seminar of Logic Group at University of Milano, Mailand (invited); 2015-05-28.

C. Fermüller:
"How to justify your favorite logical system? - A case study";
Talk: Workshop STRUCTURAL, Paris, France (invited); 2011-06-15 - 2011-06-17.

C. Fermüller:
"Interpreting interval based fuzzy logics";
Talk: Analytic Proof Systems 3, 3rd International Workshop on Analytic Proof Systems, Yerevan, Armenia (invited); 2007-10.

C. Fermüller:
"Interpreting Sequent Calculi as Client-Server Games";
Talk: Syntax Meets Semantics 2016, Barcelona (invited); 2016-09-05 - 2016-09-09.

C. Fermüller:
"Is there a role for fuzzy logic in linguistics?";
Talk: Workshop on 'Vague Quantities and Vague Quantifiers (VQ2)', Berlin (invited); 2010-12-08 - 2010-12-09.

C. Fermüller:
"Judgment Aggregation From a Many-valued Logic Perspective";
Keynote Lecture: Nonclassical Logics and Judgment Aggregation, Prag; 2019-11-07 - 2019-11-10.

C. Fermüller:
"Linguistics, Logic, and Vagueness";
Talk: Moscow-Vienna Workshop on Logic and Computation, Vienna; 2009-06-29 - 2009-07-02.

C. Fermüller:
"Logic and Vagueness. Report from an Interdisciplinary Battle Ground";
Talk: LogICCC Meets India, New Dehli (invited); 2011-01-07 - 2011-01-08.

C. Fermüller:
"Logical Consequence and Belief Change Arising From Semi-Abstract Argumentation";
Talk: Workshop on New Trends in Belief Change, Vienna; 2016-05-10.

C. Fermüller:
"Logical Models of Reasoning with Vague Information";
Talk: LogICCC Final Conference, Berlin, Germany (invited); 2011-09-15 - 2011-09-18.

C. Fermüller:
"Logische Dialogspiele als formale Semantik";
Talk: Institute Vienna Circle, Wien (invited); 2007-04.

C. Fermüller:
"LoMoReVI -- Logical Models of Reasoning with Vague Information";
Talk: LogICCC Launch Conference of the European Science Foundation, Prag (invited); 2008-10.

C. Fermüller:
"Lorenzen, Giles and beyond:from dialogue games to sequents and hypersequents";
Talk: Universita degli Studi di Siena, Siena, Italy (invited); 2006-05-31.

C. Fermüller:
"Lorenzen-style Dialogues and Substructural Sequent Systems";
Talk: Workshop on Logica Dialogue Games, Wien; 2015-09-21 - 2015-09-26.

C. Fermüller:
"Many Values in Semantic Games";
Talk: Logica, Hejnice, Czech Republic; 2013-09-13.

C. Fermüller:
"Measuring Uncertainty: On Probabilities, Possibilities, Likelihoods, Plausibilities and Degrees of Truth";
Talk: Uncertainty: Reasoning about probability and vagueness, Prague International Colloquium, Prague, Cech Republic; 2006-09-30.

C. Fermüller:
"Modalities as prices: a game model of intuitionistic linear logic with subexponentials";
Talk: GaLoP 2019 14th Workshop on Games for Logic and Programming Languages, Prag; 2019-04-06 - 2019-04-07.

C. Fermüller:
"n Equilibrium Semantics for IF-Logic and Many-Valued Connectives";
Talk: ISRALOG 2014, Haifa, Israel; 2014-09-29 - 2014-10-01.

C. Fermüller:
"On Dialogue Games for Multi-Valued Logics";
Talk: Logic, Algebra and Truth Degrees - LATD 2010, Prag, Tschechische Republik; 2010-09-07 - 2010-09-11.

C. Fermüller:
"On Matrices, Nmatrices, and Games";
Talk: Logic: Between Semantics and Proof Theory, Tel-Aviv (invited); 2012-11-01 - 2012-11-02.

C. Fermüller:
"On the interpretation of t-norm based fuzzy logics";
Keynote Lecture: LATD 2008 - Logic, Algebra and Truth Degrees 2008, Siena; 2008-09.

C. Fermüller:
"Parallel dialogue games and hypersequents";
Talk: Proof and Dialogues (ProDi), Tübingen, Deutschland (invited); 2011-02-25 - 2011-02-27.

C. Fermüller:
"Parallel Dialogue Games and Hypersequents";
Talk: Workshop on Proofs as Processes, Kanazawa, Japan; 2014-01-20 - 2014-01-21.

C. Fermüller:
"Parallel Dialogue Games and Hypersequents for Intermediate Logics";
Talk: Workshop on Logic and Computation, Kanazawa, Japan (invited); 2011-02-08 - 2011-02-09.

C. Fermüller:
"Parallel Dialogue Games and Hypersequents for Intermediate Logics";
Talk: Logikseminar des Instituts für Mathematik, Bern, Schweiz (invited); 2011-11-26.

C. Fermüller:
"Parallel Dialogue Games for Gödel Logic";
Talk: Amadee-Meeting, Universite Paris VII, Paris, France; 2002-11-20.

C. Fermüller:
"Parallel Dialogue Games for Intermediate Logics";
Talk: Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), Tblilisi, Georgia (invited); 2002-10-14 - 2002-10-18.

C. Fermüller:
"Randomizing Giles´s Game for Fuzzy Quantification";
Talk: Games, Game Theory and Game Semantics: Philosophical and Scientific Perspectives, Riga, Latvia; 2012-05-18 - 2012-05-20.

C. Fermüller:
"Relations between Medieval and Modern Logical Dialogue Games";
Talk: International Medieval Congress 2010, Leeds, UK (invited); 2010-07-12 - 2010-07-15.

C. Fermüller:
"Revisiting Giles: Connecting Bets, Dialogue Games, and Fuzzy Logics";
Talk: Logic, Games and Philosophy - Foundational Perspectives, Prague, Czech Republic; 2004-09-28 - 2004-10-01.

C. Fermüller:
"Revisiting Giles: On Bets, Dialogue Games, Fuzzy logics, and Hypersequents";
Talk: COS - ESF Exploratory Workshop ``The Challenge of Semantics', Vienna (invited); 2004-07-12 - 2004-07-17.

C. Fermüller:
"Semantic games and hypersequents - a case study in many valued reasoning";
Talk: Seminar of the Munich Center for Mathematical Philosophy, München, Deutschland; 2013-05-02.

C. Fermüller:
"Some Critical Remarks on Incompatibility Semantics";
Talk: Logica 2009, Hejnice, Czech Republic; 2009-06-22 - 2009-06-26.

C. Fermüller:
"Some Remarks on Imprecise Truth Values";
Talk: "Two and beyond", KGS Workshop on Fuzzy Logic and Proof Theory, Barcelona, Spain (invited); 2007-11.

C. Fermüller:
"Substructural Calculi and Games of Information Extraction";
Talk: Forschungsseminar Informatik, Uni Bamberg, Bamberg; 2018-07-09.

C. Fermüller:
"The Enigma of Quantifying Vague Information";
Talk: The Logic of Soft Computing~IV and 4th ERCIM, Ostrava, Czech Republic; 2005-10-05 - 2005-10-07.

C. Fermüller:
"The future of MFL: pure math or seriously interdisciplinary?";
Talk: The Future of Mathematical Fuzzy Logic, Prague; 2016-06-16 - 2016-06-18.

C. Fermüller:
"Theorien der Vagheit und Fuzzy Logic";
Talk: Kolloquium Institut Wiener Kreis (IVC), Wien (invited); 2006-10-12.

C. Fermüller:
"Truth Value Intervals, Bets, and Dialogue Games";
Talk: LOFT 2008, 8th Conference on Logic and the Foundations of Game and Decision Theory, Amsterdam; 2008-07.

C. Fermüller:
"Truth Value Intervals, Bets, and Dialogue Games";
Talk: Logica 2008, Hejnice; 2008-06.

C. Fermüller:
"Vague and Uncertain Entailment - Some Conceptual Clarifications";
Talk: Workshop: Conditionals, Counterfactuals and Causes in Uncertain Environments, Düsseldorf, Germany (invited); 2011-05-19 - 2011-05-22.

C. Fermüller:
"Vagueness and logical dialogue games";
Talk: Workshop on Vagueness via Nonclassical Logics, Sydbey, Australien; 2014-12-17 - 2014-12-20.

C. Fermüller:
"Vagueness as semantic indeterminacy: three bridges between probability and fuzzy logic";
Talk: Fuzzy Sets, Probability, and Statistics -- Gaps and Bridges, 28th Linz Seminar on Fuzzy Sets, Linz (invited); 2007-02.

C. Fermüller:
"Vagueness at the interface between logic, philosophy, and linguistics";
Talk: Logical Models of Reasoning with Vague Information, Cejkovice, Czech Republic (invited); 2009-09-14 - 2009-09-17.

C. Fermüller, T Lang:
"Interpretpreting Substructural Logics by Games of Information Extraction";
Talk: Games for Logic and Programming Languages XIII, Thessaloniki, Greece; 2018-04-14 - 2018-04-15.

M. Fitting, R. Kuznets:
"Applications of Nested-Sequent Proof Systems for Modal Logics to the Craig Interpolation Property";
Talk: VSL - Nonclassical Proofs Workshop, Wien; 2014-07-20.

R. Freund:
"Algebraic representation of regular array languages";
Talk: ESF Exploratory Workshop: Advances on Two-dimensional Language Theory, Salerno, Italien; 2006-05-03 - 2006-05-05.

R. Freund:
"An Integrating View on DNA Computing and Membrane Computing";
Keynote Lecture: 10th WSEAS Int. Conf. on MATHEMATICAL METHODS AND COMPUTATIONAL TECHNIQUES IN ELECTRICAL ENGINEERING (MMACTEE '08), Sofia, Bulgaria (invited); 2008-05-02 - 2008-05-04.

R. Freund:
"Asynchronous P Systems on Arrays and Strings";
Talk: International Conference on Developments in Language Theory (DLT), Auckland, New Zealand; 2004-12-13 - 2004-12-17.

R. Freund:
"Bio-Inspired Computing: DNA Computing and Membrane Computing";
Keynote Lecture: BIRD'08 2nd International Conference on Bioinformatics Research and Development, Wien (invited); 2008-07-07 - 2008-07-09.

R. Freund:
"Computational Completeness and Universality in Membrane Computing";
Keynote Lecture: CMC'16 Membrane Computing, Valencia; 2015-08-17 - 2015-08-21.

R. Freund:
"Computations on a Moebius Rope";
Talk: 17th International Conference on Membrane Computing (CMC17), Mailand; 2016-07-25 - 2016-07-29.

R. Freund:
"Membrane Computing";
Keynote Lecture: 4th WSEAS International Conference on ARTIFICIAL INTELLIGENCE, KNOWLEDGE ENGINEERING and DATABASES (AIKED `05), Salzburg (invited); 2005-02-13 - 2005-02-15.

R. Freund:
"Membrane Systems";
Keynote Lecture: The 12th World Multi-Conference on Systemics, Cybernetics and Informatics: WMSCI 2008, Orlando, Florida (invited); 2008-06-29 - 2008-07-02.

R. Freund:
"Models of Grammars Inspired by Marcus Contextual Grammars";
Talk: DCFS 2016, Bucharest; 2016-07-05 - 2016-07-08.

R. Freund:
"P automata on finite and infinite words";
Talk: Annual Meeting of Project MolCoNet, Budapest; 2002-11-29 - 2002-11-30.

R. Freund:
"P systems versus register machines: two universality proofs";
Talk: Workshop on Membrane Computing, Curtea de Arges, Romania; 2002-08-19 - 2002-08-23.

R. Freund:
"P Systems Working in the 1-restricted Minimally Parallel Derivation Mode";
Talk: Workshop on Language-Theoretic Models of Decentralized and Distributed Systems, Opava (invited); 2008-06-16 - 2008-06-17.

R. Freund:
"P Systems Working in the Asynchronous and the Sequential Mode";
Talk: Molecular Computing, Leiden, the Netherlands; 2004-11-22 - 2004-11-26.

R. Freund:
"Red-Green P Automata";
Talk: 26.Theorietag Automata und Formale Sprachen, Tannenfelde; 2016-10-04 - 2016-10-07.

R. Freund:
"Reversibility and Determinism in P Systems";
Talk: Reversibility in Programming, Languages, and Automata (RPLA), Porto; 2019-10-07 - 2019-10-11.

R. Freund:
"Some comments on P systems with communication";
Talk: Workshop on Membrane Computing, Curtea de Arges, Romania; 2002-08-19 - 2002-08-23.

R. Freund:
"Special variants of P systems with one catalyst in one membrane";
Talk: DCFS (Descriptional Complexity of Formal Systems), Las Cruces, New Mexico, USA; 2006-06-21 - 2006-06-23.

R. Freund:
"Syntactical pattern recognition with 2-dimensional array grammars and array automata";
Talk: ESF Exploratory Workshop: Advances on Two-dimensional Language Theory, Salerno, Italien; 2006-05-03 - 2006-05-05.

R. Freund:
"Tissue P Systems with Anti-Cells";
Talk: 29. Theorietag Automaten und Formale Sprachen, Bremen; 2019-09-26.

R. Freund:
"Variants of Energy-Controlled P Systems";
Talk: NIT 2016, Valencia; 2016-10-18 - 2016-10-21.

R. Freund, A. Alhazov:
"New Results for Small Universal P Systems Based on the Simulation of Generalized Register Machines and Generalized Counter Automata";
Talk: CMC'16 Membrane Computing, Valencia; 2015-08-17 - 2015-08-21.

R. Freund, A. Alhazov et al.:
"Blind and partially blind reister machines over groups";
Talk: NCMA 2019, Valencia; 2019-07-02 - 2019-07-03.

R. Freund, A. Alhazov et al.:
"Membrane Systems With Membrane Labels Changing in Time";
Talk: 10th Brainstoming Week on Membrane Computing, Sevilla; 2012-01-30 - 2012-02-03.

R. Freund, A. Alhazov, S. Ivanov:
"Activation and Blocking of Rules";
Talk: The 5th Annual Rogozhin Lectures on Foundations of Informatics and Unconventional Computing Systems, Chisinau, Moldavien; 2018-11-13 - 2018-11-14.

R. Freund et al.:
"Going Beyond Turing with Watson-Crick T0L Systems";
Poster: UCNC 2015, Auckland; 2015-08-30 - 2015-09-03.

R. Freund et al.:
"Variants of Energy-Controlled P Systems" Autoren";
Talk: Workshop "Unconventional Computing Systems" in commemoration of Yuri Rogozhin, Chisinau; 2016-11-11.

R. Freund, M. Freund:
"Rechnen mit Molekülen";
Talk: Institutskolloquium des Instituts für Informatik, Halle an der Saale; 2012-07-06.

R. Freund, S. Ivanov:
"P Systems with Multiple Catalysts of the Same Name";
Talk: CMC'16 Membrane Computing, Valencia; 2015-08-17 - 2015-08-21.

R. Freund, M. Kogler, M. Oswald:
"A General Framework for Regulated Rewriting Based on the Applicability of Rules";
Talk: Workshop on Computation, Cooperation, and Life, Otava, Teschechien; 2011-04-26 - 2011-04-27.

R. Freund, M. Kudlek, N. Flick:
"Language Operators for Multiset languages and Modal Logic";
Talk: NCMA, Fribourg, Schweiz; 2012-08-23 - 2012-08-24.

R. Freund, A. Leporati, M. Oswald, C. Zandron:
"Sequential P Systems with Unit Rules and Energy Assigned to Membranes";
Talk: MCU (International Conference Machines, Computations and Universality), St. Petersburg, Russia; 2004-09-21 - 2004-09-26.

R. Freund, M. Oswald:
" P Systems with Elementary Graph Productions";
Talk: EMCC Spring Meeting, Turku, Finland; 2003-05-15 - 2003-05-17.

R. Freund, M. Oswald:
"(Tissue) P Systems with Mate and Drip Operations and Cut and Paste Operations";
Talk: ESF Workshop on Automata and formal languages for DNA computation and bioinformatics, Como, Italien; 2006-10-18 - 2006-10-20.

R. Freund, M. Oswald:
"A small universal antiport P system with forbidden context";
Talk: DCFS (Descriptional Complexity of Formal Systems), Las Cruces, New Mexico, USA; 2006-06-21 - 2006-06-23.

R. Freund, M. Oswald:
"Complexity of P Automata with Catalysts";
Talk: Annual Meeting of Project MolCoNet, Vienna, Austria; 2003-11-27 - 2003-11-29.

R. Freund, M. Oswald:
"P Systems with Antiport Rules for Evolution Rules";
Talk: WSEAS Internation Conference on Evolutionary Computation, Udine, Italy; 2004-03-25 - 2004-03-27.

R. Freund, M. Oswald:
"Tissue P Systems Simulating Grammar Systems";
Talk: Molecular Computing, Leiden, the Netherlands; 2004-11-22 - 2004-11-26.

R. Freund, S. Verlan:
"The Set-Maximally Parallel Derivation Mode";
Talk: CMC'16 Membrane Computing, Valencia; 2015-08-17 - 2015-08-21.

N. Galatos:
"A survey of residuated frames with connections to semirings and to display logic";
Talk: Prague seminar of substructural logics, Prag; 2014-03-28 - 2014-03-29.

N. Galatos:
"Embeddings into BiFL-algebras and conservativity";
Talk: VSL - LADT Workshop, Wien; 2014-07-16 - 2014-07-19.

N. Galatos:
"Proof theory for lattice-ordered groups";
Talk: Brazilian Logic Conference, Petropolis; 2014-04-07 - 2014-04-11.

A Gil, M. Hermann, G. Salzer, B Zanuttini:
"Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains";
Talk: Second International Joint Conference, IJCAR 2004, Cork; 2004-07-04 - 2004-07-08.

B. Gramlich:
"Automatically Proving Confluence of Non-Terminating Rewrite Systems via a Generalized Newman-Style Approach";
Talk: Seminari del Dipartimento di Informatica, Università degli Studi di Verona, Verona, Italy; 2006-04-11.

B. Gramlich:
"Conditional Rewriting (I)";
Talk: 4th International School on Rewriting (ISR'09), Brasilia (Brazil) (invited); 2009-06-22 - 2009-06-26.

B. Gramlich:
"Conditional Rewriting (II)";
Talk: 4th International School on Rewriting (ISR'09), Brasilia (Brazil) (invited); 2009-06-22 - 2009-06-26.

B. Gramlich:
"Conditional Rewriting (III)";
Talk: 4th International School on Rewriting (ISR'09), Brasilia (Brazil) (invited); 2009-06-22 - 2009-06-26.

B. Gramlich:
"Conditional Rewriting (IV)";
Talk: 4th International School on Rewriting (ISR'09), Brasilia (Brazil) (invited); 2009-06-22 - 2009-06-26.

B. Gramlich:
"Conditional via Unconditional Rewriting - Some Recent Developments";
Talk: Annual Meeting of the IFIP-WG 1.6 - Term Rewriting, Edinburgh; 2010-07-10.

B. Gramlich:
"On (Un)Soundness of Unraveling Deterministic Conditional Rewrite Systems";
Talk: Annual Meeting of the IFIP Working Group 1.6 on Term Rewriting (2011), Novi Sad, Serbia; 2011-06-02.

B. Gramlich:
"On Interreduction of Semi-Complete Term Rewrite Systems";
Talk: DSIC Seminars, UPV, Valencia, Spain (invited); 2003-06-19.

B. Gramlich:
"On Modular Aspects of Context-Sensitive Rewriting";
Talk: Accion Integrada Project Meeting, Wien (invited); 2002-06-20.

B. Gramlich:
"On Modularity in Context-Sensitive Rewriting";
Talk: 4th Annual Meeting of the IFIP Working Group 1.6 - Term Rewriting, Copenhagen, Denmark; 2002-07-28.

B. Gramlich:
"On Modularity in Context-Sensitive Rewriting";
Talk: LORIA/INRIA, Nancy, France, Nancy, France (invited); 2003-12-03.

B. Gramlich:
"On Modularity of Termination Properties of Rewriting under Strategies";
Talk: Annual Meeting of the IFIP-WG 1.6 - Term Rewriting, Nagoya, Japan; 2012-05-28.

B. Gramlich:
"Progress Report on Term Rewriting";
Talk: Annual Meeting of the IFIP-WG 1.6 - Term Rewriting, Valencia, Spain (invited); 2003-06-12.

B. Gramlich:
"Recent Developments in Conditional via Unconditional Rewriting";
Talk: 3rd Austria-Japan Summer Workshop on Term Rewriting, Obergurgl (invited); 2010-08-01 - 2010-08-07.

B. Gramlich:
"Simplifying Termination Proofs by Program Transformation";
Talk: DISC Seminars, Valencia, Spain; 2002.

B. Gramlich:
"Strategien in Computationaler Logik";
Talk: Eingeladener Vortrag an Universitaet, Kaiserslautern (Technische Universität) (invited); 2004-06-16.

F. Gulisano:
": Resolving conflicting obligations in Mimamsa: a sequent based approach";
Talk: Fifth TICAMORE MEETING, Wien; 2019-11-11 - 2019-11-13.

S. Hetzl:
"Comparing Mathematical Proofs";
Talk: Studia Logica International Conference; Towards Mathematical Philosophy; Trends in Logic IV, Torun, Poland; 2006-09-01 - 2006-09-04.

S. Hetzl, A. Leitsch:
"Abstracting from the Propositional Structure of First-Order Proofs";
Talk: Paris-Vienna Workshop 2005, Paris; 2005-12-19.

S. Hetzl, A. Leitsch, D. Weller:
"CERES in higher-order-logic";
Talk: Workshop on Classical Logic and Computation (CL&C'10), Brünn; 2010-08-22.

S. Hetzl, G. Reis, M. Riener, S. Wolfsteiner, S. Zivota, G. Ebner:
"System Description: GAPT 2.0";
Talk: International Joint Conference on Automated Reasoning, Coimbra, Portugal; 2016-06-27 - 2016-07-02.

M. Kompatscher:
"2^omega many maximal-closed subgroups of Sym(omega)";
Talk: New Pathways between Group Theory and Model Theory, Mülheim an der Ruhr; 2016-02-01 - 2016-02-04.

M. Kompatscher:
"A complexity dichotomy for Poset-SAT";
Talk: Algebra Seminar, Wien; 2016-04-08.

M. Kompatscher:
"A counterexample on the reconstruction of oligomorphic clones";
Talk: Workshop on Homogeneous Structures, Banff International Research Station, Banff, (invited); 2015-11-08 - 2015-11-13.

M. Kompatscher:
"A new proof of the existence of cores of omega-categorical structures";
Talk: AAA93, Bern; 2017-02-10 - 2017-02-12.

M. Kompatscher:
"Algebraic methods in constraint satisfaction";
Talk: Workshop Matej-Bel-Universität in Banská Bystrica, Slowakei, Banska Bystrica (invited); 2015-10-06.

M. Kompatscher:
"An introduction to Ramsey theory";
Talk: Fall school des Algebra department der Karls-Universität Prag, Prag; 2016-11-26.

M. Kompatscher:
"Completing edge-labelled graphs to metric spaces";
Talk: Seminar der Arbeitsgruppe Diskrete Mathematik,, Wien; 2017-05-30.

M. Kompatscher:
"Constraint satisfaction problems over the random poset";
Talk: Logic Colloquium 2016, Leeds. GB; 2016-08-01 - 2016-08-06.

M. Kompatscher:
"Cores of omega-categorical structures";
Talk: Algebra Seminar TU Wien, Wien; 2017-05-19.

M. Kompatscher:
"CSPs over the random partial order";
Talk: AAA92 (92. Allgemeine Arbeitstagung Algebra), Prag; 2016-05-27 - 2016-05-29.

M. Kompatscher:
"Dichotomy results for constraint satisfaction problems";
Talk: PhDs in Logic VII Konferenz, Wien; 2015-05-15.

M. Kompatscher:
"Endomorphism monoids of omega-categorical structures";
Talk: Topology, Algebra, and Categories in Logic 2015 (TACL 2015), Ischia; 2015-06-21 - 2015-06-26.

M. Kompatscher:
"Linearization of certain non-trivial equations in oligomorphic clones";
Talk: AAA94+NSAC2017, Novi Sad; 2017-06-15 - 2017-06-18.

M. Kompatscher:
"Maximal-closed subgroups of Sym(omega) via Henson digraphs";
Talk: KAFKA Seminar, Prag, Karls Universität; 2015-12-07.

M. Kompatscher:
"Reducts of Henson digraphs";
Talk: Wiener Algebra Seminar, Wien; 2015-10-23.

M. Kompatscher, M. Pinsker:
"Oligomorphic clones";
Talk: Tianfu Universal Algebra workshop, South West University of Finance and Economics, Chengdu, China (invited); 2017-07-04 - 2017-07-05.

R. Kuznets:
"Craig and Lyndon Interpolation Via Labelled Sequent Calculi";
Talk: Modalities, Conditionals, and Values, Symposium on Philosophical Logic in Celebration of the Centenary of Georg Henrik von Wright at the University of Helsinki, Helsinki, Finnland; 2016-05-23 - 2016-05-25.

R. Kuznets:
"Grafted Hypersequents";
Talk: Graduate Seminar Logic and Information (Münchenwiler Meeting) of Universities of Bern, Neuchâtel, and Fribourg within the framework of the Swiss Joint Master of Science in Computer Science program, Münchenwiler, Schweiz (invited); 2015-03-25.

R. Kuznets:
"Herbrand's Phenomena in Justification Logic";
Talk: Collegium Logicum 2017, Proof Theory: Herbrand's Theorem Revisited, Wien (invited); 2017-05-25 - 2017-05-27.

R. Kuznets:
"How I stopped worrying about formulas and learned to interpolate";
Talk: Logic and Theory Group, Institute of Computer Science, University of Bern, Bern, Schweiz (invited); 2016-12-13.

R. Kuznets:
"Interpolation beyond sequent calculi: modal, intuitionistic, and intermediate logics";
Keynote Lecture: FISP: The Fine Structure of Formal Proof Systems and their Computational Interpretations at the University of Innsbruck, Innsbruck (invited); 2016-11-15 - 2016-11-17.

R. Kuznets:
"Interpolation Method for Multicomponent Sequent Calculi";
Talk: Seminar "Logic and Theoretical Computer Science", Universität Bern, Bern, Schweiz (invited); 2015-10-29.

R. Kuznets:
"Justification Logic";
Talk: Eleventh International Tbilisi Summer School in Logic and Language, Tiflis, Georgien (invited); 2015-09-14 - 2015-09-18.

R. Kuznets:
"Modal Calculi from Semantics: a Case Study";
Talk: Workshop Translating and Discovering Calculi for Modal and Related Logics 2017, Wien; 2017-03-14 - 2017-03-16.

R. Kuznets:
"Nesting multi-conclusions: the Maehara conundrum";
Talk: FISP Workshop (3rd FISP Meeting), Vienna (invited); 2018-12-07 - 2018-12-08.

R. Kuznets:
"Proof-theoretic Approach to Craig Interpolation";
Keynote Lecture: Special Session on Proof Theory at the Logic Colloquium 2015, Helsinki, Finnland (invited); 2015-08-03 - 2015-08-08.

R. Kuznets:
"Separating Truth and Proof in the Logic of Proofs";
Keynote Lecture: VSL-GetFun Workshop, Wien (invited); 2014-07-22 - 2014-07-23.

R. Kuznets:
"Syntactic Interpolation: Limits and Challenges";
Talk: Workshop "Proof Theory and Modal Logic", Turin, Italien (invited); 2016-12-02.

R. Kuznets:
"Syntax Meets Semantcs to Prove Interpolation";
Talk: Syntax Meets Semantics 2016, Barcelona, Spanien; 2016-09-05 - 2016-09-09.

R. Kuznets:
"Through an Inference Rule, Darkly";
Talk: Humboldt Kolleg "​Proof Theory as Mathesis Universalis", Menaggio, Italien (invited); 2017-07-24 - 2017-07-28.

R. Kuznets, B. Lellmann:
"Interpolation for Intermediate Logics via Injective Nested Sequents";
Talk: Online Partout Seminar, Online, France (invited); 2020-11-09.

R. Kuznets, B. Lellmann:
"Translating Quantitative Semantic Bounds into Nested Sequents";
Talk: Fifth TICAMORE MEETING, Wien (invited); 2019-11-11 - 2019-11-13.

R. Kuznets, L. Strassburger:
"Efficient Proof Systems for Modal Logics";
Talk: 29th European Summer School in Logic, Language, and Information (ESSLLI 2017), Toulouse, Frankreich; 2017-07-17 - 2017-07-28.

R. Kuznets, T. Studer:
""Weak Arithmetical Interpretations for the Logic of Proofs";
Talk: ISRALOG´14: Israeli Workshop on Non-Classical Logics and Their Applications, Haifa, Israel; 2014-09-29 - 2014-10-01.

T Lang:
"Bounded sequent calculi via hypersequents";
Talk: Fifth TICAMORE MEETING, Wien; 2019-11-11 - 2019-11-13.

A. Leitsch:
"A method of algorithmic cut-introduction";
Talk: Workshop on Skolemization, Utrecht; 2013-05-27 - 2013-05-29.

A. Leitsch:
"CERES for First-Order Schemata";
Talk: Collegium Logicum 2012: Structural Proof Theory, Paris, France; 2012-11-15 - 2012-11-16.

A. Leitsch:
"CERES in higher-order-logic";
Talk: Collegium Locicum 2010: Proofs and Structures, Paris (invited); 2010-11-08 - 2010-11-10.

A. Leitsch:
"CERES in intuitionistic logic completeness";
Talk: Magica 16, Mailand (invited); 2016-09-26 - 2016-09-27.

A. Leitsch:
"CERES in many-valued logics";
Talk: Second Florence-Vienna Workshop on Logic and Computation, Florenz, Italien; 2005-11-02 - 2005-11-05.

A. Leitsch:
"CERES: An analysis of Fürstenberg's proof of the infinity of primes";
Keynote Lecture: Moscow-Vienna Workshop on Logic and Computation, Wien; 2007-07-02 - 2007-07-03.

A. Leitsch:
"CERES: Analysis of the fifth Proof of the Infinity of Primes";
Talk: Non-classical Logics: from Foundations to Applications, Pisa (invited); 2008-04-24 - 2008-04-26.

A. Leitsch:
"CERES: Cut-elimination by Resolution";
Talk: Paris-Vienna Workshop 2004 on Proof Systems, Paris (invited); 2004-12-13 - 2004-12-14.

A. Leitsch:
"CERES: Cut-Elimination by Resolution";
Talk: Eingeladener Vortrag an Universitaet, Universitaet Utrecht, Niederlande; 2004-09-10.

A. Leitsch:
"CERES: Cut-Elimination by Resolution";
Talk: MANYVAL 06, Gargnano; 2006-03-20 - 2006-03-22.

A. Leitsch:
"Clause Evaluation over Herbrand Interpretations";
Talk: Seminar on Deduction and Infinite-state Model Checking, Dagstuhl, Germany (invited); 2003-04-21 - 2003-04-25.

A. Leitsch:
"Computational Analysis of Proofs";
Talk: European Summer School in Logic Language and Information 2005, Edinburgh, U.K.; 2005-08-13 - 2005-08-20.

A. Leitsch:
"Cut-Elimination by Resolution";
Talk: First Vienna-Florence Workshop on Logic and Computation, Florence (invited); 2004-01-27 - 2004-01-31.

A. Leitsch:
"Fast Cut-Elimination by CERES";
Talk: Moscow-Vienna Workshop on Logic and Computation 2009, Wien (invited); 2009-06-29 - 2009-07-02.

A. Leitsch:
"Mathematical Proof Analysis";
Keynote Lecture: VSL 2014, Wien; 2014-07-12 - 2014-07-26.

A. Leitsch:
"Methods of Cut-Elimination";
Talk: Ninth International Tbilisi Summer School in Logic and Language, Tbilisi, Georgia; 2013-09-30 - 2013-10-04.

A. Leitsch:
"Towards algorithmic cut-introduction";
Talk: 2nd Workshop of the Joint Project "Structural and Computational Proof Theory", Innsbruck; 2011-10-26 - 2011-10-28.

B. Lellmann:
"Analytic calculi for intermediate logics: A nested sequent approach";
Talk: Alcop Viii, Glasgow; 2017-04-10 - 2017-04-12.

B. Lellmann:
"Countermodels for Non-normal Modal Logics via Nested Sequents";
Talk: Conference: Syntax meets Semantics (SYSMICS) 2019, Amsterdam; 2019-01-21 - 2019-01-25.

B. Lellmann:
"Grafting Hypersequents onto Nested Sequents";
Talk: GeTFun 3.0 Workshop, Nat@logic 2015, Natal; 2015-08-31 - 2015-09-04.

B. Lellmann:
"Nested sequents and countermodels for monotone modal logic";
Talk: Fifth TICAMORE MEETING, Wien; 2019-11-11 - 2019-11-13.

B. Lellmann:
"Nested Sequents: Intermediate Logics and Neighbourhoods";
Talk: Theory and Logic Group Seminar, Wien; 2018-10-10.

B. Lellmann:
"Proof theory for deontic logic inspired by Indian Philosophy";
Keynote Lecture: Annual meeting of the Swiss Society for Logic and Philosophy of Science, Bern; 2019-10-24 - 2019-10-25.

B. Lellmann:
"The Framework of Linear Nested Sequents";
Talk: Theory and Logic Group Seminar, Wien; 2015-09-04.

B. Lellmann:
"The linear nested sequent framework";
Talk: TICAMORE Kick-off Meeting 2017, Wien; 2017-03-04.

B. Lellmann, R. Ramanayake:
"General methods in proof theory for modal and substructural logics";
Talk: TABLEAUX 2017, Brasilia; 2017-09-24.

B. Lellmann, R. Ramanayake:
"Proof Theoretic Reasoning";
Talk: TRS Reasoning School, Nat@logic 2015, Natal; 2015-08-31 - 2015-09-04.

A. Lolic, A. Leitsch:
"Expansion Trees from Non-Normalized Proofs with CERES";
Talk: Collegium Logicum Proof Theory: Herbrand's Theorem Revisited, Wien; 2017-05-25 - 2017-05-27.

T. Lyon:
"Effective Translations between Display and Labelled Proofs for Tense Logics";
Talk: External and Internal Calculi for Non-Classical Logics Workshop (Federated Logic Conference 2018), Oxford; 2018-07-19.

T. Lyon:
"Effective Translations between Nested and Labelled Proofs for Tense Logics";
Talk: Logic Seminar, Australian National University, Canberra; 2018-11-07.

T. Lyon:
"Internalizing Labelled Proofs for Tense Logics with Path Axioms";
Talk: TICAMORE Meeting/Workshop 3, Nancy; 2018-06-06 - 2018-06-08.

T. Lyon:
"Mutual Translations between Display and Labelled Proofs for Tense Logics";
Talk: Workshop TICAMORE, Marseille; 2017-11-15 - 2017-11-18.

T. Lyon:
"On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems";
Talk: Fifth TICAMORE MEETING, Wien; 2019-11-11 - 2019-11-13.

T. Lyon:
"Tense Logics, Structural Proof Theory, and Effective Translations";
Talk: Non-Classical Logics Research Seminar, Mathematics Department, University of Denver (Denver, Colorado USA), Denver; 2018-10-02.

T. Lyon:
"Tense Logics, Structural Proof Theory, and Effective Translations";
Talk: Logic Research Seminar, University of Melbourne, Melbourne; 2018-11-23.

T. Lyon:
"Translating from Labelled Calculi to Display Calculi";
Talk: TICAMORE Kick-off Meeting 2017, Wien; 2017-03-04.

O. Majer, C. Fermüller:
"On the Expressivity of the Propositional Fragment of Independence Friendly Logic";
Talk: Games for Logic and Programming Languages XIII, Thessaloniki, Greece; 2018-04-14 - 2018-04-15.

M. Oswald:
"2-dimensional k-level Parallel Array Grammars";
Talk: ESF Exploratory Workshop: Advances on Two-dimensional Language Theory, Salerno, Italien; 2006-05-03 - 2006-05-05.

M. Oswald:
"Computations with 1-deterministic P Systems Using Antiport/Symport Rules for Evolution Rules";
Talk: WSEAS International Conference on Mathematical Biology and Ecology, Corfu, Greece; 2004-08-17 - 2004-08-19.

M. Oswald:
"Independant Agents in a Globalized World Modelled by Tissue P Systems";
Talk: International Symposium on Artificial Life and Robotics (AROB 11th '06), Beppu, Japan; 2006-01-25 - 2006-01-27.

M. Oswald:
"Membrane Computing and Brain Modelling";
Keynote Lecture: Intern. Symp. on Artificial Life and Robotics (AROB), Beppu, Japan (invited); 2008-01-31 - 2008-02-02.

M. Oswald:
"P systems with activated/prohibited membrane channels";
Talk: Workshop on Membrane Computing, Curtea de Arges, Romania; 2002-08-19 - 2002-08-23.

M. Oswald:
"Special Variants of P Automata";
Talk: ESF Workshop on Automata and formal languages for DNA computation and bioinformatics, Como, Italien; 2006-10-18 - 2006-10-20.

M. Oswald:
"Variants of Halting in P Systems";
Talk: Workshop on Language-Theoretic Models of Decentralized and Distributed Systems, Opava (invited); 2008-06-16 - 2008-06-17.

M. Pascucci:
"Automated reasoning in normative detachment structures with ideal conditions";
Talk: Cyberspace 2018, Brno; 2018-11-30 - 2018-12-01.

M. Pascucci:
"Cohesiveness in canonical models";
Talk: Colloquium Logicum 2018, Bayreuth; 2018-09-14 - 2018-09-16.

M. Pascucci:
"Methods to prove non-cohesiveness in canonical models";
Talk: Goedel's Legacy, Wien; 2019-07-25 - 2019-07-27.

M. Pascucci:
"Modalities between a logical and an empirical account of indeterminism";
Talk: Modal Metaphysics V, Bratislava (invited); 2017-08-17 - 2017-08-18.

M. Pascucci:
"Natural deduction for modal logic with propositional quantifiers";
Talk: ECAP (European Congress for Analytic Philosophy) 9, München; 2017-08-21 - 2017-08-26.

M. Pascucci:
"Temporal irreflexivity in terms of a propositional constant";
Talk: XXVI AILA (Italian Association for Logic and its Applications) Meeting, Padova; 2017-09-25 - 2017-09-28.

M. Pascucci, D. Glavanicova:
""Defining Responsibility";
Talk: Current Trends in Deontic Logic II, Bratislava; 2019-05-30 - 2019-05-31.

M. Pinsker:
"Algebraic and model theoretic methods in constraint satisfaction";
Talk: Doc-Course Prag, Charles University Prague,Prag (invited); 2014-10-23.

M. Pinsker:
"Algebraic and model theoretic methods in constraint satisfaction";
Talk: CUNY Logic Workshop, New York (invited); 2014-11-14.

M. Pinsker:
"Clones on Ramsey Structures";
Talk: Konferenz Algebra and Clones Fest, Prag; 2014-06-30 - 2014-07-03.

M. Pinsker:
"Conjectures for clones over finitely bounded homogenous structures";
Talk: Workshop on Homogeneous Structures, Banff International Research Station, Banff (invited); 2015-11-08 - 2015-11-13.

M. Pinsker:
"Constraint Satisfaction on infinite domains (tutorial)";
Talk: Workshop of Banff International Research Station- Algebraic and Model Theoretical Methods in Constraint Satisfaction, Banff (invited); 2014-11-24.

M. Pinsker:
"Decomposing function clones on infinite sets";
Talk: Algebra Seminar at University of Colorado, Boulder (invited); 2014-04-28.

M. Pinsker:
"Double-shrinking pseudo-Siggers";
Talk: LIAFA, Paris (invited); 2017-03-12.

M. Pinsker:
"Equations in algebras from omega-categorical structures";
Talk: Seminar an der TU Wien, Wien, 06/2017; 2017-06-06.

M. Pinsker:
"Equations in oligomorphic algebras";
Talk: AAA 93, Bern (invited); 2017-02-10 - 2017-02-12.

M. Pinsker:
"Finitary aspects of reducts of homogeneous structures";
Talk: Eötvös University, Budapest; 2013-05-07.

M. Pinsker:
"Introduction to Constraint Satisfaction over infinite structures";
Talk: Logic Seminar of the University of Colorado, Boulder (invited); 2014-04-28.

M. Pinsker:
"Projective clone homomorphisms";
Talk: STRUCO Meeting, Charles University Prague,Prag (invited); 2014-10-28.

M. Pinsker:
"Reconstructing omega-categorical structures from their clones";
Talk: Oberseminar mathematische Logik, Universitaet Bonn, Bonn; 2013-12-17.

M. Pinsker:
"Reconstructing structures from their abstract clones";
Talk: ASL North American Annual Meeting (Special Session on Universal Algebra and CSPs, Boulder (invited); 2014-05-19 - 2014-05-22.

M. Pinsker:
"Reconstructing the topology of clones, Workshop on Homogeneous Structures";
Talk: Workshop on Homogeneous Structures, Hausdorff Research Institute for Mathematics, Bonn; 2013-10-28.

M. Pinsker:
"The topology of algebras, or: Polish clones";
Talk: Arbeitstagung Allgemeine Algebra, Linz; 2014-02-06 - 2014-02-09.

M. Pinsker:
"The two dichotomy conjectures for in nite domain CSPs are equivalent";
Talk: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, Reykjavik (invited); 2017-06-20 - 2017-06-23.

M. Pinsker:
"Topological Birkhoff and Constraint Satisfaction";
Talk: LIAFA, Automates et Applications Seminar, Paris (invited); 2014-01-15.

M. Pinsker:
"Topological Birkhoff and reconstructing the random graph";
Talk: Hausdorff Research Institute for Mathematics, Bonn; 2013-11-24.

M. Pinsker:
"Topological clones";
Talk: EPSRC Durham Symposium Permutation Groups and Transformation Semigroups, Durham; 2015-07-20 - 2015-07-30.

M. Pinsker:
"Topological clones";
Talk: Topology, Algebra, and Categories in Logic 2015 (TACL 2015), Ischia; 2015-06-21 - 2015-06-26.

M. Pinsker:
"Uniform Birkhoff";
Talk: Workshop Duality in Computer Science, Dagstuhl; 2015-11-25 - 2015-11-30.

M. Pinsker:
"Uniform Birkhoff";
Talk: Technische Universität Dresden, Dresden; 2015-12-09 - 2015-12-14.

N. Preining:
"An Overview on Countable Gödel Logics";
Talk: First Florence-Vienna Workshop on Logic and Computation, Florence (invited); 2004-01-27 - 2004-01-30.

N. Preining:
"Characterization of Gödel logics with countable truth value sets";
Talk: LOGSOFCOM'03, Siena, Italy; 2003.

N. Preining:
"Countable orderings and continuous embeddability";
Talk: 3rd Moscow-Vienna Workshop on Logic and Computation, Moscow (invited); 2004-05-31 - 2004-06-01.

R. Ramanayake:
"A deduction theorem for non-commutative Full Lambek calculus with contraction FLc";
Talk: TICAMORE Meeting/Workshop 3, Nancy; 2018-06-06 - 2018-06-08.

R. Ramanayake:
"A syntactic proof of decidability for the logic of Bunched Implication BI";
Talk: Workshop TICAMORE, Marseille; 2017-11-15 - 2017-11-18.

R. Ramanayake:
"Algebra and Coalgebra meet Proof Theory. Between Axioms and Structural Rules in the Display Calculus";
Poster: ALCOP VI, Delft University of Technology, Netherlands, Delft; 2015-05-06 - 2015-05-08.

R. Ramanayake:
"Bunched Hypersequent Calculi for Distributive Substructural Logics and Extensions of Bunched Implication Logic";
Talk: TACL 2017, Prag; 2017-06-29 - 2017-06-30.

R. Ramanayake:
"Conservativity and internal calculi via the Display Calculus.";
Talk: GeTFun 3.0 Workshop, Nat@logic 2015, Natal; 2015-08-31 - 2015-09-04.

R. Ramanayake:
"Display calculi in non-classical logics";
Talk: Prague Seminar on Substructural Logics, Prag, Czech Republic; 2014-03-28 - 2014-03-29.

R. Ramanayake:
"Extended Kripke lemma and decidability for hypersequent substructural logics";
Talk: Sixth TICAMORE MEETING, *Online*/Marseille, Marseille; 2020-10-05.

R. Ramanayake:
"From Axioms to Proof Rules, Then Add Quantifiers";
Talk: 2nd International workshop on Automated Reasoning in Quantified Non-Classical Logics ARQNL 2016, Coimbra (invited); 2016-07-01.

R. Ramanayake:
"Internal calculi for substructural logics via syntactic proofs of conservativity.";
Talk: Topology, Algebra, and Categories in Logic 2015 (TACL), Ischia; 2015-06-21 - 2015-06-26.

R. Ramanayake:
"Introduction to the display calculus";
Talk: Ninth International Tbilisi Summer School in Logic and Language, Tbilisi, Georgia; 2013-09-30 - 2013-10-04.

R. Ramanayake:
"Investigating the decidability of transitive modal logics via labelled calculi";
Talk: Kick of Meeting TICAMORE, Wien; 2017-03-15.

R. Ramanayake:
"Labelled tree sequents, tree hypersequents and nested (deep) sequents";
Talk: Collegium Logicum 2012: Structural Proof Theory, Paris, France; 2012-11-15 - 2012-11-16.

R. Ramanayake:
"Proof-theoretic methods in non-classical logics: decidability of BI";
Keynote Lecture: Non-classical Logics and Their Applications:The 8th International Workshop on Logic and Cognition (WOLC 2016), Guangzhou (invited); 2016-12-05 - 2016-12-09.

R. Ramanayake:
"Sequent calculi for substructural logics via bounded proofs";
Talk: FISP Workshop (3rd FISP Meeting), Vienna; 2018-12-07 - 2018-12-08.

R. Ramanayake:
"Structural proof theory: shedding structure";
Talk: 5th International Workshop on Structures and Deduction SD 2019, Dortmund (invited); 2019-06-29 - 2019-06-30.

R. Ramanayake:
"Studying logics via structural proof theory";
Talk: 6th International Conference of "Teaching Logic and Prospects of its Development, Kiew, Ukraine (invited); 2014-05-15 - 2014-05-16.

R. Ramanayake:
"Syntactic decidability and complexity upper bound for the logic of Bunched Implication BI";
Talk: Parsifal Seminar. Inria Sarclay., Palaiseau; 2017-11-22.

R. Ramanayake:
"The display calculus and conservativity for substructural logics.";
Talk: BLAST2015@unt conference, Denton, Texas; 2015-06-08 - 2015-06-12.

R. Ramanayake:
"Translating and Discovering Calculi for Modal and Related Logics";
Talk: Fifth TICAMORE MEETING, Wien; 2019-11-11 - 2019-11-13.

R. Ramanayake, B. Lellmann:
"General methods in proof theory for modal and substructural logics";
Talk: FroCos and ITP 2017, Brasilia; 2017-09-23.

G. Reis:
"A framework for specifying and reasoning in sequent calculus systems";
Talk: UNILOG 2013 - Workshop on Compositional Meaning in Logic (GeTFun 1.0), Rio de Janeiro; 2013-04-03 - 2013-04-04.

G. Reis:
"Checking Proof Transformations with ASP";
Talk: ICLP 2013, Istanbul; 2013-08-24 - 2013-08-29.

G. Reis:
"Cut-Introduction: GAPT System Demonstration";
Talk: 3rd workshop of the Amadeus project on Proof Compression (co-located with Tableaux 2013), Nancy; 2013-09-16.

G. Reis:
"Towards CERES in intuitionistic logic";
Talk: Workshop on Skolemization, Utrecht; 2013-05-27 - 2013-05-29.

Ch Roschger:
"Bridges Between Fuzzy Logic and Linguistic Models of Vagueness";
Talk: Advances in Knowledge-Based Technologies, Hagenberg (invited); 2010-02-02.

Ch Roschger:
"Contextual models of vagueness and vague quantifiers";
Talk: Workshop on 'Vague Quantities and Vague Quantifiers (VQ2)', Berlin; 2010-12-08 - 2010-12-09.

Ch Roschger:
"Evaluation Games under Vagueness";
Talk: Proof and Dialogues (ProDi), Tübingen, Deutschland; 2011-02-25 - 2011-02-27.

Ch Roschger, C. Fermüller:
"From Linguistic Models of Vagueness to t-Norm Based Fuzzy Logic";
Talk: ManyVal 2010, Varese, Italien (invited); 2010-05-03 - 2010-05-05.

M. Rukhaia:
"CERES for Propositional Proof Schemata";
Talk: 2nd Workshop of the Joint Project, Innsbruck; 2011-10-26 - 2011-10-28.

G. Salzer:
"Constraint Satisfaction Problems & Many-Valued Logics";
Talk: Collegium Logicum 2009 (CL2009), Wien (invited); 2009-05-27 - 2009-05-28.

G. Salzer:
"Description Problems over Finite Totally-Ordered Domains";
Talk: Moscow-Vienna Workshop on Logic and Computation 2009, Wien (invited); 2009-06-29 - 2009-07-02.

G. Salzer:
"Excursions of a computer scientist into the realm of logic";
Talk: Seminarvortrag, Brno, Czech Republic (invited); 2002-10-29.

G. Salzer:
"Why Computer Science Can't Get Enough of Clones";
Keynote Lecture: AAA89, Dresden (invited); 2015-02-27 - 2015-03-01.

G. Salzer, S Limet:
"Proving Properties of Term Rewrite Systems via Logic Programs";
Talk: RTA'04, Aachen; 2004-06-03 - 2004-06-05.

F. Schernhammer:
"Generalizing Context-Sensitivity in Term Rewriting";
Talk: 3rd Austria-Japan Summer Workshop on Term Rewriting, Obergurgl; 2010-08-01 - 2010-08-07.

T. Sisel:
"Consistency and minimality of UML class specifications";
Talk: LIX, Ecole Polytechnique, Palaiseau/Paris (invited); 2009-11-13.

F. Slivovsky:
"Making it More Explicit: Brandom's Inferentialist Pragmatism and Logical Dialogue Games";
Talk: Logica 2010, Hejnice, Tschechien; 2010-06-22 - 2010-06-25.

L. Spendier:
"Automated support for the investigation of paraconsistent and other logics";
Talk: Collegium Logicum 2012: Structural Proof Theory, Paris, France; 2012-11-15 - 2012-11-16.

L. Spendier:
"Automated Support for the Investigation of Paraconsistent and Other Logics";
Keynote Lecture: 4th World Congress on Universal Logic, Rio de Janeiro; 2013-04-03 - 2013-04-07.

L. Spendier:
"How to get featured in TIME magazine as a logician";
Talk: Sofia Science Festival 2013, Sofia; 2013-05-09 - 2013-05-12.

L. Spendier:
"Informatik - Knifflige Rätsel und andere Spielereien";
Talk: Yo!Tech 2013, Wien; 2013-05-20.

K. van Berkel:
"Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics";
Talk: Fifth TICAMORE MEETING, Wien, Wolfgang Pauli Institut; 2019-11-11 - 2019-11-13.

K. van Berkel:
"Cut-free Calculi and Relational Semantics for temporal STIT logics";
Talk: FISP Workshop (3rd FISP Meeting), Vienna, TU; 2018-12-07 - 2018-12-08.

K. van Berkel:
"Evaluating Networks of Structured Arguments with Support and a Case Study in Mimamsa Dialectics.";
Talk: Workshop on Logic & Argumentation, Wien, TU; 2019-11-06.

T. Van Pham et al.:
"Complexity classification for the binary branching semilinear-order constraint satisfaction problems";
Talk: Arbeitstagung Allgemeine Algebra 92, Prag (invited); 2016-05-27 - 2016-05-29.

B. Woltzenlogel-Paleo:
"A Deep Natural Deduction Calculus";
Talk: 2nd Workshop Structural Proof Theory, Innsbruck (invited); 2011-10-26 - 2011-10-29.

B. Woltzenlogel-Paleo:
"Algorithms for Herbrand Sequent Extraction";
Talk: Deep Inference, its Algebra, Geometry and Syntax, Nancy, Frankreich; 2008-06-18.

B. Woltzenlogel-Paleo:
"Compression of Propositional Resolution Proofs";
Talk: 2nd Workshop Structural Proof Theory, Innsbruck (invited); 2011-10-26 - 2011-10-29.

B. Woltzenlogel-Paleo, C. Benzmüller:
"Formalization and Automated Verification of Gödel´s Proof of God´s Existence";
Talk: 4th World Congress on the Square of Opposition, Vatikan; 2014-05-05 - 2014-05-09.

B. Woltzenlogel-Paleo, P. Fontaine, D. Deharbe:
"Quantifier Inference Rules for SMT Proofs";
Talk: Proof Exchange for Theorem Proving (PxTP), Wroclaw, Poland; 2011-07-31 - 2011-08-01.


Doctor's Theses (authored and supervised)


P. Baldi:
"Standard completeness: Proof-theoretic and algebraic methods";
Supervisor, Reviewer: A. Ciabattoni, G Metcalfe; Institut für Computersprachen, 2015; oral examination: 2015-08-12.

M. Bernhart:
"owards Differential-Based Continuous Code Reviews";
Supervisor, Reviewer: T. Grechenig, R. Freund; E183/1, 2013; oral examination: 2013-01-23.

J Bradley:
"Computergesteuerte Hilfe für deutschsprachige Aphasiker und Aphasikerinnen";
Supervisor, Reviewer: W.L. Zagler, W. Winiwarter; Institut für Gestaltungs- und Wirkungsforschung, 2012; oral examination: 2012-06-20.

B. Burgstaller:
"Symbolic Evaluation of Imperative Programming Languages";
Supervisor, Reviewer: J. Blieberger, B. Gramlich; 183, 2005.

D. Cerna:
"Advances in Schematic Cut Elimination";
Supervisor, Reviewer: A. Leitsch, N. Peltier, G. Moser; Institut für Computersprachen, 2015; oral examination: 2015-04-14.

T. Dunchev:
"Automation of cut-elimination in proof schemata";
Supervisor, Reviewer: A. Leitsch, N. Peltier; Institut für Computersprachen E185/2, 2012; oral examination: 2012-12-17.

I. Feinerer:
"A Formal Treatment of UML Class Diagrams as an Efficient Method for Configuration Management";
Supervisor, Reviewer: G. Salzer, G. Kappel; E 185 Institut für Computersprachen, 2007; oral examination: 2007-03-23.

M.L. Fernandez Venero:
"Termination of Rewriting with Non-Monotonic Orderings";
Supervisor, Reviewer: A. Rubio, G. Godoy, B. Gramlich, J.-P. Jouannaud, S. Lucas et al.; LSI, Universitat Politècnica de Catalunya, Barcelona, 2007; oral examination: 2007-05-23.

O. Fissore:
"Terminaison de la réécriture sous stratégies";
Supervisor, Reviewer: B. Gramlich, J. Giesl; INRIA/LORIA, Nancy, France, 2003; oral examination: 2003-12-03.

F. Genco:
"Intermediate logics and concurrent lambda-calculi: a proof theoretic approach";
Supervisor, Reviewer: A. Ciabattoni, E. Bartocci; Institut für Logic und Computation, 2019; oral examination: 2019-05-08.

S. Hetzl:
"Characteristic Clause Sets and Proof Transformations";
Supervisor, Reviewer: A. Leitsch, M. Baaz; Institut für Computersprachen E185/2, 2007; oral examination: 2007-06-14.

A. Kersani:
"Preuves par induction dans le calcul de superposition";
Supervisor, Reviewer: A. Leitsch, N. Peltier; Universite de Grenoble, France, 2014; oral examination: 2014-10-30.

M. Lettmann:
"Algorithmic Introduction of ∏2-Cut";
Supervisor, Reviewer: A. Leitsch, M. Baaz; Institut für Logic and Computation, 2018; oral examination: 2018-10-30.

T. Libal:
"Unification in Higher-order Resolution";
Supervisor, Reviewer: A. Leitsch, M. Schmidt-Schauss; Institut für Computersprachen, 2013; oral examination: 2013-02-22.

A. Mauczka:
"Design and Evaluation of a Natural Language Processing Based Methodology for Classification and Profiling of Artifacts in Software Evolution";
Supervisor, Reviewer: T. Grechenig, R. Freund; 183-1, 2016.

B. Monate:
"Propriétés Uniformes de Familles de Systèmes de Réécriture de Mots Paramétrées par des Entiers";
Supervisor, Reviewer: H. Comon, B. Gramlich; LRI, Orsay, France, 2002; oral examination: 2002-01-07.

M. Oswald:
"P Automata";
Supervisor, Reviewer: R. Freund; Institut für Computersprachen, 185, 2003.

G. Reis:
"Cut-elimination by resolution in intuitionistic logic";
Supervisor, Reviewer: A. Leitsch, R. Iemhoff; Institut für Computersprachen, 2014; oral examination: 2014-07-16.

Clemens Richter:
"Proof Transformations by Resolution";
Supervisor, Reviewer: A. Leitsch, M. Baaz; Institut für Computersprachen 185-2, 2006; oral examination: 2006-07-04.

M. Riener:
"Applications of Higher-Order Cut-Elimination";
Supervisor, Reviewer: A. Leitsch, C. Benzmüller; Institut für Computersprachen, 2018.

Ch Roschger:
"Analyzing fuzzy and contextual approaches to vagueness by semantic games";
Supervisor, Reviewer: C. Fermüller, O. Majer; Institut für Computersprachen, 2014; oral examination: 2014-11-27.

M. Rukhaia:
"CERES in Proof Schemata";
Supervisor, Reviewer: N. Peltier, A. Leitsch; Institut für Computersprachen E185/2, 2012; oral examination: 2012-12-17.

C. Schanes:
"Scope and depth efficient testing approach and framework for enhancing the detection of IT security bugs";
Supervisor, Reviewer: T. Grechenig, R. Freund; E183/1, 2013; oral examination: 2013-05-06.

F. Schernhammer:
"Applications and Generalizations of Context-Sensitive Term Rewriting";
Supervisor, Reviewer: B. Gramlich, S. Lucas; Institut fuer Computersprachen, 2011; oral examination: 2011-01-31.

G. Schmiedl:
"Strukturen und Optionen des Mediums Mobile Phone im sekundären Bildungsbereich";
Supervisor, Reviewer: T. Grechenig, R. Freund; 183/1, 2012; oral examination: 2012-01-12.

C. Siehs:
"Simulation in Metabolic Networks";
Supervisor, Reviewer: R. Freund, B. Mayer; 185-2, 2015.

T. Sisel:
"Numeric Methods for Configuration Management";
Supervisor, Reviewer: G. Salzer, M. Schmidt-Schauss; Institut für Computersprachen, 2013; oral examination: 2013-11-19.

L. Spendier:
"Tools for the investigation of non-classical logics";
Supervisor, Reviewer: A. Ciabattoni, E. Pimentel; Institut für Computersprachen, 2015; oral examination: 2015-06-18.

X. Urbain:
"Approche Incrémentale des Preuves Automatiques de Terminaison";
Supervisor, Reviewer: B. Gramlich, M Rusinowitch; LRI, Orsay, France, 2001; oral examination: 2001-10-01.

B. Woltzenlogel-Paleo:
"A GeneralAnalysis of Cut-Elimination by CERES";
Supervisor, Reviewer: A. Leitsch; Institut für Computersprachen E185/2, 2009; oral examination: 2009-08-28.

B. Yildiz:
"Ontology-Driven Information Extraction";
Supervisor, Reviewer: S. Miksch, G. Salzer; Institut für Softwaretechnik und Interaktive Systeme, 2007; oral examination: 2007-04-24.


Diploma and Master Theses (authored and supervised)


T. Ackermann:
"Rendering Knowledge in Information Security Tangible - State of the Art and Trends in Education";
Supervisor: R. Freund; 185/2, 2017.

A. Aigner:
"Measuring Personality Types in Software Project Teams";
Supervisor: R. Freund; 185-2, 2014.

C. Aigner:
"Prototypical Implementation of an Animal Health Record (AHR) for Livestock Management";
Supervisor: R. Freund; 185-2, 2014.

R. Alani:
"Vorgehensmodelle für die Software-Entwicklung im Game Development: Erarbeitung eines Best Practice-Konzepts";
Supervisor: R. Freund; 185-2, 2015.

P. Bahr:
"Infinitary Rewriting - Theory and Applications";
Supervisor: B. Gramlich; Computersprachen, 2009; final examination: 2009-09-24.

M. Banke:
""Gehirnmonopole" als Risiko des Wissensmanagements bei wissensgestützten Unternehmen";
Supervisor: R. Freund; 185-2, 2015.

P. Benkö:
"Visualization of Quality of Life on a Digital Urban Map";
Supervisor: R. Freund; 185-2, 2014.

D. Binder:
"Analyse, Design und prototypische Entwicklung eines Serious Game zur Motivationssteigerung und Erhöhung der körperlichen Aktivität";
Supervisor: R. Freund; 185-2, 2015.

S. Blumberger:
"Entwurf eines Infrarot-3D-Scannersystems zur dreidimensionalen bildgebenden Diagnostik";
Supervisor: R. Freund; 185-2, 2016.

A. Condoluci:
"Ceres in aussagenlogischen Beweisschemata";
Supervisor: A. Leitsch; Institut für Computersprachen, 2016; final examination: 2016-10-07.

S. Craß:
"A formal model of the Extensible Virtual Shared Memory (XVSM) and its implementation in Haskell";
Supervisor: E. Kühn, G. Salzer; 185/1, 2010; final examination: 2010.

A. Da Costa Oliveira:
"Puzzling Ignorance: A Modal Epistemic Tour";
Supervisor: C. Fermüller; Institut für Logic and Computation, 2018; final examination: 2018-04-09.

R. de Haan:
"Description Logic Based Reasoning on Programming";
Supervisor: B. Gramlich; Fakultät für Informatik der Technischen Universität Wien, 2012; final examination: 2012-09-28.

L. Dobler:
"Analyse, Design und Implementierung von Serious Gaming zur Förderung eines gesunden Lebensstils";
Supervisor: R. Freund; 192/5, 2018.

T. Dunchev:
"Simplification of Herbrand Sequents";
Supervisor: A. Leitsch; Institut für Computersprachen E185/2, 2009; final examination: 2009-09-09.

M. Eder:
"Requirementsanalyse und Prototyp einer klinischen Plattform zur aktiven Patientenpartizipation";
Supervisor: R. Freund; 185/2, 2011.

C. Eggbauer:
"Methoden zur Integration eines Software Fehlerbogens in ein Testerteam";
Supervisor: R. Freund; 185/2, 2011.

S. El Kebir:
"Analysis and Framework for the Civil Register of an Emergent North-African Country";
Supervisor: R. Freund; 185-2, 2015.

I. Feinerer:
"Formal Program Verification: A Comparison of Selected Tools and Their Theoretical Foundations";
Supervisor: G. Salzer; E 185 Institut für Computersprachen, 2005; final examination: 2005-02-03.

A. Fida:
"Requirements Engineering and Case Studies of Campus Management Systems for Midsize Private Universities";
Supervisor: R. Freund; 192-05, 2020.

A. Füresz:
"Analyse, Systemdesign und Architekturentwurf einer elektronischen Gesundheitsakte für Nutztiere";
Supervisor: R. Freund; E185/2, 2012.

K. Gmeiner:
"Transformation of Conditional Term Rewriting Systems";
Supervisor: B. Gramlich; Institut für Computersprachen / AB Theoretische Informatik und Logik, 2007; final examination: 2007-03-13.

S. Grabher:
"Erarbeitung eines strukturierten Vorgehensmodells zur organischen Evolution von IT Startups";
Supervisor: R. Freund; 185-2, 2015.

S. Graczoll:
"Extending VMTL by a More Flexible Control and New Methods";
Supervisor: B. Gramlich; Institut fuer Computersprachen, 2011; final examination: 2011-11-22.

T. Guttenberger:
"Development of a M-Health Strategy for the Field of Mechanically Ventilated Patients";
Supervisor: R. Freund; 185-2, 2015.

C. Hammer:
"Konzept, Entwicklung und Schulungsmaßnahmen einer Echtzeitansteuerung von Software durch mobile Geräte";
Supervisor: R. Freund; 185/2, 2011.

A. Hengl:
"Engineering eines Cockpits für die dynamische und interaktive Visualisierung des Betriebes eines landesweiten NFC-Bezahlsystems";
Supervisor: R. Freund; 185-2, 2015.

M. Hutagalung:
"Proving Termination of Rewriting with the Dependency Pair Framework";
Supervisor: B. Gramlich; Computersprachen (E185) / AB Theoretische Informatik und Logik (E185/2), 2010.

S. Ivanov:
"Formal Reasoning about Fuzzy Evaluation Games";
Supervisor: C. Fermüller; Institut für Logic and Computation, 2018; final examination: 2018-06-05.

E. Jiresch:
"A Term Rewriting Laboratory with Systematic and Random Generation and Heuristic Test Facilities";
Supervisor: B. Gramlich; Universität Wien (Lehramtsstudium UF Informatik und Informatikmanagement / Psychologie und Philosophie, A-190-884-299), 2008; final examination: 2008-07.

F. Jungwirth:
"Design-Empfehlungen für die sichere Übermittlung von Nachrichten auf mobilen Plattformen";
Supervisor: R. Freund; 185-2, 2016.

G. Kellner:
"Wege der Kommunikationsoptimierung. Anwendung von NLP im Bereich der Künstlichen Intelligenz. Verbesserung von zielgerichtetem Sprechverhalten durch adäquate Vokabularauswahl - Repräsentationssysteme und deren Anwendung auf Gesprächssimulation";
Supervisor: P. Rössler, R. Freund; Universität Wien, 2006.

A. Komarek:
"Vorgehensmodelle für die Software-Entwicklung im Game Development: Erarbeitung eines Best Practice-Konzepts";
Supervisor: R. Freund, R. Vallon; E185/2, 2015.

D. Kontner:
"Konzept und Implementierung einer mobilen Applikation zum Zwecke der Wundidentifikation und Wunddokumentation";
Supervisor: R. Freund; E185/2, 2012.

C. Lachner:
"Analyse der Navigation und Steuerung von 3D-Bewegungen via Brain-Computer-Interface";
Supervisor: R. Freund; 185-2, 2014.

L. Lechner:
"Konzipierung und prototypische Implementierung eines Continuous Integration Systems zur Steigerung der Softwarequalität im heterogenen Umfeld der Herstellung von mikroprozessorgesteuerten Prothesen";
Supervisor: R. Freund; E185/2, 2015.

N. Lederer:
"Using Mobile Technology for Monitoring Behavior of Self-Injurious Patients: Requirements and Concept System Design";
Supervisor: R. Freund; E185/2, 2013; final examination: 2013-08-29.

T. Lemmé:
"Entwurf und Implementierung einer Domain Specific Language zur effektiven Modellierung von Formulardaten im Bereich der medizinischen Dokumentation";
Supervisor: R. Freund; E185/2, 2012.

T. Libal:
"Cut-Elimination in Inductive Proofs of Weakly Quantified Theorems";
Supervisor: A. Leitsch; Institut für Computersprachen E185/2, 2008.

B. Lindenbauer:
"Methoden zur Akzeptanzsteigerung eines Informationssystems im Gesundheitswesen durch Evaluierung und Umsetzung von Usability- und Medienkonzepten anhand eines Fallbeispiels";
Supervisor: R. Freund; 185/2, 2011.

M. Lux:
"Entwurf und Entwicklung eines mehrdimensionalen vorschlagsbasierten Suchsystems für konsumorientierte E-Markets";
Supervisor: R. Freund; E185/2, 2013; final examination: 2013-08-29.

E. Meszarosne Csuta:
"Concept of a Web-based Application for Cooperative Teamwork in the Field of Teaching of Software Techniques";
Supervisor: R. Freund; 192-05, 2019.

A. Mündler:
"Analyse, Optimierung und Training eines Testprozesses innerhalb einer e-Health Produktlinie";
Supervisor: R. Freund; 185/2, 2012.

D. Nasseri:
"Konzeption eines KIS für ein Iranisches Krankenhaus";
Supervisor: R. Freund; 185-2, 2015.

M. Niszl:
"A Cryptographic Concept for the Secure Storage and Transmission of Medical Images on iOS Devices";
Supervisor: R. Freund; 185-2, 2016.

R. Nourzad:
"Analyse, Evaluierung und prototypische Entwicklung einer Online-Plattform für den normierten Leistungsvergleich im Laufsport";
Supervisor: R. Freund; 185-2, 2014.

D. Oberhumer:
"Entwicklung einer E-Partizipations-Plattform für Jugendliche innerhalb des sozialen Netzwerk Facebook";
Supervisor: R. Freund; 185-2, 2015.

M. Özdemir:
"Entwurf und Entwicklung eines webbasierten Workflow-Systems zur Abbildung von Prozessen der Bildungsmobilität";
Supervisor: R. Freund; 185/2, 2017.

C. Okulmus:
"Implementierung und Vergleich von Quantoren-Fuzzifikationsmechanismen";
Supervisor: C. Fermüller; Institut für Logic and Computation, 2018; final examination: 2018-04-04.

S. Pavlovic:
"Proof Theory for Modal Logics: Embedding between Hypersequent Calculi and Systems of Rules";
Supervisor: A. Ciabattoni; Institut für Logic and Computation, 2018; final examination: 2018-10-15.

C. Ploninger:
"eContracting: Foundations and Applications";
Supervisor: G. Salzer; Institut für Computersprachen, 2002.

D. Pollak:
"Didaktik in Schulungen";
Supervisor: R. Freund, M. Weissenböck; Institut für Computersprachen u. E184-1, 2009.

N. Pona:
"Cut-Elimination in Functional Higher-Order Logic";
Supervisor: A. Leitsch; Institut für Computersprachen, 2016; final examination: 2016-09-21.

C. Preier:
"Entwurf und Implementierung eines Protokolls für Einsatz- und Notfalldaten";
Supervisor: R. Freund; E185/2, 2013; final examination: 2013-03-21.

C. Pruckermayr:
"Grundlagen und Anwendungsfallanalyse einer patientengeführten elektronischen Gesundheitsakte";
Supervisor: R. Freund; 185/2, 2008.

A. Rapberger:
"Connecting Formal Logics and Argumentation Systems";
Supervisor: C. Fermüller; Institut für Logic and Computation, 2018; final examination: 2018-07-13.

M. Ratzinger:
"Evaluierung und Optimierung eines Studiensystems zur objektiven Bewertung von Hautrötungen im Umfeld klinischer Studien am Beispiel einer Medikamentenstudie im Bereich der Brustkrebstherapie";
Supervisor: R. Freund; 185-2, 2014.

F. Reisecker:
"Analyse, Konzeption und prototypische Entwicklung eines mobilen Serious Game zur Unterstützung des Rehabilitationsprozesses bei Handgelenkverletzungen";
Supervisor: R. Freund; 185-2, 2014.

A. Reitter:
"Schulung und Untersuchung der Benutzerakzeptanz eines webbasierten Workflow-Management-Systems";
Supervisor: R. Freund; 185/2, 2010.

M. Riener:
"Integrating Theories into Inference Systems";
Supervisor: A. Leitsch; Institut für Computersprachen, 2011; final examination: 2011-03-23.

P. Robinson:
"Log File Processing by Machine Learning and Information Extraction";
Supervisor: G. Salzer; Institut für Computersprachen E185/2, 2006.

A. Romar:
"Fine-Grained Access Control in an Animal Health Record";
Supervisor: R. Freund; 192/5, 2018.

Ch Roschger:
"Dialogue Games for Fuzzy Logics";
Supervisor: C. Fermüller; Institut für Computersprachen, 2008; final examination: 2008-10-21.

M. Rukhaia:
"CERES and Fast Cut-Elimination";
Supervisor: A. Leitsch; Institut für Computersprachen E185/2, 2009; final examination: 2009-09-09.

G. Sabau:
"Der Prozess des Engineerings der Migration von Web2(Native)App";
Supervisor: R. Freund; E185/2, 2013; final examination: 2013-05-08.

M. Schacherl:
"Entwurf und Entwicklung eines mobilen Patientendatenerfassungssystems im Rettungsdienst";
Supervisor: R. Freund; E185/2, 2012.

M. Schein:
"Erhebung und Evaluierung von möglichen Potentialen der elektronischen Patientenakte in Österreich aus Sicht der Senioren und Seniorinnen";
Supervisor: R. Freund; 192-05, 2020.

F. Schernhammer:
"On Context-Sensitive Term Rewriting";
Supervisor: B. Gramlich; Institut für Computersprachen / AB Theoretische Informatik und Logik, 2007; final examination: 2007-02-08.

S. Schinkinger:
"Diskrepanz zwischen Ballungszentren und ländlicher Bevölkerung im Hinblick auf den praktischen Einsatz einer elektronischen Gesundheitsakte";
Supervisor: R. Freund; 185/2, 2010.

S. Schlossarek:
"Analyse, Design und prototypische Umsetzung einer mobilen Applikation zur Gesundheitsförderung unterstützt durch Wearables";
Supervisor: R. Freund; 192/5, 2018.

M. Schmitt:
"Evaluierung von Open-Source-Lösungen zur Umsetzung eines Softwaresystems für eine elektronische Registrierkasse";
Supervisor: R. Freund; 185-2, 2016.

M Schuster:
"Steganographische und kryptographische Grundlagen digitaler Wasserzeichen";
Supervisor: G. Salzer; Institut für Computersprachen 185, 2003.

E. Srndic:
"Education of emergency personnel for the adoption of an electronic triage tag framework";
Supervisor: R. Freund; 185/2, 2011.

D. Steffen:
"Der Einsatz von Virtualisierungstechnologien zur Bereitstellung fachdidaktischer Anwendungen für Betriebssysteme";
Supervisor: R. Freund; 185/2, 2009.

B. Steyrer:
"Konzeption und Entwicklung einer prototypischen Software-Applikation zur Unterstützung der Qualitätssicherung von patientenbezogener Strahlenbelastung bei digitalen Röntgenaufnahmen";
Supervisor: R. Freund; 185/2, 2017.

N. Tanjga:
"Analyse, Entwurf und Evaluierung eines Vorschlags für einen internationalen Standard in der Telemedizin für elektronische Gesundheitsakten, im Speziellen für das Anwendungsszenario der ELGA";
Supervisor: R. Freund; 192-05, 2020; final examination: 2020.

V. Willner:
"Erhebung und Analyse der Anforderungen an einen Animal Health Record (AHR) für Kleintiere";
Supervisor: R. Freund; 185/2, 2011.

C. Wöss:
"Sicherheit, Usability und Vertrauen: Der Raum der Nutzerpräferenzen und Entscheidungskriterien bei der Auswahl von mobilen Messaging-Apps";
Supervisor: R. Freund; 185-2, 2016.

T. Wunderer:
"Identification and Handling of Typical Implementation Problems of Hospital Information Systems in Large-Scale Hospitals";
Supervisor: R. Freund; 185-2, 2015.


Scientific Reports


M. Alpuente, B. Gramlich, A. Villanueva:
"Timed Concurrent Constraint Programming with External Functions";
Report No. DSIC-II//13/06, 2006; 16 pages.

K. Gmeiner, B. Gramlich, F. Schernhammer:
"On (Un)Soundness of Unravelings";
Report No. Technical Report E1852-2010-01, 2010; 23 pages.

K. Gmeiner, B. Gramlich, F. Schernhammer:
"On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems";
Report No. E1852-2012-01, 2012; 21 pages.

B. Gramlich, K. Györgyfalvay:
"A Note on Minimal Counterexamples to Modularity of Termination";
Report No. E1852-2012-02, 2012; 9 pages.

B. Gramlich, F. Schernhammer:
"Extending Context-Sensitivity in Term Rewriting";
Report No. E1852-2009-02, 2009; 22 pages.

E. Jiresch, B. Gramlich:
"Realizing Monads in Interaction Nets via Generic Typed Rules";
Report No. E1852-2011-0, 2011; 27 pages.

R. Kuznets, B. Lellmann:
"Grafting Hypersequents onto Nested Sequents";
Report for arXiv; Report No. 1502.00814, 2015; 41 pages.

R. Kuznets, S. Marin, L. Strassburger:
"Justification logic for constructive modal logic";
Report for HAL; Report No. 01614707, 2017; 12 pages.

F. Schernhammer, B. Gramlich:
"Characterizing and Proving Operational Termination of Deterministic Conditional Term Rewriting Systems";
Report No. E1852-2009-01, 2009; 51 pages.

F. Schernhammer, B. Gramlich:
"On Proving and Characterizing Operational Termination of Deterministic Conditional Rewrite Systems";
2007; 14 pages.

F. Schernhammer, B. Gramlich:
"Termination of Lazy Rewriting Revisited";
Report No. E1852-2007-01, 2007; 31 pages.