Theory and Logic E192-05

A Research Unit of The Institute of Logic and Computation

We at the Theory and Logic group are interested in various aspects of logic, its applications, and formal languages.

Contact

Head: Gernot Salzer
Web: logic.at
Location: Favoritenstrasse 9-11

About

We at the Theory and Logic group are interested in various aspects of logic, its applications, and formal languages.

Our research focuses on topics in Theoretical Computer Science and Logic, the formal foundations of computer science. Our expertise includes non-classical logics, proof theory, automated deduction, game semantics, Curry-Howard correspondence, and higher-order logic. We apply our methods in areas ranging from medical expert systems and Artificial Intelligence to Indian philosophy and blockchains. In the area of formal languages, we investigate nature inspired computing models, especially membrane computing.

We offer courses at the undergraduate and masters level on logic and theoretical computer science as well as introductory programming courses for undergraduates and pre-undergraduates.

The research Unit Theory and Logic is part of the Institute of Logic and Computation.

Professors

Scientific Staff

Administrative Staff

Student Staff

External Lecturers

Courses

2020W

Anatomy and Histology / 185.330 / VO
Bachelor Thesis for Informatics and Business Informatics / 185.A26 / PR
Evaluating courses with respect to learning outcomes / 192.113 / SE
Formal Language Theory / 185.A42 / VU
Fundamentals of Computer Engineering / 183.579 / VU
Introducrtion to Clinics / 185.329 / VO
Introduction to Logical Methods in Computer Science / 184.766 / VO
Introduction to Programming 1 / 185.A91 / VU
Logic and Computability / 185.A45 / VU
Membrane Computing / 185.A70 / VU
Orientation Bachelor with Honors of Informatics and Business Informatics / 180.767 / SE
Presentation and Moderation / 185.A62 / VU
Project in Computer Science 1 / 185.A36 / PR
Project in Computer Science 2 / 185.A37 / PR
Project in Medical Informatics / 185.A30 / PR
Project in Software Engineering & Internet Computing / 185.A38 / PR
Propädeutikum für Informatik / 180.771 / VU
Research Seminar for Master and PhD students / 185.A39 / SE
Research Seminar LogiCS / 184.767 / SE
Scientific Research and Writing / 193.052 / SE
Seminar for Diplomands in Informatikdidaktik 2 / 192.096 / SE
Seminar for Master Students in Medical Informatics / 180.776 / SE
Seminar in Theoretical Computer Science / 192.074 / SE
Theoretical Computer Science and Logics / 185.278 / VU

2021S

Bachelor Thesis for Informatics and Business Informatics / 185.A26 / PR
Basics of physiology and pathology / 185.A47 / VO
Clinics / 185.334 / VO
Formal Modelling / 185.A06 / VU
Foundations of Computer and Communication Systems / 192.121 / VU
Fundamentals of Computer Engineering for Business Informatics / 185.A74 / VU
Fundamentals of programming and algorithms / 192.097 / VU
Introduction to Logical Methods in Computer Science / 184.766 / VO
Introduction to Programming 1 / 185.A91 / VU
Introduction to Programming 2 / 185.A92 / VU
Introduction to Theoretical Computer Science and Logics / 192.071 / VU
Legal Basics of Medical Health Care / 185.A57 / VO
Machine Learning for Health Informatics / 185.A83 / VU
Molecular Computing / 185.326 / VU
Non-classical Logics / 192.085 / VU
Orientation Bachelor with Honors of Informatics and Business Informatics / 180.767 / SE
Principles for evaluating curricula / 192.117 / SE
Privatissimum on Didactics of Informatics / 192.100 / SE
Project in Computer Science 1 / 185.A36 / PR
Project in Computer Science 2 / 185.A37 / PR
Project in Medical Informatics / 185.A30 / PR
Research Seminar for Master and PhD students / 185.A39 / SE
Research Seminar LogiCS / 184.767 / SE
Scientific Research and Writing / 193.052 / SE
Seminar in Artificial Intelligence / 192.086 / SE
Seminar in Distributed Systems (Cryptocurrencies) / 185.A94 / SE
Seminar in Logic / 185.316 / SE
Seminar on security (crypto currencies) / 183.671 / SE
Smart Contracts / 192.078 / VU

Projects

Mosaic -- modal logics
2021 – 2025 / European Commission
From Semantic Games to Analytic Calculi – and Back
2019 – 2023 / Austrian Science Fund (FWF)
On the Computational Interpretation of Intermediate Logics
2019 – 2021 / Austrian Science Fund (FWF)
Norm-based reasoning: from legal and moral traditions to AI systems
2019 – 2020 / Norms
Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts
2017 – 2022 / Vienna Science and Technology Fund (WWFT)
TICAMORE: Translating and discovering calculi for modal and related logics
2017 – 2021 / Austrian Science Fund (FWF)
Syntax meet Semantics: Methods, Interactions, and Connections in Substructural logics
2016 – 2019 / European Commission
Formalizing Proof Theory
2016 – 2017 / Austrian Exchange Service (OeAD)
Modeling vague quantifiers in mathematical fuzzy logic
2015 – 2018 / Austrian Science Fund (FWF)
Proof-theoretic Analysis of Modal Logics
2015 – 2017 / European Commission
Nested Sequents for Interpolation and Realization
2015 – 2017 / FWF
A Logical Framework for Dialogue Games
2013 – 2017 / Austrian Science Fund (FWF)
Nonclassical Proofs: Theory, Applications and Tools
2011 – 2019 / Austrian Science Fund (FWF)

Publications

2021

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

2020

Assessing the Similarity of Smart Contracts by Clustering their Interfaces / M. Di Angelo, G. Salzer / Talk: 3rd International Workshop on Blockchain Systems and Applications (BlockchainSys 2020), Guangzhou, China; 2020-12-29 - 2021-01-01; in: "Blockchain Systeme and Applications (BlockchainSys 2020)", IEEE, (2020), 1 - 10
Interpreting Propositional Fuzzy Logics via Imperfect Information Games / C. Fermüller, O. Majer / 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
Interpolation for Intermediate Logics via Injective Nested Sequents / R. Kuznets, B. Lellmann / Talk: Online Partout Seminar, Online, France (invited); 2020-11-09
The Good, the Bad and the Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts / C. Schneidewind, M. Scherer, M. Maffei / 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
Extended Kripke lemma and decidability for hypersequent substructural logics / R. Ramanayake / Talk: Sixth TICAMORE MEETING, *Online*/Marseille, Marseille; 2020-10-05
Characteristics of Wallet Contracts on Ethereum / M. Di Angelo, G. Salzer / 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
Functional Differences of Neo and Ethereum as Smart Contract Platforms / M. Bareis, M. Di Angelo, G. Salzer / 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
Extended Kripke lemma and decidability for hypersequent substructural logics / R. Ramanayake / 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
Wallet Contracts on Ethereum / M. Di Angelo, G. Salzer / Poster: International Conference on Blockchain and Cryptocurrency, Toronto, Canada; 2020-05-02 - 2020-05-06; in: "International Conference on Blockchain and Cryptocurrency", IEEE, (2020), 1 - 2
Tokens, Types, and Standards: Identification and Utilization in Ethereum / M. Di Angelo, G. Salzer / 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
Characterizing Types of Smart Contracts in the Ethereum Landscape / M. Di Angelo, G. Salzer / 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
Par means parallel: multiplicative linear logic proofs as concurrent functional programs" / F. Aschieri, F. Genco / Talk: POPL2020, New Orleans; 2020-01-19 - 2020-01-21; in: "Proceedings of the ACM on Programming Languages, 4 (2020)", 4 (2020), 1 - 18
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents / T. Lyon, R. Goré et al. / 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
On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems / T. Lyon / 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
Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents / T. Lyon / 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
On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics / T. Lyon / Journal of Logic and Computation, 31 (2020), 1; 213 - 265
An Abstract Form of the First Expsilon Theorem / M. Baaz, A. Lolic, A. Leitsch / Journal of Logic and Computation, 30 (2020), 8; 1447 - 1468
Par means parallel: multiplicative linear logic proofs as concurrent functional programs / F. Aschieri, F. Genco / Proceedings of the ACM on Programming Languages, 4 (2020), 1 - 18
On fuzzification mechanisms for unary quantification / P. Baldi, C. Fermüller, M. Hofer / Fuzzy Sets and Systems, 388 (2020), 90 - 123
A realistic view on normative conflicts / M. Pascucci, D. Glavanicova / Logic and Logical Philosophy, 29 (2020), 36 - 51
Time-freeness and clock-freeness and related concepts in {P} systems / R. Freund, A. Alhazov et al. / Theoretical Computer Science, 805 (2020), 127 - 143
P systems with randomized right-hand sides of rules / R. Freund, A. Alhazov et al. / Theoretical Computer Science, 805 (2020), 805; 144 - 160
Sequent Rules for Reasoning and Conflict Resolution in Conditional Norms / B. Lellmann, A. Ciabattoni / in: "DEOn 2020/2021", College Publications, 2020, 1 - 18
Theorem Proving for Lewis Logics of Counterfactual Reasoning / B. Lellmann / 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
Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics / B. Lellmann, T. Dalmonte et al. / 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
A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms / K. van Berkel, T. Lyon et al. / 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
From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic / C. Fermüller, T Lang, A Pavlova / in: "IPMU 2020: Information Processing and Management of Uncertainty in Knowledge-Based SystemsI", 978-3-030-50146-4; Springer, 2020, 257 - 270
Schematic Refutations of Formula Schemata / D. Cerna, A. Leitsch, A. Lolic / Journal of Automated Reasoning, online (2020)
Hypersequent calculi for non-normal modal and deontic logics: Countermodels and optimal complexity / T. Dalmonte, B. Lellmann et al. / CoRR - Computing Research Repository, 2006.05436 (2020), 2006.05436

2019

Translating Quantitative Semantic Bounds into Nested Sequents / R. Kuznets, B. Lellmann / Talk: Fifth TICAMORE MEETING, Wien (invited); 2019-11-11 - 2019-11-13
On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems / T. Lyon / Talk: Fifth TICAMORE MEETING, Wien; 2019-11-11 - 2019-11-13
Nested sequents and countermodels for monotone modal logic / B. Lellmann / Talk: Fifth TICAMORE MEETING, Wien; 2019-11-11 - 2019-11-13
Bounded sequent calculi via hypersequents / T Lang / Talk: Fifth TICAMORE MEETING, Wien; 2019-11-11 - 2019-11-13
Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics / K. van Berkel / Talk: Fifth TICAMORE MEETING, Wien, Wolfgang Pauli Institut; 2019-11-11 - 2019-11-13
Translating and Discovering Calculi for Modal and Related Logics / R. Ramanayake / Talk: Fifth TICAMORE MEETING, Wien; 2019-11-11 - 2019-11-13
Judgment Aggregation From a Many-valued Logic Perspective / C. Fermüller / Keynote Lecture: Nonclassical Logics and Judgment Aggregation, Prag; 2019-11-07 - 2019-11-10
Evaluating Networks of Structured Arguments with Support and a Case Study in Mimamsa Dialectics. / K. van Berkel / Talk: Workshop on Logic & Argumentation, Wien, TU; 2019-11-06
Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics / T. Lyon, K. van Berkel / 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
Formal analysis of responsibility attribution in a multimodal framework / M. Pascucci, D. Glavanicova / 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
Proof theory for deontic logic inspired by Indian Philosophy / B. Lellmann / Keynote Lecture: Annual meeting of the Swiss Society for Logic and Philosophy of Science, Bern; 2019-10-24 - 2019-10-25
Evaluating Networks of Arguments: A Case Study in Mīmāṃsā Dialectics. / K. van Berkel, A. Ciabattoni et al. / 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
A Neutral Temporal Deontic STIT Logic / K. van Berkel, T. Lyon / 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
Reversibility and Determinism in P Systems / R. Freund / Talk: Reversibility in Programming, Languages, and Automata (RPLA), Porto; 2019-10-07 - 2019-10-11
Tissue P Systems with Anti-Cells / R. Freund / Talk: 29. Theorietag Automaten und Formale Sprachen, Bremen; 2019-09-26
A Game Model for Proofs with Costs / T Lang, C. Olarte, E. Pimentel, C. Fermüller / 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
Bounded sequent calculi for non-classical logics via hypersequents / A. Ciabattoni, R. Ramanayake, T Lang / 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
Syntactic Cut-Elimination and Backward Proof-Search for Tense Logic via Linear Nested Sequents / R. Goré, B. Lellmann / 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
Sequentialising Nested Systems / E. Pimentel, R. Ramanayake, B. Lellmann / 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
Combining monotone and normal modal logic in nested sequents -- with countermodels / B. Lellmann / 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
Performance and Scalability of Private Ethereum Blockchains / M. Schäffer, M. Di Angelo, G. Salzer / 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
A Formal Framework for Spiking Neural P Systems / R. Freund, S. Verlan, A. Alhazov et al. / 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
Playing with Derivation Modes / R. Freund / 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
P Systems with Anti-Membranes / R. Freund, A. Alhazov, S. Ivanov / 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
Methods to prove non-cohesiveness in canonical models / M. Pascucci / Talk: Goedel's Legacy, Wien; 2019-07-25 - 2019-07-27
A General Framework for Sequential Grammars with Control Mechanisms / R. Freund / 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
Towards a concurrrent lambda calculus: via linear logic / F. Aschieri / Talk: Workshop, Proof, Computation, Complexity, Stockholm; 2019-07-15 - 2019-07-19
Mayflies, Breeders, and Busy Bees in Ethereum: Smart Contracts Over Time / M. Di Angelo, G. Salzer / 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
Turing machines with activations of transitions / R. Freund, L. Staiger / 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
Register machines over groups / R. Freund, A. Alhazov, S. Ivanov / 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
Blind and partially blind reister machines over groups / R. Freund, A. Alhazov et al. / Talk: NCMA 2019, Valencia; 2019-07-02 - 2019-07-03
Structural proof theory: shedding structure / R. Ramanayake / Talk: 5th International Workshop on Structures and Deduction SD 2019, Dortmund (invited); 2019-06-29 - 2019-06-30
Collateral Use of Deployment Code for Smart Contracts in Ethereum / M. Di Angelo, G. Salzer / 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
Automated reasoning in normative detachment structures with ideal conditions / M. Pascucci, T. Libal / 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
"Defining Responsibility / M. Pascucci, D. Glavanicova / Talk: Current Trends in Deontic Logic II, Bratislava; 2019-05-30 - 2019-05-31
Cut-Free Calculi and Relational Semantics for Temporal STIT Logics. / K. van Berkel, T. Lyon / 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
Smart Contracts in View of the Civil Code / M. Di Angelo, A. Soare, G. Salzer / 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
Modalities as prices: a game model of intuitionistic linear logic with subexponentials / C. Fermüller / Talk: GaLoP 2019 14th Workshop on Games for Logic and Programming Languages, Prag; 2019-04-06 - 2019-04-07
A Survey of Tools for Analyzing Ethereum Smart Contracts / M. Di Angelo, G. Salzer / 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
SoK: Development of Secure Smart Contracts - Lessons from a Graduate Course / M. Di Angelo, C. Sack, G. Salzer / 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
Argumentation Based Semantics for Nonclassical Logics / C. Fermüller / Keynote Lecture: A primer of formal argumentation, Milano; 2019-01-29 - 2019-01-31
Countermodels for Non-normal Modal Logics via Nested Sequents / B. Lellmann / Talk: Conference: Syntax meets Semantics (SYSMICS) 2019, Amsterdam; 2019-01-21 - 2019-01-25
Intermediate Logic Proofs as Concurrent Programs / A. Ciabattoni, F. Genco, F. Aschieri / Talk: Conference: Syntax meets Semantics (SYSMICS) 2019, Amsterdam; 2019-01-21 - 2019-01-25
Eleventh Workshop on Non-Classical Models of Automata and Applications, NCMA 2019, Valencia, Spain, July 2-3, 2019 / R. Freund, M Holzer et al. / OCG (Österreichische Computer Gesellschaft), Wien, 2019, ISBN: 978-3-903035-25-6; 204 pages
Minimal Distance of Propositional Models / M. Behrisch, M. Hermann, S. Mengel, G. Salzer / Theory of Computing Systems, 63 (2019), 6; 1131 - 1184
Expansion trees with cut / F. Aschieri, S. Hetzl, D. Weller / Mathematical Structures In Computer Science, 29 (2019), 8; 1009 - 1029
Extraction of Expansion Trees / A. Lolic, A. Leitsch / Journal of Automated Reasoning, 62 (2019), 3; 393 - 430
On the Generation of Quantified Lemmas / G. Ebner, S. Hetzl, A. Leitsch, G. Reis, D. Weller / Journal of Automated Reasoning, 63 (2019), 1; 95 - 126
Duty and sacrifice. A logical analysis of the Mīmāṃsā theory of Vedic injunctions / M. Pascucci, E. Freschi et al. / History and Philosophy of Logic, 40 (2019), 4; 323 - 354
Connecting fuzzy logic and argumentation frames via logical attack principles / E Corsi, C. Fermüller / Soft Computing, 23 (2019), 7; 2255 - 2270
Variants of P systems with activation and blocking of rules / R. Freund, A. Alhazov, S. Ivanov / Natural Computing, 18 (2019), 3; 593 - 608
Preface / M. Pascucci et al. / Organon F., 26 (2019), 26; 318 - 322
Expansion trees with cut / F. Aschieri, D. Weller et al. / Mathematical Structures In Computer Science, 29 (2019), 8; 1009 - 1029
Variants of Networks of Evolutionary Processors with Polarizations and a Small Number of Processors / R. Freund, S. Verlan et al. / International Journal of Foundations of Computer Science, 30 (2019), 6-7; 1005 - 1027
Modularisation of Sequent Calculi for Normal and Non-normal Modalities / B. Lellmann, E. Pimentel / ACM Transactions on Computational Logic, 20 (2019), 2; 7:1 - 7:46
Playing with Derivation Modes and Halting Conditions / R. Freund / in: "Proceedings of Seventeenth Brainstorming Week on Membrane Computing", Artes Gr a cas Moreno, S.L., Sevilla, 2019, 978-84-14347-4, 91 - 108
P Systems: from Anti-Matter to Anti-Rules / R. Freund / in: "Proceedings of Seventeenth Brainstorming Week on Membrane Computing", Artes Gr a cas Moreno, S.L., sevilla, 2019, 978-84-14347-4, 41 - 58
(Tissue) P Systems with Anti-Membranes / R. Freund et al. / 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
Beyond Generalized Multiplicities: Register Machines over Groups / R. Freund, A. Alhazov, S. Ivanov / 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
Tissue P Systems with Point Mutation Rules / R. Freund, A. Alhazov, S. Ivanov, S. Verlan / 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
Nested Sequents for the Logic of Conditional Belief / M. Girlando, B. Lellmann, N. Olivetti / in: "JELIA 2019", Springer, 2019, ISBN: 978-3-030-19569-4, 709 - 725
Natural Deduction and Normalization Proofs for the Intersection Type Discipline / F. Aschieri / 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
Schematic Refutations of Formula Schemata / D. Cerna, A. Leitsch, A. Lolic / ArXiv, 1902.08055 (2019)
A note on the issue of cohesiveness in canonical models / M. Pascucci / Journal of Logic, Language and Information, 28 (2019), 28; 18 pages
Propositional quantifiers in labelled natural deduction for normal modal logic / M. Pascucci / Logic Journal of the IGPL, jzz008 (2019), 31 pages

2018

Sequent calculi for substructural logics via bounded proofs / R. Ramanayake / Talk: FISP Workshop (3rd FISP Meeting), Vienna; 2018-12-07 - 2018-12-08
Cut-free Calculi and Relational Semantics for temporal STIT logics / K. van Berkel / Talk: FISP Workshop (3rd FISP Meeting), Vienna, TU; 2018-12-07 - 2018-12-08
Nesting multi-conclusions: the Maehara conundrum / R. Kuznets / Talk: FISP Workshop (3rd FISP Meeting), Vienna (invited); 2018-12-07 - 2018-12-08
A cost conscious game model for intutionistic linear logic with subexponentials / C. Fermüller / Talk: FISP Workshop (3rd FISP Meeting), Vienna; 2018-12-07 - 2018-12-08
Automated reasoning in normative detachment structures with ideal conditions / M. Pascucci / Talk: Cyberspace 2018, Brno; 2018-11-30 - 2018-12-01
Tense Logics, Structural Proof Theory, and Effective Translations / T. Lyon / Talk: Logic Research Seminar, University of Melbourne, Melbourne; 2018-11-23
Activation and Blocking of Rules / R. Freund, A. Alhazov, S. Ivanov / Talk: The 5th Annual Rogozhin Lectures on Foundations of Informatics and Unconventional Computing Systems, Chisinau, Moldavien; 2018-11-13 - 2018-11-14
Effective Translations between Nested and Labelled Proofs for Tense Logics / T. Lyon / Talk: Logic Seminar, Australian National University, Canberra; 2018-11-07
Notions of Instrumentality in Agency Logic / K. van Berkel, M. Pascucci / 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
Nested Sequents: Intermediate Logics and Neighbourhoods / B. Lellmann / Talk: Theory and Logic Group Seminar, Wien; 2018-10-10
Tense Logics, Structural Proof Theory, and Effective Translations / T. Lyon / Talk: Non-Classical Logics Research Seminar, Mathematics Department, University of Denver (Denver, Colorado USA), Denver; 2018-10-02
Classical Proofs as Parallel Programs / F. Aschieri, F. Genco, A. Ciabattoni / 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
Cohesiveness in canonical models / M. Pascucci / Talk: Colloquium Logicum 2018, Bayreuth; 2018-09-14 - 2018-09-16
Tissue P Systems with Point Mutation Rules / R. Freund et al. / 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
Interpolation for Intermediate Logics via Hyper- and Linear Nested Sequents / R. Kuznets, B. Lellmann / 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
Effective Translations between Display and Labelled Proofs for Tense Logics / T. Lyon / Talk: External and Internal Calculi for Non-Classical Logics Workshop (Federated Logic Conference 2018), Oxford; 2018-07-19
Substructural Calculi and Games of Information Extraction / C. Fermüller / Talk: Forschungsseminar Informatik, Uni Bamberg, Bamberg; 2018-07-09
Natural Deduction and Normalization Proofs for the Intersection Type Discipline / F. Aschieri / Talk: "Intersection Types and Related Systems" (ITRS 2018), Oxford; 2018-07-08
On Herbrand constructive Logics III: Intuitionistic logic of constant domains / F. Aschieri / Talk: Classical Logic and Computation" (CL&C 2018), Oxford; 2018-07-07
Automated Deduction in Classical and Nonclassical Logic: A bird's eyes view with hints on bounded reasoning / C. Fermüller / Keynote Lecture: Models of Bounded Reasoning in Individuals and Groups, Leiden, Netherlands; 2018-07-02 - 2018-07-05
Sequential Grammars with Activation and Blocking of Rules / R. Freund et al. / 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
Control Mechanisms for Array Grammars on Cayley Grids / R. Freund / 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
P Systems with Activation and Blocking of Rules / R. Freund et al. / 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
Analytic Calculi for substructural logics: Theory and applications / A. Ciabattoni / Talk: Logic Colloquium 2018, Udine (invited); 2018-06-23 - 2018-06-28
Exploring Argumentation Based Semantics for Relevance Logic / C. Fermüller / Talk: AsubL (Algebra & Substructural Logics- Take 6), Cagliari, Italy; 2018-06-11 - 2018-06-13
A deduction theorem for non-commutative Full Lambek calculus with contraction FLc / R. Ramanayake / Talk: TICAMORE Meeting/Workshop 3, Nancy; 2018-06-06 - 2018-06-08
Deontic Reasoning: From Ancient Texts to Artificial Intelligence / A. Ciabattoni / Talk: TICAMORE Meeting/Workshop 3, Nancy; 2018-06-06 - 2018-06-08
Internalizing Labelled Proofs for Tense Logics with Path Axioms / T. Lyon / Talk: TICAMORE Meeting/Workshop 3, Nancy; 2018-06-06 - 2018-06-08
Games and analytic proof systems / C. Fermüller / Keynote Lecture: PhDs in Logic X, Prague; 2018-05-01 - 2018-05-04
Interpretpreting Substructural Logics by Games of Information Extraction / C. Fermüller, T Lang / Talk: Games for Logic and Programming Languages XIII, Thessaloniki, Greece; 2018-04-14 - 2018-04-15
On the Expressivity of the Propositional Fragment of Independence Friendly Logic / O. Majer, C. Fermüller / Talk: Games for Logic and Programming Languages XIII, Thessaloniki, Greece; 2018-04-14 - 2018-04-15
Intermediate logics: from hypersequents to parallel computation / A. Ciabattoni / Talk: British Colloquium for Theoretical Computer Science 2018, London (invited); 2018-03-26 - 2018-03-28
A Granularity Approach to Vague Quantification / C. Fermüller / 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
From Lorenzen´s dialogue game to game semantics for substructural logics / C. Fermüller / Talk: Paul Lorenzen: Mathematician and Logician, Konstanz; 2018-03-08 - 2018-03-09
Logic-Based Concurrent Calculi / F. Aschieri, A. Ciabattoni, F. Genco / Talk: Substructural logics: semantics, proof theory, and applications, SYSMICS 2018, Wien; 2018-02-26 - 2018-02-28
A Sequent-Calculus Based Formulation of the Extended First Epsilon Theorem / A. Leitsch, M. Baaz, A. Lolic / 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
From Display to Labelled Calculi for Tense Logics / T. Lyon, R. Ramanayake, A. Ciabattoni / 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
Small Universal Reversible Counter Machines / R. Freund, A. Alhazov, S. Verlan / in: "Emergence, Complexity and Computation", 30; A. Adamatzky (ed.); Springer International Publishing, 2018, ISBN: 978-3-319-73216-9, 433 - 446
Chocolate P Automata / R. Freund, M. Oswald, A. Alhazov et al. / 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
On Semantic Games for Łukasiewicz Logic / C. Fermüller, O. Majer / 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
Proceedings of the Workshop on Membrane Computing at UCNC 2018. / R. Freund, S. Ivanov / TU Wien, Wien, 2018, 71 pages
Proceedings of the Tenth Workshop on Non-Classical Models of Automata and Applications, (NCMA) / R. Freund / 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
Tenth Workshop on Non-Classical Models of Automata and Applications - Short papers / R. Freund et al. / 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
Extraction of Expansion Trees / A. Lolic, A. Leitsch / Journal of Automated Reasoning, 61 (2018), 1; 1 - 38
Inducing syntactic cut-elimination for indexed nested sequents. / R. Ramanayake / Logical Methods in Computer Science, 14 (2018), 1 - 25
Substructural logics: semantics, proof theory, and applications. Report on the second SYSMICS workshop / A. Ciabattoni, F. Genco, R. Ramanayake / ACM SIGLOG News, 5 (2018), 2; 58 - 60
Hypersequents and Systems of Rules: Embeddings and Applications. / A. Ciabattoni, F. Genco / ACM Transactions on Computational Logic, 19 (2018), 2; 1 - 27
Disjunctive Axioms and Concurrent lambda-Calculi: a Curry-Howard Approach / F. Aschieri, A. Ciabattoni, F. Genco / CoRR - Computing Research Repository, abs/1802.00961 (2018), abs/1802.00961
Deontic Reasoning: From Ancient Texts to Artificial Intelligence. Workshop report / A. Ciabattoni, B. Lellmann, K. van Berkel / ACM SIGLOG News, 5 (2018), 4; 48 - 51
Connecting fuzzy logic and argumentation frames via logical attack principles / E Corsi, C. Fermüller / Soft Computing, (online first) (2018), 1 - 16
Multicomponent Proof-theoretic Method for Proving Interpolation Property / R. Kuznets / Annals of Pure and Applied Logic, 169 (2018), 12; 1369 - 1418
Extended spiking neural P systems with white hole rules and their red-green variants / R. Freund, A. Alhazov, S. Ivanov, M. Oswald et al. / Natural Computing, 17 (2018), 2; 297 - 310
Hierarchical P systems with randomized right-hand sides of rules. / R. Freund, A. Alhazov et al. / 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
Introducing the Concept of Activation and Blocking of Rules in the General Framework for Regulated Rewriting in Sequential Grammars. / R. Freund, A. Alhazov, S. Ivanov / in: "Sixteenth Brainstorming Week on Membrane Computing", Gh. Paun et al. (ed.); Fénix Editora, Sevilla, 2018, 1 - 22
Input-Driven Tissue P Automata / R. Freund, M. Oswald, A. Alhazov et al. / in: "Sixteenth Brainstorming Week on Membrane Computing", Gh. Paun et al. (ed.); Fénix Editora, Sevilla, 2018, 39 - 58
One-Membrane P Systems with Activation and Blocking of Rules. / R. Freund, A. Alhazov, S. Ivanov / in: "Sixteenth Brainstorming Week on Membrane Computing", Gh. Paun et al. (ed.); Fénix Editora, Sevilla, 2018, 23 - 38
Unfair P Systems / R. Freund, A. Alhazov, S. Ivanov / in: "Proceedings of the Workshop on Membrane Computing at UCNC 2018. Fontainebleau, France June 25th, 2018", TU Wien, 2018, 63 - 71
Unfair P Systems / R. Freund, A. Alhazov, S. Ivanov / in: "Theorietage 2018, Wittenberg, Technical Report 18-1, Universität Halle-Wittenberg", K. Reinhardt (ed.); Universität Halle-Wittenberg, 2018, 87 - 90
Resolving Conflicting Obligations in Mīmāṃsā: A Sequent-based Approach / A. Ciabattoni, F. Gulisano, B. Lellmann / in: "Deontic Logic and Normative Systems DEON 2018", J. Broersen, C. Condoravdi, S. Nair, G. Pigozzi (ed.); College Publications, 2018, ISBN: 9781848902787, 91 - 110
Probabilistic interpretations of argumentative attacks: logical and experimental foundations / N. Pfeifer, C. Fermüller / 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
On Natural Deduction for Herbrand Constructive Logics III: The Strange Case of the Intuitionistic Logic of Constant Domains / F. Aschieri / 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
Automated Reasoning in Normative Detachment Structures with Ideal Conditions / M. Pascucci, T. Libal / CoRR - Computing Research Repository, abs/1810.09993 (2018), abs/1810.09993
Review of "Fuzzy Logic and Mathematics: A Historical Perspective" / C. Fermüller / Notre Dame Philosophical Reviews (invited), (online) (2018)

2017

From Display to Labelled Proofs for Tense Logics / R. Ramanayake, A. Ciabattoni, T. Lyon / accepted for publication in: "Proceedings of LFCS 2018.", WordPress
Discussion on Quantifier Fuzzyfication Mechanisms. / P. Baldi, M. Hofer / Talk: Workshop on Fuzzy Quantifiers and related topics MOVAQ 2017, Wien; 2017-12-15 - 2017-12-16
Syntactic decidability and complexity upper bound for the logic of Bunched Implication BI / R. Ramanayake / Talk: Parsifal Seminar. Inria Sarclay., Palaiseau; 2017-11-22
A syntactic proof of decidability for the logic of Bunched Implication BI / R. Ramanayake / Talk: Workshop TICAMORE, Marseille; 2017-11-15 - 2017-11-18
Mutual Translations between Display and Labelled Proofs for Tense Logics / T. Lyon / Talk: Workshop TICAMORE, Marseille; 2017-11-15 - 2017-11-18
From hypersequents to parallel computation for intermediate logics / A. Ciabattoni / Talk: Workshop TICAMORE, Marseille; 2017-11-15 - 2017-11-18
Connecting fuzzy logic and argumentation frames via logical attack principles / C. Fermüller / Talk: ManyVal 2017, Toulouse, Frankreich; 2017-11-14 - 2017-11-17
Goedel Logic: from Hypersequents to Parallel Computation / A. Ciabattoni / Talk: ISRALOG 2017, Haifa, Israel; 2017-10-15 - 2017-10-17
Connecting Argumentation, Incompatibility Semantics, Nmatrices, and Relevance Logics / C. Fermüller / Talk: ISRALOG 2017, Haifa, Israel; 2017-10-15 - 2017-10-17
Hypersequent calculi for Lewis´ conditional logics with uniformity and reflexivity / B. Lellmann et al. / 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
Interpreting Sequent Calculi as Client-Server Games / C. Fermüller, T Lang / 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
Temporal irreflexivity in terms of a propositional constant / M. Pascucci / Talk: XXVI AILA (Italian Association for Logic and its Applications) Meeting, Padova; 2017-09-25 - 2017-09-28
General methods in proof theory for modal and substructural logics / B. Lellmann, R. Ramanayake / Talk: TABLEAUX 2017, Brasilia; 2017-09-24
General methods in proof theory for modal and substructural logics / R. Ramanayake, B. Lellmann / Talk: FroCos and ITP 2017, Brasilia; 2017-09-23
From Semi-fuzzy to Fuzzy Quantifiers via Lukasiewicz Logic and Games / P. Baldi, C. Fermüller / 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
Logical Argumentation Principles, Sequents, and Nondeterministic Matrices / E Corsi, C. Fermüller / 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
(Tissue) {P} Systems with Vesicles of Multisets / R. Freund et al. / 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
Proof-Theory for Non-Classical Logics: Sequent calculi and beyond / A. Ciabattoni / Talk: International Summer School for Proof Theory, Funchal; 2017-08-22 - 2017-08-27
Natural deduction for modal logic with propositional quantifiers / M. Pascucci / Talk: ECAP (European Congress for Analytic Philosophy) 9, München; 2017-08-21 - 2017-08-26
Modalities between a logical and an empirical account of indeterminism / M. Pascucci / Talk: Modal Metaphysics V, Bratislava (invited); 2017-08-17 - 2017-08-18
Through an Inference Rule, Darkly / R. Kuznets / Talk: Humboldt Kolleg "Proof Theory as Mathesis Universalis", Menaggio, Italien (invited); 2017-07-24 - 2017-07-28
Efficient Proof Systems for Modal Logics / R. Kuznets, L. Strassburger / Talk: 29th European Summer School in Logic, Language, and Information (ESSLLI 2017), Toulouse, Frankreich; 2017-07-17 - 2017-07-28
Oligomorphic clones / M. Kompatscher, M. Pinsker / Talk: Tianfu Universal Algebra workshop, South West University of Finance and Economics, Chengdu, China (invited); 2017-07-04 - 2017-07-05
Computational Completeness of Networks of Evolutionary Processors with Elementary Polarizations and a Small Number of Processors / R. Freund et al. / 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
Bunched Hypersequent Calculi for Distributive Substructural Logics and Extensions of Bunched Implication Logic / R. Ramanayake / Talk: TACL 2017, Prag; 2017-06-29 - 2017-06-30
Towards a proof theory for fuzzy quantifiers: a calculus for Rational Lukasiewicz Logic / P. Baldi / Talk: Logic, Algebra and Truth Degress (LATD 2016), Phalaborwa , South Africa, Phalaborwa; 2017-06-28 - 2017-06-30
Logic-based process calculi: Gödel logic and beyond / A. Ciabattoni / Talk: Workshop Open Problems in Concurrency Theory II, Klosterneuburg (invited); 2017-06-26 - 2017-06-29
Querying with Vague Quantiﬁers Using Probabilistic Semantics / C. Fermüller, M. Hofer, M. Ortiz de la Fuente / 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
From semi-abstract argumentation to logical consequence / E Corsi, C. Fermüller / 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
Gödel Logic: From Natural Deduction to Parallel Computation / A. Ciabattoni, F. Genco et al. / 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
The two dichotomy conjectures for in nite domain CSPs are equivalent / M. Pinsker / Talk: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, Reykjavik (invited); 2017-06-20 - 2017-06-23
How to Reach Heaven: Different career paths / A. Ciabattoni / Talk: 2nd Logic Mentoring Workshop, Reykjavik (invited); 2017-06-18
Linearization of certain non-trivial equations in oligomorphic clones / M. Kompatscher / Talk: AAA94+NSAC2017, Novi Sad; 2017-06-15 - 2017-06-18
Equations in algebras from omega-categorical structures / M. Pinsker / Talk: Seminar an der TU Wien, Wien, 06/2017; 2017-06-06
From hypersequent calculi to parallel computation / A. Ciabattoni / Talk: International Workshop on Proofs, Paris (invited); 2017-06-01 - 2017-06-02
Completing edge-labelled graphs to metric spaces / M. Kompatscher / Talk: Seminar der Arbeitsgruppe Diskrete Mathematik,, Wien; 2017-05-30
A logical perspective on argumentation / C. Fermüller / Keynote Lecture: Metaphor and Argumentation, Cagliari, Italy (invited); 2017-05-25 - 2017-05-27
Expansion Trees from Non-Normalized Proofs with CERES / A. Lolic, A. Leitsch / Talk: Collegium Logicum Proof Theory: Herbrand's Theorem Revisited, Wien; 2017-05-25 - 2017-05-27
Herbrand's Phenomena in Justification Logic / R. Kuznets / Talk: Collegium Logicum 2017, Proof Theory: Herbrand's Theorem Revisited, Wien (invited); 2017-05-25 - 2017-05-27
Hintikka Style Game Rules for Semi-Fuzzy Quantifiers / C. Fermüller, M. Hofer / 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
Cores of omega-categorical structures / M. Kompatscher / Talk: Algebra Seminar TU Wien, Wien; 2017-05-19
Analytic calculi for intermediate logics: A nested sequent approach / B. Lellmann / Talk: Alcop Viii, Glasgow; 2017-04-10 - 2017-04-12
Investigating the decidability of transitive modal logics via labelled calculi / R. Ramanayake / Talk: Kick of Meeting TICAMORE, Wien; 2017-03-15
Modal Calculi from Semantics: a Case Study / R. Kuznets / Talk: Workshop Translating and Discovering Calculi for Modal and Related Logics 2017, Wien; 2017-03-14 - 2017-03-16
Double-shrinking pseudo-Siggers / M. Pinsker / Talk: LIAFA, Paris (invited); 2017-03-12
A complexity dichotomy for poset constraint satisfaction / M. Kompatscher, T. Van Pham / 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
Translating from Labelled Calculi to Display Calculi / T. Lyon / Talk: TICAMORE Kick-off Meeting 2017, Wien; 2017-03-04
The linear nested sequent framework / B. Lellmann / Talk: TICAMORE Kick-off Meeting 2017, Wien; 2017-03-04
Equations in oligomorphic algebras / M. Pinsker / Talk: AAA 93, Bern (invited); 2017-02-10 - 2017-02-12
A new proof of the existence of cores of omega-categorical structures / M. Kompatscher / Talk: AAA93, Bern; 2017-02-10 - 2017-02-12
Ninth Workshop on Non-Classical Models of Automata and Applications, {NCMA} 2017, Prague, Czech Republic / R. Freund et al. / 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
The problem of Pi_2-cut-introduction / A. Leitsch, M. Lettmann / Theoretical Computer Science, 706 (2017), 83 - 116
Reconstructing the topology of clones / M. Pinsker et al. / Transactions of the American Mathematical Society, 369 (2017), 3707 - 3740
The Basics of Display Calculi / T. Lyon et al. / KRITERION - Journal of Philosophy, 31 (2017), 2; 57 - 101
Anderson's restriction of deontic modalities to contingent propositions / M. Pascucci / Theoria. Swedish Journal of Philosophy, 83 (2017), 4; 440 - 470
PREFACE OF A SPECIAL ISSUE OF THE J. of LOGIC AND COMPUTATION / A. Ciabattoni, M. Baaz, D.M. Gabbay et al. / Journal of Logic and Computation, 27 (2017), 2
Algebraic proof theory: Hypersequents and hypercompletions / A. Ciabattoni, N. Galatos et al. / Annals of Pure and Applied Logic, 168 (2017), 3; 693 - 737
Contextual array grammars with matrix control, regular control languages, and tissue P systems control / R. Freund, A. Alhazov, S. Ivanov et al. / Theoretical Computer Science, 682 (2017), 5 - 21
{CERES} for first-order schemata / A. Leitsch, D. Weller et al. / Journal of Logic and Computation, 27 (2017), 7; 1897 - 1954
Non-Isometric Contextual Array Grammars and the Role of Regular Control and Local Selectors / R. Freund, H. Fernau et al. / Fundamenta Informaticae, 155 (2017), 1-2; 209 - 232
Watson-Crick {T0L} Systems and Red-Green Register Machines / R. Freund et al. / Fundamenta Informaticae, 155 (2017), 1-2; 111 - 129
Ceres in intuitionistic logic / A. Leitsch, D. Cerna, G. Reis et al. / Annals of Pure and Applied Logic, 168 (2017), 10; 1783 - 1836
P Systems Working in Maximal Variants of the Set Derivation Mode / R. Freund, A. Alhazov, S. Verlan et al. / 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
Simulating R Systems by P Systems / R. Freund, S. Ivanov, A. Alhazov et al. / in: "International Conference on Membrane Computing 2016", 10105; Springer LNCS, 2017, ISBN: 978-3-319-54071-9, 51 - 66
Purely Catalytic P Systems over Integers and Their Generative Power / R. Freund, A. Alhazov, S. Ivanov et al. / 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
VINTE: An implementation of internal calculi for Lewis´ logics of counterfactual reasoning / B. Lellmann et al. / 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
A uniform framework for substructural logics with modalities / B. Lellmann et al. / 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
P Systems with Random RHS Exchange / R. Freund et al. / in: "Conference on Mathematical Foundations of Informatics, 2017, Chişinău: Proceedings MFOI, 2017", Acad. of Sciences of Moldova, 2017, 27 - 30
P Systems and the Concept of Fairness / R. Freund, A. Alhazov, S. Ivanov / 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
Sequential Polarized Tissue P Systems with Vesicles of Multisets / R. Freund, A. Alhazov, S. Verlan et al. / 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
Time-freeness and Clock-freeness and Related Concepts in P Systems. / R. Freund, A. Alhazov et al. / 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
P Systems with Randomized Right-hand Sides of Rules / R. Freund, A. Alhazov, S. Ivanov / 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
Unfair P Systems / R. Freund, A. Alhazov, S. Ivanov / 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
The equivalence of two dichotomy conjectures for infinite domain constraint satisfaction problems / M. Kompatscher, M. Pinsker et al. / 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
Transitional P Systems with Randomized Rule Right-hand Sides. / R. Freund, A. Alhazov, S. Ivanov / in: "Preproceedings of the 18th Conference on Membrane Computing, CMC18, Bradford", M. Gheorghe et al. (ed.); IMCS, Bradford, 2017, 23 - 47
Bunched Hypersequent Calculi for Distributive Substructural Logics / R. Ramanayake, A. Ciabattoni / 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
Standard Completeness for extensions of IMTL / P. Baldi, A. Ciabattoni et al. / 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
Completing graphs to metric spaces / M. Kompatscher et al. / in: "Electronic Notes in Discrete Mathematics", 61; Elsevier Science Publishers, 2017, 7 pages
From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction / B. Lellmann, A. Ciabattoni et al. / Electronic Notes in Theoretical Computer Science (ENTCS), 332 (2017), 18 pages
Understanding prescriptive texts: rules and logic elaborated by Mīmāṃsā school / A. Ciabattoni, F. Genco, E. Freschi / Online Journal of World Philosophies, 2 (2017), 2; 19 pages
Justification logic for constructive modal logic / R. Kuznets, S. Marin, L. Strassburger / Report for HAL; Report No. 01614707, 2017; 12 pages

2016

How I stopped worrying about formulas and learned to interpolate / R. Kuznets / Talk: Logic and Theory Group, Institute of Computer Science, University of Bern, Bern, Schweiz (invited); 2016-12-13
Proof-theoretic methods in non-classical logics: decidability of BI / R. Ramanayake / 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
Syntactic Interpolation: Limits and Challenges / R. Kuznets / Talk: Workshop "Proof Theory and Modal Logic", Turin, Italien (invited); 2016-12-02
An introduction to Ramsey theory / M. Kompatscher / Talk: Fall school des Algebra department der Karls-Universität Prag, Prag; 2016-11-26
Interpolation beyond sequent calculi: modal, intuitionistic, and intermediate logics / R. Kuznets / 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
Variants of Energy-Controlled P Systems" Autoren / R. Freund et al. / Talk: Workshop "Unconventional Computing Systems" in commemoration of Yuri Rogozhin, Chisinau; 2016-11-11
Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi / R. Kuznets / 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
Variants of Energy-Controlled P Systems / R. Freund / Talk: NIT 2016, Valencia; 2016-10-18 - 2016-10-21
Red-Green P Automata / R. Freund / Talk: 26.Theorietag Automata und Formale Sprachen, Tannenfelde; 2016-10-04 - 2016-10-07
CERES in intuitionistic logic completeness / A. Leitsch / Talk: Magica 16, Mailand (invited); 2016-09-26 - 2016-09-27
Giles' Game - Recent Developments and Challenges / C. Fermüller / Talk: Magica 16, Mailand (invited); 2016-09-26 - 2016-09-27
Syntax Meets Semantcs to Prove Interpolation / R. Kuznets / Talk: Syntax Meets Semantics 2016, Barcelona, Spanien; 2016-09-05 - 2016-09-09
Hypersequents and Systems of Rules: An Embedding / A. Ciabattoni, F. Genco / Talk: Syntax Meets Semantics 2016, Barcelona; 2016-09-05 - 2016-09-09
Interpreting Sequent Calculi as Client-Server Games / C. Fermüller / Talk: Syntax Meets Semantics 2016, Barcelona (invited); 2016-09-05 - 2016-09-09
Embedding formalisms: hypersequents and two-level systems of rules / A. Ciabattoni, F. Genco / Talk: AIML 2016, Budapest; 2016-08-30 - 2016-09-02; in: "Advances in Modal Logic (AIML 2016)", 11 (2016), ISBN: 978-1848902015; 197 - 216
Analytic Calculi for Non-Classical Logics: Theory and Applications / A. Ciabattoni / 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
Constraint satisfaction problems over the random poset / M. Kompatscher / Talk: Logic Colloquium 2016, Leeds. GB; 2016-08-01 - 2016-08-06
Simulating R Systems by P Systems / R. Freund et al. / 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
Maximal Variants of the Set Derivation Mode / R. Freund et al. / 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
Semilinear Sets, Register Machines, and Integer Vector Addition (P) Systems / R. Freund et al. / 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
Purely Catalytic P Systems over Integers and Their Generative Power / R. Freund et al. / 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
Computations on a Moebius Rope / R. Freund / Talk: 17th International Conference on Membrane Computing (CMC17), Mailand; 2016-07-25 - 2016-07-29
P Systems Working in Set Modes / R. Freund / 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
Extended Spiking Neural P Systems with States / R. Freund, A. Alhazov, S. Ivanov / 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
Contextual Array Grammars with Matrix and Regular Control / R. Freund, H. Fernau et al. / 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
Models of Grammars Inspired by Marcus Contextual Grammars / R. Freund / Talk: DCFS 2016, Bucharest; 2016-07-05 - 2016-07-08
From Axioms to Proof Rules, Then Add Quantifiers / R. Ramanayake / Talk: 2nd International workshop on Automated Reasoning in Quantified Non-Classical Logics ARQNL 2016, Coimbra (invited); 2016-07-01
Inducing Syntactic Cut-Elimination for Indexed Nested Sequents / R. Ramanayake / 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
Schematic Cut Elimination and the Ordered Pigeonhole Principle / A. Leitsch, D. Cerna / 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
System Description: GAPT 2.0 / S. Hetzl, G. Reis, M. Riener, S. Wolfsteiner, S. Zivota, G. Ebner / Talk: International Joint Conference on Automated Reasoning, Coimbra, Portugal; 2016-06-27 - 2016-07-02
A Calculus for Rational Łukasiewicz Logic and Related Systems. / P. Baldi / 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
L ukasiewicz Public Announcement Logic / L. Cabrer et al. / 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
The future of MFL: pure math or seriously interdisciplinary? / C. Fermüller / Talk: The Future of Mathematical Fuzzy Logic, Prague; 2016-06-16 - 2016-06-18
The Next Whisky Bar / G. Salzer, M. Hermann et al. / 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
Complexity classification for the binary branching semilinear-order constraint satisfaction problems / T. Van Pham et al. / Talk: Arbeitstagung Allgemeine Algebra 92, Prag (invited); 2016-05-27 - 2016-05-29
CSPs over the random partial order / M. Kompatscher / Talk: AAA92 (92. Allgemeine Arbeitstagung Algebra), Prag; 2016-05-27 - 2016-05-29
Craig and Lyndon Interpolation Via Labelled Sequent Calculi / R. Kuznets / 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
Logical Consequence and Belief Change Arising From Semi-Abstract Argumentation / C. Fermüller / Talk: Workshop on New Trends in Belief Change, Vienna; 2016-05-10
Systematic proof theory for substructural logics and applications / A. Ciabattoni / Talk: Mathematics for Computation, Niederaltaich; 2016-05-08 - 2016-05-13
A complexity dichotomy for Poset-SAT / M. Kompatscher / Talk: Algebra Seminar, Wien; 2016-04-08
As Close as It Gets / G. Salzer, M. Behrisch, M. Hermann / 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
2^omega many maximal-closed subgroups of Sym(omega) / M. Kompatscher / Talk: New Pathways between Group Theory and Model Theory, Mülheim an der Ruhr; 2016-02-01 - 2016-02-04
Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics / T. Dalmonte, B. Lellmann, N. Olivetti, E. Pimentel / 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
Interpolation Method for Multicomponent Sequent Calculi / R. Kuznets / 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
Craig Interpolation via Hypersequents / R. Kuznets / 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
Game semantics for vague quantification / C. Fermüller / in: "The Logica Yearbook 2015", issued by: Pavel Arazim, Michal Dancak; College Publications, 2016, (invited), ISBN: 978-1-84890-213-8, 71 - 86
Eighth Workshop on Non-Classical Models of Automata and Applications (NCMA 2016) / R. Freund, H. Bordihn et al. / OCG (Österreichische Computer Gesellschaft), Wien, 2016, ISBN: 978-3-903035-10-2; 300 pages
Weak Arithmetical Interpretations for the Logic of Proofs / R. Kuznets, T. Studer / Logic Journal of the IGPL, 24 (2016), 3; 424 - 440
Grafting Hypersequents onto Nested Sequents / R. Kuznets, B. Lellmann / Logic Journal of the IGPL, 24 (2016), 3; 375 - 423
Densification of FL chains via residuated frames / P. Baldi, K. Terui / Algebra Universalis, 75 (2016), 2; 169 - 195
Proof theory of witnesses Gödel logic: A negative result / M. Baaz, A. Ciabattoni / Journal of Logic and Computation, 26 (2016), 1; 51 - 64
Preface / R. Freund et al. / Fundamenta Informaticae, 148 (2016), 3-4
Natural dualities through product representations: bilattices and beyond / L. Cabrer et al. / Studia Logica, 104 (2016), 3; 567 - 592
Classifying $\mathsf{GL}(n,\mathbb Z)$-orbits of points and rational subspaces. / L. Cabrer et al. / Discrete And Continuous Dynamical Systems, 36 (2016), 4723 - 4738
Idempotent Endomorphisms of free MV-algebras and unital $\ell$-groups / L. Cabrer et al. / Journal of Pure and Applied Algebra, 221 (2016), 908 - 934
MV-algebras, infinite dimensional polyhedra, and natural dualities / L. Cabrer et al. / Archive for Mathematical Logic, 1603.01005 (2016), 1603.01005
System Description: GAPT 2.0 / G. Ebner, S. Hetzl, G. Reis, M. Riener, S. Wolfsteiner, S. Zivota / Lecture Notes in Computer Science, 9706 (2016), 293 - 301
Power and Limits of Structural Display Rules / R. Ramanayake, A. Ciabattoni / ACM Transactions on Computational Logic, 3 (2016), 17
Distance constraint satisfaction problems / M. Pinsker et al. / Information and Computation, 247 (2016), 87 - 105
Schematic Cut elimination and the Ordered Pigeonhole Principle / A. Leitsch, D. Cerna / CoRR - Computing Research Repository, abs/1601.06548 (2016), abs/1601.06548
The Reducts of the Homogeneous Binary Branching C-relation / T. Van Pham et al. / Journal of Symbolic Logic, 81 (2016), 4; 1255 - 1297
Hypersequent Rules with Restricted Contexts for Propositional Modal Logics / B. Lellmann / Theoretical Computer Science, 656 (2016), 76 - 105
Non-commutative classical arithmetical sequent calculi are intuitionistic / R. Ramanayake / Logic Journal of the IGPL, 24 (2016), 441; 452
Going Beyond Turing with {P} Automata: Regular Observer {$\omega$}-Languages and Partial Adult Halting / R. Freund, L. Staiger, S. Ivanov / International Journal of Unconventional Computing, 12 (2016), 1; 51 - 69
A counterexample to the reconstruction of omega-categorical structures from their endomorphism monoids / M. Kompatscher, M. Pinsker et al. / accepted for publication in Israel Journal of Mathematics (2016)
On matrices, Nmatrices and games / C. Fermüller / Journal of Logic and Computation, 26 (2016), 1; 189 - 211
Representing strategic games and their equilibria in many-valued logics / L. Behounek, P. Cintula, C. Fermüller, T. Kroupa / Logic Journal of the IGPL, 24 (2016), 3; 238 - 267
Computational completeness of complete, star-like, and linear hybrid networks of evolutionary processors with a small number of processors / R. Freund, A. Alhazov et al. / Natural Computing, 15 (2016), 1; 51 - 68
Semantic Games with Backtracking for T-norm Based Fuzzy Logics / C. Fermüller / Journal of Multiple-Valued Logic and Soft Computing, 26 (2016), 1-2; 157 - 173
Proof theory of witnessed G{"{o}}del logic: {A} negative result / A. Ciabattoni, M. Baaz / Journal of Logic and Computation, 26 (2016), 1; 51 - 64
Proof search and Co-NP completeness for many-valued logics / A. Ciabattoni, F. Montagna et al. / Fuzzy Sets and Systems, 296 (2016), 130 - 149
Constraint Satisfaction Problems for Reducts of Homogeneous Graphs / M. Pinsker et al. / in: "Proceedings of 43rd International Colloquium on Automata, Languages, and Programming, ICALP", 119; Springer, 2016, 1 - 14
The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems / M. Pinsker et al. / 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
P Automata: New ideas and results / R. Freund / 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
Standard Sequent Calculi for Lewis' Logics of Counterfactuals / B. Lellmann et al. / 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
Chip-firing game and a partial Tutte polynomial for Eulerian digraphs / T. Van Pham et al. / Electronic Journal of Combinatorics, 23 (2016), 1
Equations in oligomorphic clones and the Constraint Satisfaction Problem for $ω$-categorical structures / M. Pinsker, M. Kompatscher et al. / CoRR - Computing Research Repository, abs/1612.07551 (2016)
Canonical Functions: a proof via topological dynamics / M. Pinsker et al. / CoRR - Computing Research Repository, abs/1610.09660 (2016)
Constraint satisfaction problems for reducts of homogeneous graphs / M. Pinsker et al. / CoRR - Computing Research Repository, abs/1602.05819 (2016)
The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems / M. Pinsker et al. / CoRR - Computing Research Repository, abs/1602.04353 (2016)

2015

Proof Search and Co-NP Completeness for Many-Valued Logics / A. Ciabattoni / Talk: Konferenz zu Coherence & Truth-In memoriam Franco Montagna, Pontignano (invited); 2015-12-16 - 2015-12-18
Uniform Birkhoff / M. Pinsker / Talk: Technische Universität Dresden, Dresden; 2015-12-09 - 2015-12-14
Maximal-closed subgroups of Sym(omega) via Henson digraphs / M. Kompatscher / Talk: KAFKA Seminar, Prag, Karls Universität; 2015-12-07
Uniform Birkhoff / M. Pinsker / Talk: Workshop Duality in Computer Science, Dagstuhl; 2015-11-25 - 2015-11-30
A counterexample on the reconstruction of oligomorphic clones / M. Kompatscher / Talk: Workshop on Homogeneous Structures, Banff International Research Station, Banff, (invited); 2015-11-08 - 2015-11-13
Conjectures for clones over finitely bounded homogenous structures / M. Pinsker / Talk: Workshop on Homogeneous Structures, Banff International Research Station, Banff (invited); 2015-11-08 - 2015-11-13
On the context-dependence of Many / M. Hofer / 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
Interpolation Method for Multicomponent Sequent Calculi / R. Kuznets / Talk: Seminar "Logic and Theoretical Computer Science", Universität Bern, Bern, Schweiz (invited); 2015-10-29
Reducts of Henson digraphs / M. Kompatscher / Talk: Wiener Algebra Seminar, Wien; 2015-10-23
Combining Fuzziness and Context Sensitivity in Game Based Models of Vague Quantification / C. Fermüller / 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
Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic Logic / M. Baaz, C. Fermüller / 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
Algebraic methods in constraint satisfaction / M. Kompatscher / Talk: Workshop Matej-Bel-Universität in Banská Bystrica, Slowakei, Banska Bystrica (invited); 2015-10-06
Realization Theorems for Justification Logics: Full Modularity / A. Borg, R. Kuznets / 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
Linear Nested Sequents, 2-sequents and Hypersequents / B. Lellmann / 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
Lorenzen-style Dialogues and Substructural Sequent Systems / C. Fermüller / Talk: Workshop on Logica Dialogue Games, Wien; 2015-09-21 - 2015-09-26
Equilibrium Semantics for IF-Logic and Many-Valued Connectives / C. Fermüller / Talk: TbiLLC 2015: 11th International Tbilisi Symposium on Language, Logic and Computation, Tiflis; 2015-09-21 - 2015-09-26
Justification Logic / R. Kuznets / Talk: Eleventh International Tbilisi Summer School in Logic and Language, Tiflis, Georgien (invited); 2015-09-14 - 2015-09-18
The Framework of Linear Nested Sequents / B. Lellmann / Talk: Theory and Logic Group Seminar, Wien; 2015-09-04
Conservativity and internal calculi via the Display Calculus. / R. Ramanayake / Talk: GeTFun 3.0 Workshop, Nat@logic 2015, Natal; 2015-08-31 - 2015-09-04
Grafting Hypersequents onto Nested Sequents / B. Lellmann / Talk: GeTFun 3.0 Workshop, Nat@logic 2015, Natal; 2015-08-31 - 2015-09-04
Proof Theoretic Reasoning / B. Lellmann, R. Ramanayake / Talk: TRS Reasoning School, Nat@logic 2015, Natal; 2015-08-31 - 2015-09-04
Going Beyond Turing with Extended Spiking Neural P Systems with White Hole Rules / R. Freund, M. Oswald et al. / 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
Solving SAT with Antimatter in Membrane Computing / R. Freund et al. / 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
Small Catalytic P Systems / R. Freund et al. / 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
Going Beyond Turing with P Automata: Partial Adult Halting and Regular Ovserver Languages / R. Freund, L. Staiger et al. / 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
Going Beyond Turing with Watson-Crick T0L Systems / R. Freund et al. / Poster: UCNC 2015, Auckland; 2015-08-30 - 2015-09-03
Computational Completeness and Universality in Membrane Computing / R. Freund / Keynote Lecture: CMC'16 Membrane Computing, Valencia; 2015-08-17 - 2015-08-21
Variants of P Systems with Toxic Objects / R. Freund et al. / 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
P Systems with Generalized Multisets Over Totally Ordered Abelian Groups / R. Freund et al. / 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
New Results for Small Universal P Systems Based on the Simulation of Generalized Register Machines and Generalized Counter Automata / R. Freund, A. Alhazov / Talk: CMC'16 Membrane Computing, Valencia; 2015-08-17 - 2015-08-21
The Set-Maximally Parallel Derivation Mode / R. Freund, S. Verlan / Talk: CMC'16 Membrane Computing, Valencia; 2015-08-17 - 2015-08-21
P Systems with Multiple Catalysts of the Same Name / R. Freund, S. Ivanov / Talk: CMC'16 Membrane Computing, Valencia; 2015-08-17 - 2015-08-21
Proof-theoretic Approach to Craig Interpolation / R. Kuznets / Keynote Lecture: Special Session on Proof Theory at the Logic Colloquium 2015, Helsinki, Finnland (invited); 2015-08-03 - 2015-08-08
Topological clones / M. Pinsker / Talk: EPSRC Durham Symposium Permutation Groups and Transformation Semigroups, Durham; 2015-07-20 - 2015-07-30
A Note on the Complexity of Classical and Intuitionistic Proofs / A. Leitsch, M. Baaz, G. Reis / 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
Connecting Lorenzen style games and Gentzen style calculi / C. Fermüller / Keynote Lecture: CiE 2015 - Evolving Computability, Bucharest (invited); 2015-06-29 - 2015-07-03
Algebraic proof theory for substructural logics and applications / A. Ciabattoni / Keynote Lecture: Topology, Algebra, and Categories in Logic 2015 (TACL 2015), Ischia (invited); 2015-06-21 - 2015-06-26
Endomorphism monoids of omega-categorical structures / M. Kompatscher / Talk: Topology, Algebra, and Categories in Logic 2015 (TACL 2015), Ischia; 2015-06-21 - 2015-06-26
Topological clones / M. Pinsker / Talk: Topology, Algebra, and Categories in Logic 2015 (TACL 2015), Ischia; 2015-06-21 - 2015-06-26
Internal calculi for substructural logics via syntactic proofs of conservativity. / R. Ramanayake / Talk: Topology, Algebra, and Categories in Logic 2015 (TACL), Ischia; 2015-06-21 - 2015-06-26
Game Semantics for Vague Quantifiers / C. Fermüller / Talk: Logica 2015, Hejnice; 2015-06-15 - 2015-06-19
Proof theory meets semantics: the case of substructural logics / A. Ciabattoni / 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
The display calculus and conservativity for substructural logics. / R. Ramanayake / Talk: BLAST2015@unt conference, Denton, Texas; 2015-06-08 - 2015-06-12
Hintikka-style semantic games for many-valued logics / C. Fermüller / Talk: Seminar of Logic Group at University of Milano, Mailand (invited); 2015-05-28
Standard Completeness for Uninorm-Based Logics / P. Baldi, A. Ciabattoni / 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
Dichotomy results for constraint satisfaction problems / M. Kompatscher / Talk: PhDs in Logic VII Konferenz, Wien; 2015-05-15
(Algebraic) Proof Theory for Substructural Logics / A. Ciabattoni / Keynote Lecture: Algebra and Coalgebra meet Proof Theory VI, 2015, Delft (invited); 2015-05-06 - 2015-05-08
Algebra and Coalgebra meet Proof Theory. Between Axioms and Structural Rules in the Display Calculus / R. Ramanayake / Poster: ALCOP VI, Delft University of Technology, Netherlands, Delft; 2015-05-06 - 2015-05-08
The 42 reducts of the random ordered graph / M. Pinsker et al. / accepted for publication in Proceedings of the London Mathematical Society
Grafted Hypersequents / R. Kuznets / 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
Why Computer Science Can't Get Enough of Clones / G. Salzer / Keynote Lecture: AAA89, Dresden (invited); 2015-02-27 - 2015-03-01
How to Go Beyond Turing with P Automata: Time Travels, Regular Observer w-Languages, and Partial Adult Halting / R. Freund, S. Ivanov et al. / 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
On The Semantics of Annihilation Rules in Membrane Computing / R. Freund et al. / 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
Extended Spiking Neural P Systems with White Hole Rules / R. Freund, M. Oswald, A. Alhazov et al. / 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
Variants of P Systems with Toxic Objects / R. Freund, A. Alhazov et al. / 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
Polarizationless P Systems with One Active Membrane / R. Freund, A. Alhazov / 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
Deterministic Non-cooperative P Systems with Strong Context Conditions / R. Freund, A. Alhazov / 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
Density Elimination / P. Baldi / Talk: Workshop on Admissible Rules and Unification II, Les Diablerets, Les Diablerets; 2015-01-30 - 2015-02-02
SUBRAMANIAN, Regulated Contextual Array Grammars / R. Freund et al. / in: "Annals of the University of Bucharest Informatics Series", 3; Editura Universitatii di Bucuresti, 2015, ISSN: 2067-9009, 63 - 79
Algebraic Representation of Regular Array Languages on Cayley Graphs / R. Freund, M. Oswald et al. / in: "Discrete Mathematics and Computer Science", Gh. Paun et al. (ed.); Editura Academiei Romane, 2015, 165 - 189
Epsilon Terms in Intuitionistic Sequent Calculus / B. Woltzenlogel-Paleo, G. Reis / in: "Workshop on Hilbert's Epsilon and Tau in Logic, Informatics and Linguistics", Springer International Publishing, 2015, 1 - 4
On Proof Mining by Cut-Elimination / A. Leitsch et al. / 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
Small P Systems Defining Non-semilinear Sets / R. Freund, A. Alhazov / in: "Automata, Universality, Computation", A. Adamatzky (ed.); Springer International Publishing, Heidelberg, 2015, ISSN: 2194-7287, 183 - 219
Seventh Workshop on Non-Classical Models of Automata and Applications / R. Freund et al. / OCG (Österreichische Computer Gesellschaft), Wien, 2015, ISBN: 978-3-903035-07-2; 206 pages
Handbook of Mathematical Fuzzy Logic, Volume 3 / P. Cintula, C. Fermüller, C. Noguera / in series "Mathematical Logic and Foundations", series editor: S. Artemov et al.; College Publications, 2015, ISBN: 978-1-84890-193-3
All about Proofs, Proofs for All / B. Woltzenlogel-Paleo et al. / in series "Mathematical Logic and Foundations", series editor: B. Woltzenlogel-Paleo et al.; College Publications, 2015, ISBN: 978-1-84890-166-7
Modal Interpolation via Nested Sequents / R. Kuznets, M. Fitting / Annals of Pure and Applied Logic, 166 (2015), 3; 274 - 305
The Finite Index Restriction Meets Hybrid Modes in Cooperating Distributed Grammar Systems / R. Freund, H. Fernau et al. / International Journal of Foundations of Computer Science, 26 (2015), 8; 1167 - 1188
Proof Search and Co-NP Completeness for Many-Valued Logics / A. Ciabattoni, F. Montagna et al. / Fuzzy Sets and Systems, 5 (2015), 05; 1 - 20
Variants of Small Universal {P} Systems with Catalysts / R. Freund, A. Alhazov / Fundamenta Informaticae, 138 (2015), 1-2; 227 - 250
Catalytic and Purely Catalytic {P} Systems and {P} Automata: Control Mechanisms for Obtaining Computational Completeness / R. Freund, M. Oswald, Gh. Paun / Fundamenta Informaticae, 136 (2015), 1-2; 59 - 84
Contextual array grammars and array {P} systems / R. Freund, H. Fernau et al. / Annals of Mathematics and Artificial Intelligence, 75 (2015), 1-2; 5 - 26
Topological Birkhoff / M. Pinsker et al. / Transactions of the American Mathematical Society, 367 (2015), 2527 - 2549
The 42 reducts of the random ordered graph / M. Pinsker et al. / LMS J. Comput.Math., 111 (2015), 3; 591 - 632
Schaefer's Theorem for Graphs / M. Pinsker et al. / Journal of the ACM, 62 (2015), 3; 1 - 52
Product representation for default bilattices: an application of natural duality theory / L. Cabrer et al. / Journal of Pure and Applied Algebra, 219 (2015), 2962 - 2988
Severi-Bouligand tangents, Frenet frames, Riesz spaces / L. Cabrer, D. Mundici / Advances in Applied Mathematics, 64 (2015), 1 - 20
Admissibility via natural dualities. / L. Cabrer, G Metcalfe / Journal of Pure and Applied Algebra, 219 (2015), 4229 - 4253
Exact unification and admissibility. / L. Cabrer, G Metcalfe / Logical Methods in Computer Science, 11 (2015), 1 - 15
A general framework for product representations: bilattices and beyond / L. Cabrer et al. / Logic Journal of the IGPL, 23 (2015), 4; 816 - 841
Uniform proofs of standard completeness for extensions of first-order MTL / P. Baldi, A. Ciabattoni / Theoretical Computer Science, 603 (2015), 43 - 57
Non-commutative classical arithmetical sequent calculi are intuitionistic / R. Ramanayake / accepted for publication in Logic Journal of the IGPL (2015)
Power and Limits of Structural Display Rules / R. Ramanayake / accepted for publication in ACM Transactions on Computational Logic (2015)
Embedding the hypersequent calculus in the display calculus / R. Ramanayake / Journal of Logic and Computation, 3 (2015), 25; 921 - 942
Equilibrium Semantics for IF Logic and Many-Valued Connectives / C. Fermüller, O. Majer / in: "Logic, Language, and Computation. TbiLLC 2015", H Hansen et al. (ed.); Springer, LNCS 10148, 2015, ISBN: 978-3-662-54331-3, 290 - 312
A Connection Between Red-Green Turing Machines and Watson-Crick {T0L} Systems / R. Freund et al. / 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
Higher-Order Modal Logics: Automation and Applications / B. Woltzenlogel-Paleo et al. / in: "Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin", 9203; Springer LNCS, 2015, ISBN: 978-3-319-21768-0, 32 - 74
Interacting with Modal Logics in the Coq Proof Assistant / B. Woltzenlogel-Paleo et al. / 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
Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses / B. Woltzenlogel-Paleo et al. / 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
Dialogues for proof search / J. Alama / in: "ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics", 33; C. Benzmüller et al. (ed.); EasyChair, 2015, ISSN: 2040-557x, 65 - 70
Non-isometric Contextual Array Grammars with Regular Control and Local Selectors / R. Freund et al. / 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
Give me another one! / M. Behrisch, G. Salzer et al. / accepted for publication in: "Proceedings of 26th International Symposium on Algorithms and Computation (ISAAC 2015)", E. Elbassioni et al. (ed.); Springer LNCS, 2015
Mimamsa Deontic Logic: Proof Theory and Applications / B. Lellmann, A. Ciabattoni, E. Freschi, F. Genco / 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
Proof Search in Nested Sequent Calculi / B. Lellmann, E. Pimentel / 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
Classifying orbits of the affine group over the integers / L. Cabrer et al. / Ergodic Theory and Dynamical Systems, 37 (2015), 1 pages
Permutations on the Random Permutation / M. Pinsker et al. / Electronic Journal of Combinatorics, 22 (2015), 2
Minimal Distance of Propositional Models / G. Salzer, M. Behrisch, M. Hermann et al. / CoRR - Computing Research Repository, 1502.06761 (2015), abs/1502.06761; 28 pages
Grafting Hypersequents onto Nested Sequents / R. Kuznets, B. Lellmann / Report for arXiv; Report No. 1502.00814, 2015; 41 pages

2014

Vagueness and logical dialogue games / C. Fermüller / Talk: Workshop on Vagueness via Nonclassical Logics, Sydbey, Australien; 2014-12-17 - 2014-12-20
New views into dialogue games for classical and intuitionistic logic / J. Alama / Talk: Seminar Faculty of Information Systems and Applied Computer Science @ University of Bamberg, Bamberg, Germany (invited); 2014-12-16
From truth-functional to substructural logics via semantic games / C. Fermüller / Talk: AsubL take 5, Mrlbourne, Australien; 2014-12-13 - 2014-12-15
A proof theoretic approach to Standard completeness / A. Ciabattoni / Talk: Konference: Beyond True and False: Logic, Algebra and Topology, Florenz (invited); 2014-12-03 - 2014-12-05
Constraint Satisfaction on infinite domains (tutorial) / M. Pinsker / Talk: Workshop of Banff International Research Station- Algebraic and Model Theoretical Methods in Constraint Satisfaction, Banff (invited); 2014-11-24
New results on Hilbert's 24th problem / J. Alama / Talk: Algebra and Logic Seminar, Center for Mathematics and its Applications, New University of Lisbon, Caparica, Portugal (invited); 2014-11-19
Algebraic and model theoretic methods in constraint satisfaction / M. Pinsker / Talk: CUNY Logic Workshop, New York (invited); 2014-11-14
Projective clone homomorphisms / M. Pinsker / Talk: STRUCO Meeting, Charles University Prague,Prag (invited); 2014-10-28
Reverse-engineering mathematics / J. Alama / Talk: Seminar Young India Fellows @ Ashoka University, Sonipat, Indien (invited); 2014-10-27
Algebraic and model theoretic methods in constraint satisfaction / M. Pinsker / Talk: Doc-Course Prag, Charles University Prague,Prag (invited); 2014-10-23
Integer Sequences, Recursive Lemma Elimination and Combinatorics / D. Cerna / Talk: DIMACS Conference on Challenges of Identifying Integer Sequences, New York; 2014-10-09 - 2014-10-10
"Weak Arithmetical Interpretations for the Logic of Proofs / R. Kuznets, T. Studer / Talk: ISRALOG´14: Israeli Workshop on Non-Classical Logics and Their Applications, Haifa, Israel; 2014-09-29 - 2014-10-01
n Equilibrium Semantics for IF-Logic and Many-Valued Connectives / C. Fermüller / Talk: ISRALOG 2014, Haifa, Israel; 2014-09-29 - 2014-10-01
Tools for the Investigation of Substructural and Paraconsistent Logics / A. Ciabattoni, L. Spendier / 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
P Systems with Anti-Matter / R. Freund, A. Alhazov et al. / 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
Red-Green P Automata / R. Freund et al. / 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
Promoters and Inhibitors in Purely Catalytic {P} Systems / R. Freund, S. Verlan, A. Alhazov / 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
P Systems with Toxic Objects / R. Freund, A. Alhazov / 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
Priorities, Promoters and Inhibitors in Deterministic Non-cooperative P Systems / R. Freund, A. Alhazov / 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
P Systems with Anti-Matter / R. Freund, A. Alhazov et al. / 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
Automating Gödel´s Ontological Proof of God´s Existence with Higher-order Automated Theorem Provers / B. Woltzenlogel-Paleo, C. Benzmüller / 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
Dialogues for proof search / J. Alama / Talk: Automated Reasoning in Quantified Non-Classical Logics (VSL 2014), Wien; 2014-07-23
Separating Truth and Proof in the Logic of Proofs / R. Kuznets / Keynote Lecture: VSL-GetFun Workshop, Wien (invited); 2014-07-22 - 2014-07-23
Applications of Nested-Sequent Proof Systems for Modal Logics to the Craig Interpolation Property / M. Fitting, R. Kuznets / Talk: VSL - Nonclassical Proofs Workshop, Wien; 2014-07-20
Quati: An Automated Tool for Proving Permutation Lemmas / G. Reis et al. / 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
Embeddings into BiFL-algebras and conservativity / N. Galatos / Talk: VSL - LADT Workshop, Wien; 2014-07-16 - 2014-07-19
Axioms vs Hypersequent Rules with Context Restrictions: Theory and Applications / B. Lellmann / 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
Five Nodes Are Sufficient for Hybrid Networks of Evolutionary Processors to Be Computationally Complete / R. Freund, A. Alhazov, Y. Rogozhin / 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
A proof-theoretical approach to standard completeness / P. Baldi / Talk: Workshop on Gentzen Systems and Beyond 3. Vienna, Wien; 2014-07-13
Mathematical Proof Analysis / A. Leitsch / Keynote Lecture: VSL 2014, Wien; 2014-07-12 - 2014-07-26
Clones on Ramsey Structures / M. Pinsker / Talk: Konferenz Algebra and Clones Fest, Prag; 2014-06-30 - 2014-07-03
Variants of P Automata / R. Freund / 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
P Systems with Matter and Anti-Matter / R. Freund, Gh. Paun, A. Alhazov et al. / 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
Without E / J. Alama / accepted as talk for: Logica 2014, Hejnice, Tschechien; 2014-06-17 - 2014-06-20
Cooperating Distributed Grammar Systems of Finite Index Working in Hybrid Modes / R. Freund, H. Fernau, M Holzer / 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
Semantic Games with Backtracking for Fuzzy Logics / C. Fermüller / Talk: ISMVL 2014, Bremen; 2014-05-19 - 2014-05-21; in: "Proceedings of 44th International Symposium on Multiple-Valued Logic, {ISMVL}", (2014), 38 - 43
Reconstructing structures from their abstract clones / M. Pinsker / Talk: ASL North American Annual Meeting (Special Session on Universal Algebra and CSPs, Boulder (invited); 2014-05-19 - 2014-05-22
Studying logics via structural proof theory / R. Ramanayake / Talk: 6th International Conference of "Teaching Logic and Prospects of its Development, Kiew, Ukraine (invited); 2014-05-15 - 2014-05-16
Formalization and Automated Verification of Gödel´s Proof of God´s Existence / B. Woltzenlogel-Paleo, C. Benzmüller / Talk: 4th World Congress on the Square of Opposition, Vatikan; 2014-05-05 - 2014-05-09
Introduction to Constraint Satisfaction over infinite structures / M. Pinsker / Talk: Logic Seminar of the University of Colorado, Boulder (invited); 2014-04-28
Decomposing function clones on infinite sets / M. Pinsker / Talk: Algebra Seminar at University of Colorado, Boulder (invited); 2014-04-28
Tools for the investigation of substructural and paraconsistent logics / A. Ciabattoni / Keynote Lecture: XXV incontro dell'Associazione Italiana di Logica e sue Applicazioni, Pisa (invited); 2014-04-14 - 2014-04-17
Proof theory for lattice-ordered groups / N. Galatos / Talk: Brazilian Logic Conference, Petropolis; 2014-04-07 - 2014-04-11
A survey of residuated frames with connections to semirings and to display logic / N. Galatos / Talk: Prague seminar of substructural logics, Prag; 2014-03-28 - 2014-03-29
Density Elimination and Standard Completeness for extensions of UL and MTL / P. Baldi / Talk: Prague Seminar on Substructural logic, Prag; 2014-03-28 - 2014-03-29
Display calculi in non-classical logics / R. Ramanayake / Talk: Prague Seminar on Substructural Logics, Prag, Czech Republic; 2014-03-28 - 2014-03-29
Non classical proofs: Theory, applications and tools / A. Ciabattoni / Talk: Prague Seminar on Substructural Logics, Prag, Czech Republic; 2014-03-28 - 2014-03-29
Hintikka-Style Semantic Games for Fuzzy Logics / C. Fermüller / 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
Standard completeness: proof-theoretical and algebraic approaches / P. Baldi, A. Ciabattoni, K. Terui et al. / Talk: 35th Linz Seminar of Fuzzy Set Theory, Linz; 2014-02-18 - 2014-02-22
(Algebraic) Proof Theory for Substructural Logics and Applications / A. Ciabattoni / Talk: 87. Arbeitstagung Allgemeine Algebra (AAA87), Linz (invited); 2014-02-07 - 2014-02-09
The topology of algebras, or: Polish clones / M. Pinsker / Talk: Arbeitstagung Allgemeine Algebra, Linz; 2014-02-06 - 2014-02-09
P Systems with Anti-Matter / R. Freund, Gh. Paun / 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
Red-Green P Automata / R. Freund, E. Csuhaj-Varjú et al. / 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
Length P Systems with a Lone Traveler / R. Freund, A. Alhazov et al. / 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
Priorities, Promoters and Inhibitors in Deterministic Non-Cooperative P Systems / R. Freund, A. Alhazov / 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
Matter and Anti-Matter in Membrane Systems / R. Freund et al. / 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
Parallel Dialogue Games and Hypersequents / C. Fermüller / Talk: Workshop on Proofs as Processes, Kanazawa, Japan; 2014-01-20 - 2014-01-21
Topological Birkhoff and Constraint Satisfaction / M. Pinsker / Talk: LIAFA, Automates et Applications Seminar, Paris (invited); 2014-01-15
An Extended Framework for Specifying and Reasoning about Proof Systems / G. Reis, V. Nigam et al. / accepted for publication in Journal of Logic and Computation
Small P Systems Defining Non-semilinear Sets / R. Freund, A. Alhazov / in: "Automata, Computation, Universality", A. Adamatzky (ed.); Springer International Publishing, Heidelberg, 2014, ISBN: 978-3-319-09039-9, 183 - 217
Bridges between contextual linguistic models of vagueness and t-norm based fuzzy logic / C. Fermüller, Ch Roschger / in: "Petr Hajek on Mathematical Fuzzy Logic", F. Montagna (ed.); Springer, Heidelberg, 2014, ISBN: 978-3-319-06232-7, 91 - 116
Generating and accepting P systems with minimal left and right insertion and deletion / R. Freund, Y. Rogozhin, S. Verlan / in: "Natural Computing - An international Journal", J. Ferrandez et al. (ed.); Springer, 2014, ISSN: 1567-7818, 257 - 268
GSB 2014 Electronic Proceedings / R. Kuznets, G Metcalfe / Workshop "Gentzen Systems and Beyond, 2014
Logical omniscience as infeasibility / S. Artemov, R. Kuznets / Annals of Pure and Applied Logic, 165 (2014), 1; 6 - 25
Realizing public announcements by justifications / S. Bucheli, R. Kuznets, T. Studer / Journal of Computer and System Sciences, 80 (2014), 6; 1046 - 1066
Randomized game semantics for semi-fuzzy quantifiers / C. Fermüller, Ch Roschger / Logic Journal of the IGPL, 22 (2014), 3; 413 - 439
Reducts of the random partial order. / M. Pinsker et al. / Advances in Mathematics, 267 (2014), 94 - 120
Algorithmic introduction of quantified cuts / S. Hetzl, A. Leitsch, G. Reis, D. Weller / Theoretical Computer Science, 549 (2014), 1 - 16
Cut-elimination for Weak Grzegorczyk Logic Go / R. Ramanayake et al. / Studia Logica, 102 (2014), 1; 1 - 27
A note on standard completeness for some extensions of uninorm logic / P. Baldi / Soft Computing, 18 (2014), 8; 1463 - 1470
Taming Paraconsistent (and Other) Logics: An Algorithmic Approach / A. Ciabattoni, L. Spendier et al. / Journal of the ACM, 16 (2014), 1
Cut-Elimination: Syntax and Semantics / M. Baaz, A. Leitsch / Studia Logica, 102 (2014), 6; 1217 - 1244
Hypersequent and Display Calculi - a Unified Perspective / A. Ciabattoni, R. Ramanayake / Studia Logica, 102 (2014), 6; 1245 - 1294
Tarski geometry axioms / Bill Richter, A. Grabowski, J. Alama / Formalized Mathematics, 22 (2014), 2; 167 - 176
Premise selection for mathematics by corpus analysis and kernel methods / J. Alama, T. Heskes, D. Kühlwein, E. Tsivtsivadze, J. Urban / Journal of Automated Reasoning, 52 (2014), 2; 191 - 213
A curious dialogical logic and its composition problem / S. Uckelman, J. Alama, A. Knoks / Journal of Philosophical Logic, 43 (2014), 6; 1065 - 1100
The simplest axiom system for plane hyperbolic geometry revisited, again / J. Alama / Studia Logica, 102 (2014), 3; 609 - 615
From Games to Truth Functions: A Generalization of Giles's Game / C. Fermüller, Ch Roschger / Studia Logica, 102 (2014), 2; 389 - 410
Array Grammars and Automata on Cayley Grids / R. Freund, M. Oswald / Journal of Automata, Languages and Combinatorics, 19 (2014), 1-4; 67 - 80
Antimatter as a Frontier of Tractability in Membrane Computing / R. Freund, A. Alhazov et al. / Fundamenta Informaticae, 134 (2014), 1-2; 83 - 96
Length P Systems / R. Freund, A. Alhazov et al. / Fundamenta Informaticae, 134 (2014), 1-2; 17 - 37
Report on UCNC 2014 / R. Freund, T. Hava et al. / Bulletin of the EATCS, 114 (2014)
Numeric semantics of class diagrams with multiplicity and uniqueness constraints / G. Salzer, I. Feinerer / Software and Systems Modeling, 13 (2014), 3; 1167 - 1187
A note on standard completeness for some extensions of uninorm logic. / P. Baldi / Soft Computing, 18 (2014), 8; 1463 - 1470
Introducing Quantified Cuts in Logic with Equality / S. Hetzl, A. Leitsch, G. Reis, J. Tapolczai, D. Weller / in: "Automated Reasoning - 7th International Joint Conference", issued by: IJCAR; LNCS 8562, Springer, 2014, 240 - 254
Skeptik: A Proof Compression System / B. Woltzenlogel-Paleo et al. / in: "Automated Reasoning - 7th International Joint Conference, IJCAR 2014", Springer LNCS, 2014, ISBN: 978-3-319-08586-9, 374 - 380
On the use of Hesitant Fuzzy Linguistic Term Set in FLINTSTONES. / R. Rodriguez et al. / in: "Fuzzy Systems (FUZZ-IEEE)", issued by: IEEE; IEEE Computer Society Press, 2014, ISBN: 978-1-4799-2073-0, 784 - 791
Preface / A. Ciabattoni, M. Baaz, D.M. Gabbay, S. Hetzl, D. Weller / Journal of Logic and Computation, 1 (2014)
Algorithmic Introduction of Quantified Cuts / S. Hetzl, G. Reis, D. Weller / CoRR - Computing Research Repository, abs/1401.4330 (2014), 38 pages
Projective clone homomorphisms / M. Pinsker et al. / CoRR - Computing Research Repository, arXiv:1409.4601 (2014), 12 pages
Introducing Quantified Cuts in Logic with Equality / A. Leitsch, S. Hetzl, G. Reis, D. Weller et al. / CoRR - Computing Research Repository, abs/1402.2474 (2014), abs/1402.2474; 16 pages

2013

Reconstructing omega-categorical structures from their clones / M. Pinsker / Talk: Oberseminar mathematische Logik, Universitaet Bonn, Bonn; 2013-12-17
Game Based Interpretations of Mathematical Fuzzy Logics / C. Fermüller / Talk: 2nd Workshop on Algebraic Logics and Mathematical Fuzzy Logic, Prag; 2013-11-29
Topological Birkhoff and reconstructing the random graph / M. Pinsker / Talk: Hausdorff Research Institute for Mathematics, Bonn; 2013-11-24
Power andl limits of structural rules / A. Ciabattoni / Talk: LIX Colloquium 2013: Theory and Application of Formal Proofs, Paris, France (invited); 2013-11-05 - 2013-11-07
Reconstructing the topology of clones, Workshop on Homogeneous Structures / M. Pinsker / Talk: Workshop on Homogeneous Structures, Hausdorff Research Institute for Mathematics, Bonn; 2013-10-28
Methods of Cut-Elimination / A. Leitsch / Talk: Ninth International Tbilisi Summer School in Logic and Language, Tbilisi, Georgia; 2013-09-30 - 2013-10-04
Introduction to the display calculus / R. Ramanayake / Talk: Ninth International Tbilisi Summer School in Logic and Language, Tbilisi, Georgia; 2013-09-30 - 2013-10-04
Eine natürliche Membranhierachie / R. Freund, H. Fernau et al. / Talk: Theorietag Automaten und Formale Sprachen, Ilmenau; 2013-09-25 - 2013-09-27; in: "Automaten und Formale Sprachen", (2013), 49 - 52
Array insertion and deletion P systems / R. Freund, H. Fernau, M. Oswald et al. / Talk: Theorietag Automaten und Formale Sprachen, Ilmenau; 2013-09-25 - 2013-09-27; in: "Automaten und Formale Sprachen", (2013), 46 - 49
Analytic calculi for non-classical logics: The Baha'i Method / A. Ciabattoni / Talk: Tenth International Tbilisi Symposium on Language, Logic and Computation, TbiLLC 2013, Tbilisi, Georgia (invited); 2013-09-23 - 2013-09-27
Hypersequent and Labelled Calculi for Intermediate Logics / A. Ciabattoni, P. Maffezioli, L. Spendier / 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
Compression of Propositional Resolution Proofs by Lowering Subproofs / B. Woltzenlogel-Paleo, J. Boudou / 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
Correspondence between modal Hilbert axioms and sequent rules with an application to S5 / B. Lellmann, D. Pattinson / Talk: Tableaux 2013, Nancy; 2013-09-16 - 2013-09-19; in: "Proceedings of the Tableaux 13, LNCS 8123", (2013), 219 - 233
Cut-Introduction: GAPT System Demonstration / G. Reis / Talk: 3rd workshop of the Amadeus project on Proof Compression (co-located with Tableaux 2013), Nancy; 2013-09-16
The Fourth Answer Set Programming Competition: Preliminary Report / 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 / 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
VCWC: A Versioning Competition Workflow Compiler / G. Charwat, G. Ianni, T. Krennwallner, M. Kronegger, A. Pfandler, C. Redl, M. Schwengerer, L. Spendier, J. P. Wallner, G. Xiao / 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
Many Values in Semantic Games / C. Fermüller / Talk: Logica, Hejnice, Czech Republic; 2013-09-13
How to Obtain Computational Completeness in P Systems with One Catalyst / R. Freund, Gh. Paun / 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
Checking Proof Transformations with ASP / G. Reis / Talk: ICLP 2013, Istanbul; 2013-08-24 - 2013-08-29
Flattening in (tissue) P systems / R. Freund, S. Verlan et al. / 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
Computational Completeness withe Generationg and Accepting P Systems Using Minimal Left and Right Insertion and Deletion / R. Freund, S. Verlan et al. / 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
Control Mechnisms for Obtaining Comutational Completeness / R. Freund, M. Oswald, Gh. Paun / 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
Undecidability and Computational Completeness for P Systems with One- and Two- dimensional Array Insertion and Deletion Rules / R. Freund, H. Fernau, M. Oswald et al. / 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
Two Catalysts Can Be Sufficent for Computational Completeness / R. Freund / 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
Structural extensions of display calculi: A general recipe / A. Ciabattoni, R. Ramanayake / 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
Catalytic and purely catalytic P automata: control mechanisms for obtaining computational completeness / R. Freund, M. Oswald / 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
The 42 reducts of the random ordered graph, / M. Pinsker / 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)
Prooftool: a GUI for the GAPT Framework / A. Leitsch, T. Libal, M. Riener, D. Weller, B. Woltzenlogel-Paleo, T. Dunchev / 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
Class diagrams with equated association chains / I. Feinerer, G. Salzer, T. Sisel / 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
A method of algorithmic cut-introduction / A. Leitsch / Talk: Workshop on Skolemization, Utrecht; 2013-05-27 - 2013-05-29
Towards CERES in intuitionistic logic / G. Reis / Talk: Workshop on Skolemization, Utrecht; 2013-05-27 - 2013-05-29
Informatik - Knifflige Rätsel und andere Spielereien / L. Spendier / Talk: Yo!Tech 2013, Wien; 2013-05-20
How to get featured in TIME magazine as a logician / L. Spendier / Talk: Sofia Science Festival 2013, Sofia; 2013-05-09 - 2013-05-12
Finitary aspects of reducts of homogeneous structures / M. Pinsker / Talk: Eötvös University, Budapest; 2013-05-07
Semantic games and hypersequents - a case study in many valued reasoning / C. Fermüller / Talk: Seminar of the Munich Center for Mathematical Philosophy, München, Deutschland; 2013-05-02
Array Insertion and Deletion P Systems / R. Freund, H. Fernau et al. / 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
Automated Support for the Investigation of Paraconsistent and Other Logics / L. Spendier / Keynote Lecture: 4th World Congress on Universal Logic, Rio de Janeiro; 2013-04-03 - 2013-04-07
Towards Powerful and Decidable Formalizations Through Schematic Representation / D. Cerna / Talk: UNILOG 2013 - Workshop on Compositional Meaning in Logic (GeTFun 1.0), Rio de Janeiro; 2013-04-03 - 2013-04-04
A framework for specifying and reasoning in sequent calculus systems / G. Reis / Talk: UNILOG 2013 - Workshop on Compositional Meaning in Logic (GeTFun 1.0), Rio de Janeiro; 2013-04-03 - 2013-04-04
Analytic calculi for non-classical logics: The Baha'i Method / A. Ciabattoni / Keynote Lecture: UniLog 2013, Rio de Janeiro (invited); 2013-03-29 - 2013-04-07
Games semantics for deterministic and nondeterministic many-valued logics / C. Fermüller / Talk: UniLog 2013, Rio de Janeiro; 2013-03-29 - 2013-04-07
Universal P Systems: One Catalyst Can Be Sufficient / R. Freund, Gh. Paun / 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
Automated Support for the Investigation of Paraconsistent and Other Logics / A. Ciabattoni, O. Lahav, L. Spendier, A. Zamansky / 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
Vermittlung informatischer Kompetenzen und Medienkompetenzen in allen Lehramtstudien aller Ausbildungsinstitute Österreichs / 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 / 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
MFCS & CSL 2010 Satellite Workshops: Selected Papers, Fundamenta Informaticae 123 / A. Kucera, I. Potapov, A. Ciabattoni, St. Szeider, R. Freivalds / IOS Press, 2013, ISSN: 0169-2968
LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning. / A. Voronkov, G. Sutcliffe, M. Baaz, C. Fermüller / in series "EasyChair Proceedings in Computing", series editor: A. Voronkov, G. Sutcliffe, M. Baaz, C. Fermüller; EasyChair, 2013, ISSN: 2040-557x, 63 pages
On matrices, Nmatrices and games / C. Fermüller / Journal of Logic and Computation, 1 (2013), 1 - 23
Universality of the lattice of transformation monoids. / M. Pinsker et al. / Proceedings of the American Mathematical Society, 141 (2013), 9; 3005 - 3011
Discrete and continuous models for partitioning problems / J. Lellmann, B. Lellmann, F. Widmann, C. Schnörr / International Journal of Computer Vision, 104 (2013), 3; 241 - 269
Reconstructing the topology of clones / M. Pinsker et al. / CoRR - Computing Research Repository, abs/1312.7699 (2013), abs/1312.7699; 1 - 29
A new operation on partially ordered sets / M. Pinsker et al. / Journal of Combinatorial Theory Series A, 120 (2013), 7; 1450 - 1462
A Closed Algebra with a Non-Borel Clone and an Ideal with a Borel Clone / M. Pinsker, M. Goldstern / International Journal of Algebra and Computation, 23 (2013), 5; 1115 - 1126
A dissimilarity-based framework for generating inconsistency-tolerant logics / A. Zamansky et al. / Annals of Mathematics and Artificial Intelligence, 69 (2013), 1; #
Expansion Trees with Cut / D. Weller, S. Hetzl / CoRR - Computing Research Repository, abs/1308.0428 (2013), abs/1308.0428; 1 - 25
Herbrand-Confluence / S. Hetzl, L. Strassburger / Logical Methods in Computer Science, 9 (2013), 4; 1 - 25
Formalization, Mechanization and Automation of Gödel's Proof of God's Existence / B. Woltzenlogel-Paleo, C. Benzmüller / CoRR - Computing Research Repository, 1 (2013), abs/1308.4526; 1 - 2
Checking Proof Transformations with ASP / G. Reis, V. Nigam et al. / Theory and Practice of Logic Programming, 13 (2013), 4-5; 1 - 12
Finite-valued Semantics for Canonical Labelled Calculi / A. Zamansky, M. Baaz et al. / Journal of Automated Reasoning, 51 (2013), 4; 401 - 430
A formalization of membrane szstems with dynamically evolving structures / R. Freund, S. Verlan et al. / International Journal of Computer Mathematics, 90 (2013), 4; 801 - 815
Ceres for First-Order Schemata / A. Leitsch, T. Dunchev, D. Weller, M. Rukhaia / CoRR - Computing Research Repository, arXiv:1303.4257 (2013), 1 - 40
Proof theory for locally finite many-valued logics: Semi-projective logics / A. Ciabattoni, F. Montagna / Theoretical Computer Science, 480 (2013), 26 - 42
Formal approaches to rule-based systems in medicine: The case of CADIAG-2 / A. Ciabattoni, D. Picado Muino, T Vetterlein, M. El Zekey / International Journal of Approximate Reasoning, 54 (2013), 1; 132 - 148
Proof theory of witnessed Gödel logic: A negative result / M. Baaz, A. Ciabattoni / Journal of Logic and Computation, 23 (2013), 5; 1 - 14
Contructing cut free sequent systems with context restrictions based on classical or intuitionistic logic / B. Lellmann, D. Pattinson / 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
Contextual Natural Deduction / B. Woltzenlogel-Paleo / 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
Asynchronous and maximally parallel deterministic controlled non-cooperative P systems characterize NFIN and coNFIN / R. Freund, A. Alhazov / 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
Sequential P systems with regular control / R. Freund, M. Oswald, A. Alhazov et al. / 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

2012

Configuration Repair via Flow Networks / G. Salzer, I. Feinerer, T. Sisel et al. / 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
From Giles's game for reasoning in physics to analytic proof systems for fuzzy logics / C. Fermüller / Talk: OASIS: The Oxford Advanced Seminar on Informatic Structures, Oxford, UK; 2012-11-23
CERES for First-Order Schemata / A. Leitsch / Talk: Collegium Logicum 2012: Structural Proof Theory, Paris, France; 2012-11-15 - 2012-11-16
Labelled tree sequents, tree hypersequents and nested (deep) sequents / R. Ramanayake / Talk: Collegium Logicum 2012: Structural Proof Theory, Paris, France; 2012-11-15 - 2012-11-16
Automated support for the investigation of paraconsistent and other logics / L. Spendier / Talk: Collegium Logicum 2012: Structural Proof Theory, Paris, France; 2012-11-15 - 2012-11-16
On Matrices, Nmatrices, and Games / C. Fermüller / Talk: Logic: Between Semantics and Proof Theory, Tel-Aviv (invited); 2012-11-01 - 2012-11-02
Extending Giles's Game for Lukasiewicz Logic to Fuzzy Quantification / C. Fermüller, Ch Roschger / 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
Proof theory for non-classical logics: negative results / M. Baaz, A. Ciabattoni / Talk: Logic, Algebra and Truth Degrees 2012, JAIST, Ishikawa, Japan; 2012-09-10 - 2012-09-14
Standard completeness for extensions of MTL: an automated approach / P. Baldi, A. Ciabattoni, L. Spendier / 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
(Tissue) P Systems with Decaying Objects / R. Freund / 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
Language Operators for Multiset languages and Modal Logic / R. Freund, M. Kudlek, N. Flick / Talk: NCMA, Fribourg, Schweiz; 2012-08-23 - 2012-08-24
Randomized Game Semantics for Semi-fuzzy Quantifiers / C. Fermüller, Ch Roschger / 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
Rechnen mit Molekülen / R. Freund, M. Freund / Talk: Institutskolloquium des Instituts für Informatik, Halle an der Saale; 2012-07-06
Systematic proof theory for Many-valued logics / A. Ciabattoni / Talk: ManyVal´12 (In honor of Antonio Di Nola´s 65th birthday), Salerno, Italy; 2012-07-04 - 2012-07-07
System feature description: importing refutations into the GAPT framework / C. Dunchev, A. Leitsch, T. Libal, M. Riener, M. Rukhaia, D. Weller, B. Woltzenlogel-Paleo / 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
Proof theory for non-classical logics: a negative result / A. Ciabattoni, M. Baaz / Talk: Pisa Summer Workshop on Proof Theory, Pisa, Italy; 2012-06-12 - 2012-06-15
On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems / K. Gmeiner, B. Gramlich, F. Schernhammer / 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
On Modularity of Termination Properties of Rewriting under Strategies / B. Gramlich / Talk: Annual Meeting of the IFIP-WG 1.6 - Term Rewriting, Nagoya, Japan; 2012-05-28
Randomizing Giles´s Game for Fuzzy Quantification / C. Fermüller / Talk: Games, Game Theory and Game Semantics: Philosophical and Scientific Perspectives, Riga, Latvia; 2012-05-18 - 2012-05-20
Realizing Monads in Interaction Nets via Generic Typed Rules / E. Jiresch, B. Gramlich / 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
Extending the IN Calculus with Generic Rules / E. Jiresch / 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)
On Modularity of Termination Properties of Rewriting under Strategies / B. Gramlich, K. Györgyfalvay / 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
Nonclassical proofs: theory, applications, and tools / A. Ciabattoni / Talk: Logical Models of Reasoning and Computation (LMRC12), Moskau, Russia (invited); 2012-02-01 - 2012-02-03
Membrane Systems With Membrane Labels Changing in Time / R. Freund, A. Alhazov et al. / Talk: 10th Brainstoming Week on Membrane Computing, Sevilla; 2012-01-30 - 2012-02-03
Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings. / B. Gramlich, D. Miller, U. Sattler / 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
Modularity in term rewriting revisited / B. Gramlich / Theoretical Computer Science, 464 (2012), 3 - 19
The Church-Fitch knowability paradox in the light of structural proof theory / P. Maffezioli, A. Naibo, S. Negri / Synthese, xx (2012), 1 - 40
Note on deduction theorems in contraction-free logics / K. Chvalovský, P. Cintula / Mathematical Logic Quarterly, 58 (2012), 3; 236 - 243
Editorial / P. Cintula, E. Klement, L. Stout / Fuzzy Sets and Systems, 197 (2012), 1 - 2
Valentini´s cut-elimination for provability logic resolved / R. Ramanayake, R. Goré / Review Of Symbolic Logic, 5 (2012), 212 - 238
Algebraic proof theory for substructural logics: Cut elimination and completions / A. Ciabattoni, N. Galatos, K. Terui / Annals of Pure and Applied Logic, 163 (2012), 266 - 290
Theorem proving for prenex Gödel logic with Delta: checkingvalidity and unsatisfiability / A. Ciabattoni, M. Baaz, C. Fermüller / Logical Methods in Computer Science, 8 (2012), 1; 1 - 20
Sequential and maximally parallel multiset rewriting: reversiblility and determinism / R. Freund, A. Alhazov, K. Morita / Natural Computing, 11 (2012), 1; 95 - 106
Towards Algorithmic Cut-Introduction / A. Leitsch, S. Hetzl, D. Weller / 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
Towards CERes in intuitionistic logic / A. Leitsch, G. Reis, B. Woltzenlogel-Paleo / 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
P Systems with Minimal Left and Right Insertion and Deletion / R. Freund, Y. Rogozhin, S. Verlan / 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
P Systems with Minimal Left and Right Insertion and Deletion / R. Freund, S. Verlan et al. / 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 formal framework for P systems with Dynamic Structure / R. Freund, S. Verlan et al. / 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
Time-varying sequential P systems / R. Freund, M. Oswald, S. Verlan et al. / 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
Asynchronous and Maximally Parallel Deterministic Controlled Non-Cooperative P Systems Characterize NFIN / R. Freund, A. Alhazov / 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
Asynchronous and Maximally Parallel Deterministic Controlled Non-Cooperative P Systems Characterize NFIN / R. Freund, A. Alhazov / 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
A formal framework for P systems with Dynamic Structure / R. Freund, S. Verlan et al. / 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
Self-Stabilization in Membrane Systems / R. Freund et al. / 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
On the Algorithmic Complexity of Vague Descriptions / C. Fermüller / in: "Int. Proceedings of Computer Science and Information Technology", F. Hong (ed.); IACSIT Press, Singapore, 2012, ISBN: 978-981-07-1883-1, 39 - 44
Numeric semantics of class diagrams with multiplicity and uniqueness constraints / I. Feinerer, G. Salzer / Software and Systems Modeling, 2012 (2012), 1 pages
A Note on Minimal Counterexamples to Modularity of Termination / B. Gramlich, K. Györgyfalvay / Report No. E1852-2012-02, 2012; 9 pages
On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems / K. Gmeiner, B. Gramlich, F. Schernhammer / Report No. E1852-2012-01, 2012; 21 pages

2011

Parallel Dialogue Games and Hypersequents for Intermediate Logics / C. Fermüller / Talk: Logikseminar des Instituts für Mathematik, Bern, Schweiz (invited); 2011-11-26
CERES for Propositional Proof Schemata / M. Rukhaia / Talk: 2nd Workshop of the Joint Project, Innsbruck; 2011-10-26 - 2011-10-28
Nonclassical Proofs: theory, applications, and tools / A. Ciabattoni / Talk: 2nd Workshop of the Joint Project "Structural and Computational Proof Theory", Innsbruck; 2011-10-26 - 2011-10-28
Towards algorithmic cut-introduction / A. Leitsch / Talk: 2nd Workshop of the Joint Project "Structural and Computational Proof Theory", Innsbruck; 2011-10-26 - 2011-10-28
Compression of Propositional Resolution Proofs / B. Woltzenlogel-Paleo / Talk: 2nd Workshop Structural Proof Theory, Innsbruck (invited); 2011-10-26 - 2011-10-29
A Deep Natural Deduction Calculus / B. Woltzenlogel-Paleo / Talk: 2nd Workshop Structural Proof Theory, Innsbruck (invited); 2011-10-26 - 2011-10-29
Reducing multiplicities in class diagrams / I. Feinerer, G. Salzer, T. Sisel / 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
Logical Models of Reasoning with Vague Information / C. Fermüller / Talk: LogICCC Final Conference, Berlin, Germany (invited); 2011-09-15 - 2011-09-18
A Game Based Approach to Quantification in Lukasiewicz Logic / C. Fermüller / 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
Quantifier Inference Rules for SMT Proofs / B. Woltzenlogel-Paleo, P. Fontaine, D. Deharbe / Talk: Proof Exchange for Theorem Proving (PxTP), Wroclaw, Poland; 2011-07-31 - 2011-08-01
Basic contructive connectives, determinism and matric-based semanticst / A. Ciabattoni, A. Zamansky / Talk: TABLEAUX 2011, Bern, Switzerland; 2011-07-04 - 2011-07-08
Extending the Interaction Nets Calculus by Generic Rules / E. Jiresch / 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
How to justify your favorite logical system? - A case study / C. Fermüller / Talk: Workshop STRUCTURAL, Paris, France (invited); 2011-06-15 - 2011-06-17
On (Un)Soundness of Unraveling Deterministic Conditional Rewrite Systems / B. Gramlich / Talk: Annual Meeting of the IFIP Working Group 1.6 on Term Rewriting (2011), Novi Sad, Serbia; 2011-06-02
Vague and Uncertain Entailment - Some Conceptual Clarifications / C. Fermüller / Talk: Workshop: Conditionals, Counterfactuals and Causes in Uncertain Environments, Düsseldorf, Germany (invited); 2011-05-19 - 2011-05-22
A General Framework for Regulated Rewriting Based on the Applicability of Rules / R. Freund, M. Kogler, M. Oswald / Talk: Workshop on Computation, Cooperation, and Life, Otava, Teschechien; 2011-04-26 - 2011-04-27
Systematic (and algebraic) proof theory for substructural logics / A. Ciabattoni / Talk: Truth, Proof and Consequence. Perspectives on Logic, Pisa, Italien; 2011-02-28
Evaluation Games under Vagueness / Ch Roschger / Talk: Proof and Dialogues (ProDi), Tübingen, Deutschland; 2011-02-25 - 2011-02-27
Parallel dialogue games and hypersequents / C. Fermüller / Talk: Proof and Dialogues (ProDi), Tübingen, Deutschland (invited); 2011-02-25 - 2011-02-27
Power and Limits of Analytic Calculi: Towards a Systematic Proof Theory for Nonclassical Logics / A. Ciabattoni / Talk: Workshop on Logic and Computation, Kanazawa, Japan (invited); 2011-02-08 - 2011-02-09
Parallel Dialogue Games and Hypersequents for Intermediate Logics / C. Fermüller / Talk: Workshop on Logic and Computation, Kanazawa, Japan (invited); 2011-02-08 - 2011-02-09
Logic and Vagueness. Report from an Interdisciplinary Battle Ground / C. Fermüller / Talk: LogICCC Meets India, New Dehli (invited); 2011-01-07 - 2011-01-08
Methods of cut-elimination / M. Baaz, A. Leitsch / Springer Verlag, 2011, ISBN: 978-94-007-0319-3; 287 pages
Comparing Context Updates in Delineation and Scale Based Models of Vagueness / Ch Roschger / in: "Understanding Vagueness - Logical, Philosophical and Linguistic Perspectives", College Publications, 2011, 231 - 249
Bildung 2.0 / R. Freund, R. Taschner / in: "Best Spirit: Best Practice", Braumüller, Wien, 2011, (invited), ISBN: 978-3-7003-1805-7, 109 - 113
Comments on Vagueness in Language: The Case Against Fuzzy Logic Revisited by Uli Sauerland / C. Fermüller / 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
A Conversation About Fuzzy Logic and Vagueness / C. Fermüller, P. Hajek / 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
Comments on Vagueness: A Mathematicians's Perspective by Thomas Vetterlein / C. Fermüller / 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
Third Workshop on Non-Classical Models for Automata and Applications - NCMA 2011 / R. Freund, M Holzer et al. / Austrian Computer Society, 2011, ISBN: 978-3-85403-282-3
Understanding Vagueness. Logical, Philosophical and Linguistic Perspectives / P. Cintula, C. Fermüller, L. Godo, P. Hajek / College Publications, London, 2011, ISBN: 978-1-84890-037-0
International Journal of Foundations of Comuter Science / R. Freund, M. Gheorghe et al. / in series "Special Issue: Natural Computing: Theory and Applications", series editor: O. Ibarra; World Scientific Publishing Co. Pte. Ltd., New Jersey, 2011
MacNeille Comletions of FL-algebras / A. Ciabattoni, N. Galatos, K. Terui / Algebra Universalis, 66 (2011), 405 - 420
(Tissue) P systems working in the k - restricted minimally or maximally parallel transition mode / R. Freund, S. Verlan / Natural Computing, 10 (2011), 2; 821 - 833
Preface / R. Freund, M. Gheorghe et al. / International Journal of Foundations of Computer Science, 22 (2011), 1; 1 - 6
First-order satisfiability in Gödel logics: an NP-complete fragment / A. Ciabattoni, M. Baaz, N Preining / Theoretical Computer Science, 414 (2011), 6612 - 6623
Physics and Proof Theory / B. Woltzenlogel-Paleo / Applied Mathematics and Computation, 0096-3003 (2011)
Ceres in higher-order logic / S. Hetzl, A. Leitsch, D. Weller / Annals of Pure and Applied Logic, 162 (2011), 12; 1001 - 1034
On the non-confluence of cut-elimination / M. Baaz, S. Hetzl / Journal of Symbolic Logic, 76 (2011), 1; 313 - 340
Towards a GPU-based Implementation of Interaction Nets / E. Jiresch / 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
Incremental Checking of Well-Founded Recursive Specifications Modulo Axioms / F. Schernhammer, J. Meseguer / 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
A General Framework for Regulated Rewriting Based on the Applicability of Rules / R. Freund, M. Kogler, M. Oswald / 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
A General Framework for Regulated Rewriting / R. Freund / 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
Basic constructive connectives, determinism and matrix-based semantics / A. Ciabattoni, O. Lahav, A. Zamansky / 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
Exploiting Symmetry in SMT Problems / B. Woltzenlogel-Paleo, P. Fontaine, S. Merz, D. Deharbe / 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
Compression of Propositional Resolution Proofs via Partial Regularization / B. Woltzenlogel-Paleo, P. Fontaine, S. Merz / 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
Realizing Monads in Interaction Nets via Generic Typed Rules / E. Jiresch, B. Gramlich / Report No. E1852-2011-0, 2011; 27 pages

2010

Is there a role for fuzzy logic in linguistics? / C. Fermüller / Talk: Workshop on 'Vague Quantities and Vague Quantifiers (VQ2)', Berlin (invited); 2010-12-08 - 2010-12-09
Contextual models of vagueness and vague quantifiers / Ch Roschger / Talk: Workshop on 'Vague Quantities and Vague Quantifiers (VQ2)', Berlin; 2010-12-08 - 2010-12-09
On the complexity of proof deskolemization / M. Baaz, S. Hetzl, D. Weller / Talk: Collegium Locicum 2010: Proofs and Structures, Paris; 2010-11-08 - 2010-11-10
CERES in higher-order-logic / A. Leitsch / Talk: Collegium Locicum 2010: Proofs and Structures, Paris (invited); 2010-11-08 - 2010-11-10
Formal Rationality Principles in Logical Dialogue Games / C. Fermüller / Talk: Logic, Reasoning and Rationality - LRR10, Gent, Belgien; 2010-10-20 - 2010-10-22
On Dialogue Games for Multi-Valued Logics / C. Fermüller / Talk: Logic, Algebra and Truth Degrees - LATD 2010, Prag, Tschechische Republik; 2010-09-07 - 2010-09-11
CERES in higher-order-logic / S. Hetzl, A. Leitsch, D. Weller / Talk: Workshop on Classical Logic and Computation (CL&C'10), Brünn; 2010-08-22
Recent Developments in Conditional via Unconditional Rewriting / B. Gramlich / Talk: 3rd Austria-Japan Summer Workshop on Term Rewriting, Obergurgl (invited); 2010-08-01 - 2010-08-07
Generalizing Context-Sensitivity in Term Rewriting / F. Schernhammer / Talk: 3rd Austria-Japan Summer Workshop on Term Rewriting, Obergurgl; 2010-08-01 - 2010-08-07
Outermost Termination via Contextual Dependency Pairs / B. Gramlich, F. Schernhammer / 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
Relations between Medieval and Modern Logical Dialogue Games / C. Fermüller / Talk: International Medieval Congress 2010, Leeds, UK (invited); 2010-07-12 - 2010-07-15
On (Un)Soundness of Unravelings / K. Gmeiner, B. Gramlich, F. Schernhammer / 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
Conditional via Unconditional Rewriting - Some Recent Developments / B. Gramlich / Talk: Annual Meeting of the IFIP-WG 1.6 - Term Rewriting, Edinburgh; 2010-07-10
Termination of Rewriting with and Automated Synthesis of Forbidden Patterns / B. Gramlich, F. Schernhammer / 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
Making it More Explicit: Brandom's Inferentialist Pragmatism and Logical Dialogue Games / F. Slivovsky / Talk: Logica 2010, Hejnice, Tschechien; 2010-06-22 - 2010-06-25
Systematic (and algebraic) proof theory for substructural logics / A. Ciabattoni / Talk: International Workshop PCC-Proof, Computation, Complexity, Bern (invited); 2010-06-18 - 2010-06-19
A Generalization of Giles's Game / C. Fermüller / Talk: Algebra and Substructural Logics - AsubL4, Kanazawa, Japan; 2010-06-08 - 2010-06-10
From Linguistic Models of Vagueness to t-Norm Based Fuzzy Logic / Ch Roschger, C. Fermüller / Talk: ManyVal 2010, Varese, Italien (invited); 2010-05-03 - 2010-05-05
Extensions for Interaction Nets / E. Jiresch, B. Gramlich / 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
Transformations of Conditional Term Rewrite Systems / K. Gmeiner, B. Gramlich / 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
Bridges Between Fuzzy Logic and Linguistic Models of Vagueness / Ch Roschger / Talk: Advances in Knowledge-Based Technologies, Hagenberg (invited); 2010-02-02
Catalytic P Systems / R. Freund, A. Paun et al. / 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
Fast Cut-Elimination by CERES / A. Leitsch, M. Baaz / in: "Proofs, Categories and Computations", S. Feferman, W. Sieg (ed.); College Publications, London, 2010, ISBN: 978-1-84890-012-7, 31 - 49
Fast cut-elimination by CERES / M. Baaz, A. Leitsch / 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
Some Critical Remarks on Incompatibility Semantics / C. Fermüller / in: "The Logica Yearbook 2008", M. Pelis (ed.); College Publications, 2010, ISBN: 978-1-848900097, 81 - 96
On Giles style dialoques games and hypersequent systems / C. Fermüller / 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
Logic for Programming, Artificial Intelligence, and Reasoning, Proceedings LPAR-17 / C. Fermüller, A. Voronkov / in series "LNCS", series editor: G. Goos, J. Hartmanis, J. van Leeuwen; Springer, Heidelberg, 2010, ISBN: 978-3-642-16241-1, 656 pages
Second Workshop on Non-Classical Models for Automata and Applications (NCMA 2010) / H. Bordihn, R. Freund et al. / in series "Books@ocg.at", series editor: G Chroust, G. Kotis et al.; Österreichische Computer Gesellschaft, 2010, ISBN: 978-3-85403-263-2
Realizing Impure Functions in Interaction Nets / E. Jiresch / Electronic Communications of the EASST, 38 (2010), 1 - 17
Termination of Rewriting with and Automated Synthesis of Forbidden Patterns / B. Gramlich, F. Schernhammer / Electronic Proceedings in Theoretical Computer Science, 44 (2010), 35 - 50
Extending Context-Sensitivity in Term Rewriting / B. Gramlich, F. Schernhammer / Electronic Proceedings in Theoretical Computer Science, 15 (2010), 56 - 68
Characterizing and Proving Operational Termination of Deterministic Conditional Term Rewriting Systems / F. Schernhammer, B. Gramlich / Journal of Logic and Algebraic Programming, 79 (2010), 7; 659 - 688
On-Demand Strategy Annotations Revisited: An Improved On-Demand Evaluation Strategy / M. Alpuente, S. Escobar, B. Gramlich, S. Lucas / Theoretical Computer Science, 411 (2010), 2; 504 - 541
Algebaic and proof-theoretic characterizations of truth stressers for MTL and its extensions / A. Ciabattoni, G Metcalfe, F. Montagna / Fuzzy Sets and Systems, 161 (3) (2010), 369 - 389
Computing Product Configurations via UML and Integer Linear Programming / A. Falkner, I. Feinerer, G. Salzer, G. Schenner / International Journal of Mass Customisation (invited), 3 (2010), 4; 351 - 367
Review: Vagueness and Degrees of Truth / C. Fermüller / Australasian Journal of Logic, 9 (2010), 1 - 9
The Helly Property and Satisfiability of Boolean Formulas Defined on Set Families / V. Chepoi, N. Creignou, M. Hermann, G. Salzer / European Journal of Combinatorics, 31 (2010), 2; 502 - 516
Computationally Complete Spiking Neural P Systems without Delay: Two Types of Neurons Are Enough / R. Freund, M. Kogler / 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
Computationally Complete Spiking Neural P Systems without Delay: Two Types of Neurons Are Enough / R. Freund, M. Kogler / in: "Proceedings of the Eleventh International Conference on Membrane Computing", Pro Business GmbH, 2010, ISBN: 978-3-86805-721-8, 193 - 205
System Description: The Proof Transformation System CERES / A. Leitsch, T. Dunchev, D. Weller, B. Woltzenlogel-Paleo, T. Libal / in: "IJCAR 2010", J. Giesl, R. Hähnle (ed.); Springer, LNAI, Heidelberg, 2010, ISBN: 978-3-642-14202-4, 427 - 433
A resolution mechanism for Prenex Gödel logic / M. Baaz, C. Fermüller / in: "Computer Science Logic (LNCS 6247/2010)", A. Dawar, H. Veith (ed.); Springer, 2010, 67 - 79
On (Un)Soundness of Unravelings / K. Gmeiner, B. Gramlich, F. Schernhammer / Report No. Technical Report E1852-2010-01, 2010; 23 pages

2009

Consistency and minimality of UML class specifications / T. Sisel / Talk: LIX, Ecole Polytechnique, Palaiseau/Paris (invited); 2009-11-13
Giles's Game and the Proof Theory of Lukasiewicz Logic / C. Fermüller / Keynote Lecture: Probability, Uncertainty and Rationality, Pontignano, Italy; 2009-11-01 - 2009-11-03
Algebraic foundation of a data model for an extensible space-based collaboration protocol / S. Craß, E. Kühn, G. Salzer / 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
Vagueness at the interface between logic, philosophy, and linguistics / C. Fermüller / Talk: Logical Models of Reasoning with Vague Information, Cejkovice, Czech Republic (invited); 2009-09-14 - 2009-09-17
P Automata with controlled use of minimal Communication rules / R. Freund, M. Kogler, S. Verlan / 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
VMTL - A Modular Termination Laboratory / F. Schernhammer, B. Gramlich / 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
Description Problems over Finite Totally-Ordered Domains / G. Salzer / Talk: Moscow-Vienna Workshop on Logic and Computation 2009, Wien (invited); 2009-06-29 - 2009-07-02
Fast Cut-Elimination by CERES / A. Leitsch / Talk: Moscow-Vienna Workshop on Logic and Computation 2009, Wien (invited); 2009-06-29 - 2009-07-02
Linguistics, Logic, and Vagueness / C. Fermüller / Talk: Moscow-Vienna Workshop on Logic and Computation, Vienna; 2009-06-29 - 2009-07-02
An Implementation of Nested Pattern Matching in Interaction Nets / A. Hassan, E. Jiresch, S. Sato / 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
Extending Context-Sensitivity in Term Rewriting / B. Gramlich, F. Schernhammer / 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
Conditional Rewriting (IV) / B. Gramlich / Talk: 4th International School on Rewriting (ISR'09), Brasilia (Brazil) (invited); 2009-06-22 - 2009-06-26
Conditional Rewriting (III) / B. Gramlich / Talk: 4th International School on Rewriting (ISR'09), Brasilia (Brazil) (invited); 2009-06-22 - 2009-06-26
Conditional Rewriting (II) / B. Gramlich / Talk: 4th International School on Rewriting (ISR'09), Brasilia (Brazil) (invited); 2009-06-22 - 2009-06-26
Conditional Rewriting (I) / B. Gramlich / Talk: 4th International School on Rewriting (ISR'09), Brasilia (Brazil) (invited); 2009-06-22 - 2009-06-26
Some Critical Remarks on Incompatibility Semantics / C. Fermüller / Talk: Logica 2009, Hejnice, Czech Republic; 2009-06-22 - 2009-06-26
Evaluation Games for Shapiro's Logic of Vagueness in Context / Ch Roschger / Talk: Logica, Hejnice, Czech Republic; 2009-06-21 - 2009-06-25; in: "The Logica Yearbook 2010", College Publications, (2010)
On Some Implementation Aspects of VMTL / F. Schernhammer, B. Gramlich / 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
Constraint Satisfaction Problems & Many-Valued Logics / G. Salzer / Talk: Collegium Logicum 2009 (CL2009), Wien (invited); 2009-05-27 - 2009-05-28
Simulating the behaviour of cellular automata by extended spiking neural P systems. / A. Binder, R. Freund, M. Oswald / 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
Dialogue games and the proof theory of fuzzy logics - a review and outlook / C. Fermüller / 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
A Clausal Approach to Proof Analysis in Second-Order Logic / A. Leitsch, S. Hetzl, D. Weller, B. Woltzenlogel-Paleo / 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
Fuzzy logic and vagueness: can philosophers learn from Petr Hajek? / C. Fermüller / 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
A Clausal Approach to Proof Analysis in Second-Order Logic / A. Leitsch, S. Hetzl, D. Weller, B. Woltzenlogel-Paleo / in: "Lecture Notes in Computer Science, 5407", E. Artemov, A. Nerode (ed.); Springer LNCS, Heidelberg, 2009, ISBN: 3-540-92686-0, 214 - 229
Revisiting Giles's Game - Reconciling Fuzzy Logic and Supervaluation / C. Fermüller / 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
Dialogue Games as Foundation of Fuzzy Logics / C. Fermüller / in: "Studies in Fuzziness and Soft Computing, Vol 243", R. Seising, J. Kacprzyk (ed.); Springer, 2009, ISBN: 978-3-540-93801-9, 229 - 247
Truth Value Intervals, Bets, and Dialogue Games / C. Fermüller / in: "The Logica Yearbook 2008", M. Pelis (ed.); College Publications, 2009, ISBN: 978-1-904987-46-8, 43 - 57
On the Power of P and DP Automata / R. Freund, M. Kogler et al. / Analele Univeritatii Bucuresti, LVIII (2009), ISSN: 1224-7170; 5 - 22
Partial Halting and Minimal Parallelism Based on Arbitrary Rule Partitions. / A. Alhazov, R. Freund, M. Oswald, S. Verlan / Fundamenta Informaticae, 91 (2009), 1; 17 - 34
Membrane computing and brain modelling. / M. Oswald / Artificial Life and Robotics (invited), 13 (2009), 2; 390 - 393
Giles's Game and the Proof Theory of Lukasiewicz Logic / C. Fermüller, G Metcalfe / Studia Logica, 92 (2009), 27 - 81
A Comparison of Tools for Teaching Formal Software Verification / I. Feinerer, G. Salzer / Formal Aspects of Computing, 21 (2009), 3; 293 - 301
Bridges between Contextual Linguistic Models of Vagueness and T-Norm Based Fuzzy Logic / C. Fermüller, Ch Roschger / 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
Characterizing and Proving Operational Termination of Deterministic Conditional Term Rewriting Systems / F. Schernhammer, B. Gramlich / Report No. E1852-2009-01, 2009; 51 pages
Extending Context-Sensitivity in Term Rewriting / B. Gramlich, F. Schernhammer / Report No. E1852-2009-02, 2009; 22 pages

2008

Transforming and Analyzing Proofs in the CERES-system / A. Leitsch, S. Hetzl, D. Weller, B. Woltzenlogel-Paleo / 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
Brandom's 'incompatibilty semantics' / C. Fermüller / Talk: Kolloquium Institut Wiener Kreis (IVC), Wien (invited); 2008-11-20
On Operational Termination of Deterministic Conditional Rewrite Systems / F. Schernhammer, B. Gramlich / 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
LoMoReVI -- Logical Models of Reasoning with Vague Information / C. Fermüller / Talk: LogICCC Launch Conference of the European Science Foundation, Prag (invited); 2008-10
(Tissue) P Systems Working in the k-Restricted Minimally Parallel Mode / R. Freund, S. Verlan / 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
Cut-elimination / M. Baaz, S. Hetzl / Talk: Third Vienna Tbilisi Summer School in Logic and Language, Tbilisi, Georgia (invited); 2008-09-24 - 2008-09-28
On the interpretation of t-norm based fuzzy logics / C. Fermüller / Keynote Lecture: LATD 2008 - Logic, Algebra and Truth Degrees 2008, Siena; 2008-09
(Tissue) P Systems Working in the k-Restricted Minimally Parallel Mode / R. Freund, S. Verlan / 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
(Tissue) P systems using non-cooperative rules without halting conditions / M. Beyreder, R. Freund / 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
Solving Practical Configuration Problems using UML / A. Falkner, I. Feinerer, G. Salzer, G. Schenner / 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
Bio-Inspired Computing: DNA Computing and Membrane Computing / R. Freund / Keynote Lecture: BIRD'08 2nd International Conference on Bioinformatics Research and Development, Wien (invited); 2008-07-07 - 2008-07-09
Truth Value Intervals, Bets, and Dialogue Games / C. Fermüller / Talk: LOFT 2008, 8th Conference on Logic and the Foundations of Game and Decision Theory, Amsterdam; 2008-07
Membrane Systems / R. Freund / Keynote Lecture: The 12th World Multi-Conference on Systemics, Cybernetics and Informatics: WMSCI 2008, Orlando, Florida (invited); 2008-06-29 - 2008-07-02
Algorithms for Herbrand Sequent Extraction / B. Woltzenlogel-Paleo / Talk: Deep Inference, its Algebra, Geometry and Syntax, Nancy, Frankreich; 2008-06-18
Variants of Halting in P Systems / M. Oswald / Talk: Workshop on Language-Theoretic Models of Decentralized and Distributed Systems, Opava (invited); 2008-06-16 - 2008-06-17
P Systems Working in the 1-restricted Minimally Parallel Derivation Mode / R. Freund / Talk: Workshop on Language-Theoretic Models of Decentralized and Distributed Systems, Opava (invited); 2008-06-16 - 2008-06-17
Transformations of Conditional Rewrite Systems Revisited / K. Gmeiner, B. Gramlich / 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
Transformations of Conditional Rewrite Systems Revisited / K. Gmeiner, B. Gramlich / 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
Truth Value Intervals, Bets, and Dialogue Games / C. Fermüller / Talk: Logica 2008, Hejnice; 2008-06
Deciding the Satisfiability of Propositional Formulas in Finitetly-Valued Signed Logics / G. Salzer, V. Chepoi, N. Creignou, M. Hermann / 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
An Integrating View on DNA Computing and Membrane Computing / R. Freund / 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
CERES: Analysis of the fifth Proof of the Infinity of Primes / A. Leitsch / Talk: Non-classical Logics: from Foundations to Applications, Pisa (invited); 2008-04-24 - 2008-04-26
Dialogue games as foundations of non-classical logics / C. Fermüller / Keynote Lecture: Non-classical Logics: from Foundations to Applications, Pisa (invited); 2008-04
Membrane Computing and Brain Modelling / M. Oswald / Keynote Lecture: Intern. Symp. on Artificial Life and Robotics (AROB), Beppu, Japan (invited); 2008-01-31 - 2008-02-02
Extended Spiking neural P systems - variants for modeling the brain / A. Binder, R. Freund, M. Oswald / 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
International Workshop on Computing with Biomolecules / E. Csuhaj-Varjú, R. Freund, M. Oswald, K. Salomaa / Österreichische Computer Gesellschaft, Wien, 2008, ISBN: 978-3-85403-244-1; 101 pages
Unconventional Computing - 7th International Conference, UC 2008 Vienna, Austria, August 25-28, 2008. Proceedings / C. Calude, J.F. Costa, R. Freund, M. Oswald, G. Rozenberg / Springer LNCS, Berlin / Heidelberg, 2008, ISBN: 978-3-540-85193-6; 259 pages
A way to interpret Lukasiewicz Logic and Basic Logic / T Vetterlein / Studia Logica, 90 (2008), 407 - 423
Regular left-continuous t-norms / T Vetterlein / Semigroup Forum, 77 (2008), 339 - 379
How to Acknowledge Hypercomputation / A. Leitsch, G. Schachner, K. Svozil / Complex Systems, 18 (2008), 131 - 143
Dialoque Games for Many-Valued Logics - an Overwiew / C. Fermüller / Studia Logica, 90 (2008), 43 - 68
CD Grammar Systems with Regular Start Conditions / R. Freund, M. Oswald / International Journal of Foundations of Computer Science, 19 (2008), 4; 767 - 779
Extended Spiking Neural P Systems with Decaying Spikes and/or Total Spiking / R. Freund, M. Oswald, M. Ionescu / International Journal of Foundations of Computer Science, 19 (2008), 5; 1223 - 1234
CERES: An analysis of Fürstenberg's proof of the infinity of primes / M. Baaz, S. Hetzl, A. Leitsch, Clemens Richter, H. Spohr / Theoretical Computer Science, 403 (2008), 2-3; 160 - 175
Efficient Algorithms For Description Problems Over Finite Totally Ordered Domains / G. Salzer, M. Hermann, A Gil, B Zanuttini / SIAM JOURNAL ON COMPUTING, 38 (2008), 3; 922 - 945
Termination of Lazy Rewriting Revisited / F. Schernhammer, B. Gramlich / Electronic Notes in Theoretical Computer Science (ENTCS), 204 (2008), 35 - 51
Towards an algorithmic construction of cut-elimination procedures / A. Ciabattoni, A. Leitsch / Mathematical Structures In Computer Science, 18 (2008), 1; 81 - 105
Regular ω-Languages defined by Extended Spiking Neural P Systems / R. Freund, M. Oswald / Fundamenta Informaticae (invited), 83 (2008), 1-2; 65 - 73
Weak effect algebras / T Vetterlein / Algebra Universalis, 58 (2008), 129 - 143
Analytic calculi for logics of ordinal multiples of standard t-norms / T Vetterlein / Journal of Logic and Computation, 18 (2008), 35 - 57
Fuzzy logic as a logic of the expressive strength of information / T Vetterlein / Soft Computing, 12 (2008), 479 - 485
Boolean algebras with an automorphism group: a framework for Łukasiewicz logic / T Vetterlein / Journal of Multiple-Valued Logic and Soft Computing, 14 (2008), 51 - 67
Residuated lattices arising from equivalence relations on Boolean and Brouwerian algebras / T Vetterlein / Mathematical Logic Quarterly, 54 (2008), 325 - 342
Complexity of Clausal Constraints Over Chains / N. Creignou, M. Hermann, A. Krokhin, G. Salzer / Theory of Computing Systems, 42 (2008), 2; 239 - 255
Herbrand Sequent Extraction / A. Leitsch, S. Hetzl, D. Weller, B. Woltzenlogel-Paleo / in: "AISC/Calculemus/MKM 2008", S. Autexier et al. (ed.); Springer, Heidelberg, 2008, ISBN: 9783540851097, 462 - 477
Proof Analysis with HLK, CERES and ProofTool: Current Status and Future Directions / A. Leitsch, S. Hetzl, D. Weller, B. Woltzenlogel-Paleo / 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
Cut elimination for first order Gödel logic by hyperclause resolution / M. Baaz, A. Ciabattoni, C. Fermüller / 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

2007

Some Remarks on Imprecise Truth Values / C. Fermüller / Talk: "Two and beyond", KGS Workshop on Fuzzy Logic and Proof Theory, Barcelona, Spain (invited); 2007-11
Monadic Fragments of Gödel Logics: Decidability and Undecidability Results / M. Baaz, A. Ciabattoni, C. Fermüller / 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
Monadic fragments of Gödel logics: decidability and undecability results / M. Baaz, A. Ciabattoni, C. Fermüller / Talk: 14th International Conference on Logic for Programming Artificial Intelligence and Reasoning 2007, Eriwan, Armenia; 2007-10-15 - 2007-10-19
Interpreting interval based fuzzy logics / C. Fermüller / Talk: Analytic Proof Systems 3, 3rd International Workshop on Analytic Proof Systems, Yerevan, Armenia (invited); 2007-10
Modelling Logical Gates with ESNPA Systems / A. Binder, R. Freund, M. Oswald, L. Vock / 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
Symport/Antiport Systems with Partial Halting / R. Freund, M. Oswald / 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
Extended spiking neural P systems with spikes of limited lifetime / R. Freund, M. Ionescu, M. Oswald / 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
Fuzzy Logic and Theories of Vagueness / C. Fermüller / 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
Fuzzy Logic as a Theory of Vagueness / J Bradley / 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
Exploring Dialogue Games as Foundation of Fuzzy Logic / C. Fermüller / 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
Partial Halting in P Systems Using Membrane Rules with Permitting Contexts / A. Alhazov, R. Freund, M. Oswald, S. Verlan / 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
Fuzzy Logic and Theories of Vagueness / C. Fermüller / Talk: Fuzzy Logic Seminar of the CAS, Institute of Computer Science, Prague, Czech Republic (invited); 2007-09
Games in logic and logic in games / C. Fermüller / Talk: Institute Vienna Circle, Wien (invited); 2007-09
Extended spiking neural P systems with decaying spikes and/or total spiking / R. Freund, M. Ionescu, M. Oswald / 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
Polarizationless P Systems with Active Membranes Working in the Minimally Parallel Mode / R. Freund, Gh. Paun, M. Pérez-Jiménez / 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
CD Grammar Systems with Regular Start Conditions / R. Freund, M. Oswald / 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
CERES: An analysis of Fürstenberg's proof of the infinity of primes / A. Leitsch / Keynote Lecture: Moscow-Vienna Workshop on Logic and Computation, Wien; 2007-07-02 - 2007-07-03
Dialogue games as foundations of fuzzy logics / C. Fermüller / Talk: 3rd Moscow-Vienna Workshop on Logic and Computation, Wien; 2007-07
On Proving and Characterizing Operational Termination of Deterministic Conditional Rewrite Systems / F. Schernhammer, B. Gramlich / 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
A formal framework for P systems / R. Freund, S. Verlan / 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
Termination of Lazy Rewriting Revisited / F. Schernhammer, B. Gramlich / 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
Consistency and Minimality of UML Class Specifications with Multiplicities and Uniqueness Constraints / G. Salzer, I. Feinerer / 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
Logische Dialogspiele als formale Semantik / C. Fermüller / Talk: Institute Vienna Circle, Wien (invited); 2007-04
Vagueness as semantic indeterminacy: three bridges between probability and fuzzy logic / C. Fermüller / Talk: Fuzzy Sets, Probability, and Statistics -- Gaps and Bridges, 28th Linz Seminar on Fuzzy Sets, Linz (invited); 2007-02
Spiking neural P systems with inhibitory axons / R. Freund, M. Oswald / 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
Proof Transformations and Structural Invariance / A. Leitsch, S. Hetzl / in: "LNAI 4460: Algebraic and Proof-theoretic Aspects", S. Aguzzoli et al. (ed.); Springer, LNAI 4460, 2007, 201 - 230
Refining the Nonterminal Complexity of Graph-controlled, Programmed and Matrix Grammars / H. Fernau, R. Freund, M. Oswald, K. Reinhardt / Journal of Automata, Languages and Combinatorics, 12 (2007), 1/2; 117 - 138
Monadic fragments of Gödel logics: decidability and undecidability / M. Baaz, A. Ciabattoni, C. Fermüller / Lecture Notes in Computer Science, 4790 (2007), 77 - 91
A Framework for Timed Concurrent Constraint Programming with External Functions / M. Alpuente, B. Gramlich, A. Villanueva / Electronic Notes in Theoretical Computer Science (ENTCS), 188 (2007), 143 - 155
Cellular Automata and Parallel Array Systems / R. Freund, F. Tafill / Fundamenta Informaticae, 78 (2007), 3; 311 - 327
Tissue P Systems and (MEM) Brane Systems with Mate and Drip Operations Working on Strings / R. Freund, M. Oswald / Electronic Notes in Theoretical Computer Science (ENTCS), 171 (2007), 105 - 115
Multiset random context grammars, checkers, and transducers / M. Cavaliere, R. Freund, M. Oswald, D. Sburlan / Theoretical Computer Science, 372 (2007), 136 - 151
Partial Halting in P Systems / R. Freund, M. Oswald / International Journal of Foundations of Computer Science, 18 (2007), 6; 1215 - 1225
Independent agents in a globalized world modelled by tissue P systems / M. Oswald / Artificial Life and Robotics, 11 (2007), 2; 171 - 174
Modelling Grammar Systems by Tissue P Systems Working in the Sequential Mode / R. Freund, M. Oswald / Fundamenta Informaticae, 76 (2007), 3; 305 - 323
Model Representation over Finite and Infinite Signatures / C. Fermüller, R. Pichler / Journal of Logic and Computation, 17 (2007), 3; 453 - 477
On Proving and Characterizing Operational Termination of Deterministic Conditional Rewrite Systems / F. Schernhammer, B. Gramlich / 2007; 14 pages
Termination of Lazy Rewriting Revisited / F. Schernhammer, B. Gramlich / Report No. E1852-2007-01, 2007; 31 pages

2006

Automated Tools for Teaching Formal Software Verification / I. Feinerer, G. Salzer / 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
Combining Supervaluation and Degree Based Reasoning Under Vagueness / C. Fermüller, R Kosik / 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
(Tissue) P Systems with Mate and Drip Operations and Cut and Paste Operations / R. Freund, M. Oswald / Talk: ESF Workshop on Automata and formal languages for DNA computation and bioinformatics, Como, Italien; 2006-10-18 - 2006-10-20
Special Variants of P Automata / M. Oswald / Talk: ESF Workshop on Automata and formal languages for DNA computation and bioinformatics, Como, Italien; 2006-10-18 - 2006-10-20
Theorien der Vagheit und Fuzzy Logic / C. Fermüller / Talk: Kolloquium Institut Wiener Kreis (IVC), Wien (invited); 2006-10-12
Measuring Uncertainty: On Probabilities, Possibilities, Likelihoods, Plausibilities and Degrees of Truth / C. Fermüller / Talk: Uncertainty: Reasoning about probability and vagueness, Prague International Colloquium, Prague, Cech Republic; 2006-09-30
Modelling Distributed Systems by P Systems / A. Binder, R. Freund, G. Lojka, M. Oswald / 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
(Mem)Brane Systems and Tissue P Systems with Mate and Drip Operations / R. Freund, M. Oswald / 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
P Systems for Modelling Biological Processes in Living Cells / R. Freund, T. Gschwandtner / 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
Membrane Systems with Attributes for Modelling Business Transactions / R. Freund, M. Oswald, T. Schirk / 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
Extended Spiking Neural P Systems as Generating Devices for Strings and Vectors of Non-Negative Integers / A. Alhazov, R. Freund, M. Oswald, M. Slavkovik / 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
Game based semantics for Lukasiewicz logic: acquainting Giles's gamblers with Mundici's Pinocchio / C. Fermüller / Talk: Studia Logica International Conference `Towards Mathematical Philosophy -- Trends in Logic IV', Turun, Poland; 2006-09-26
How a membrane agent buys goods in a membrane store / R. Freund, M. Oswald, T. Schirk / 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
Applications of membrane systems in distributed systems / A. Binder, R. Freund, G. Lojka, M. Oswald / 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
Model Representation via Contexts and Implicit Generalizations / C. Fermüller, R. Pichler / 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
Comparing Mathematical Proofs / S. Hetzl / Talk: Studia Logica International Conference; Towards Mathematical Philosophy; Trends in Logic IV, Torun, Poland; 2006-09-01 - 2006-09-04
System Description: The Cut-Elimination System CERES / M. Baaz, S. Hetzl, A. Leitsch, Clemens Richter, H. Spohr / 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
Generalizing Newman's Lemma for Left-Linear Rewrite Systems / B. Gramlich, S. Lucas / 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
Modeling the Dynamical Parallelism of Bio-Systems / E. Csuhaj-Varjú, R. Freund, D. Sburlan / 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
Tissue P Systems with Communication Modes / F. Bernardini, R. Freund / 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
Extended Spiking Neural P Systems Generating Strings and Vectors of Non-Negative Integers / A. Alhazov, R. Freund, M. Oswald, M. Slavkovik / 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
Tissue P systems with mate and drip operations / R. Freund, M. Oswald / 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
A Similarity Criterion for Proofs (abstract) / S. Hetzl / 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
Special variants of P systems with one catalyst in one membrane / R. Freund / Talk: DCFS (Descriptional Complexity of Formal Systems), Las Cruces, New Mexico, USA; 2006-06-21 - 2006-06-23
A small universal antiport P system with forbidden context / R. Freund, M. Oswald / Talk: DCFS (Descriptional Complexity of Formal Systems), Las Cruces, New Mexico, USA; 2006-06-21 - 2006-06-23
Lorenzen, Giles and beyond:from dialogue games to sequents and hypersequents / C. Fermüller / Talk: Universita degli Studi di Siena, Siena, Italy (invited); 2006-05-31
Algebraic representation of regular array languages / R. Freund / Talk: ESF Exploratory Workshop: Advances on Two-dimensional Language Theory, Salerno, Italien; 2006-05-03 - 2006-05-05
Syntactical pattern recognition with 2-dimensional array grammars and array automata / R. Freund / Talk: ESF Exploratory Workshop: Advances on Two-dimensional Language Theory, Salerno, Italien; 2006-05-03 - 2006-05-05
2-dimensional k-level Parallel Array Grammars / M. Oswald / Talk: ESF Exploratory Workshop: Advances on Two-dimensional Language Theory, Salerno, Italien; 2006-05-03 - 2006-05-05
Automatically Proving Confluence of Non-Terminating Rewrite Systems via a Generalized Newman-Style Approach / B. Gramlich / Talk: Seminari del Dipartimento di Informatica, Università degli Studi di Verona, Verona, Italy; 2006-04-11
CERES: Cut-Elimination by Resolution / A. Leitsch / Talk: MANYVAL 06, Gargnano; 2006-03-20 - 2006-03-22
Independant Agents in a Globalized World Modelled by Tissue P Systems / M. Oswald / Talk: International Symposium on Artificial Life and Robotics (AROB 11th '06), Beppu, Japan; 2006-01-25 - 2006-01-27
Contextual Array Grammars / R. Freund, Gh. Paun, G. Rozenberg / in: "Formal Models, Languages and Applications", K. Subramanian et al. (ed.); World Scientific, Singapore, 2006, ISBN: 981-256-889-1, 112 - 136
Proceedings 16.Theorietag Automaten und Formale Sprachen / R. Freund, M. Oswald / TU Wien, Wien, 2006
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 / Springer LNCS 3850, Berlin, 2006, ISBN: 978-3-540-30948-2; 371 pages
Proof transformation by CERES / M. Baaz, S. Hetzl, A. Leitsch, Clemens Richter, H. Spohr / Lecture Notes in Computer Science, 4108 (2006), 82 - 93
Tree Tuple Languages from the Logic Programming Point of View / G. Salzer, S Limet / Journal of Automated Reasoning, 37 (2006), 4; 323 - 349
Basic Rewriting via Logic Programming, with an Application to the Reachability Problem / G. Salzer, S Limet / Journal of Automata, Languages and Combinatorics, 11 (2006), 1; 107 - 142
P colonies and prescribed teams / R. Freund, M. Oswald / International Journal of Computer Mathematics, 83 (2006), 7; 569 - 592
Membrane division, restricted membrane creation and object complexity in P systems / A. Alhazov, R. Freund, A. Riscos-Núñez / International Journal of Computer Mathematics, 83 (2006), 7; 529 - 548
Routes and Products of Monoids / A. Mateescu, R. Freund / Fundamenta Informaticae, 73 (2006), 1-2; 205 - 211
Cell/symbol complexity of tissue P systems with symport/antiport rules / A. Alhazov, R. Freund, M. Oswald / International Journal of Foundations of Computer Science, 17 (2006), 1; 3 - 25
(Tissue) P Systems with Unit Rules and Energy Assigned to Membranes / A. Alhazov, R. Freund, A. Leporati, M. Oswald, C. Zandron / Fundamenta Informaticae, 74 (2006), 4; 391 - 408
Towards a clausal analysis of cut-elimination / M. Baaz, A. Leitsch / Journal of Symbolic Computation, 41 (2006), 381 - 410
Small Universal Antiport P Systems and Universal Multiset Grammars / R. Freund, M. Oswald / 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
Particular Results for Variants of P Systems with One Catalyst in One Membrane / R. Freund / 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
On String Languages Generated by Spiking Neural P Systems / H. Chen, R. Freund, M. Ionescu, Gh. Paun, M. Pérez-Jiménez / 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
Multiset Random Context Grammars, Checkers, and Transducers / M. Cavaliere, R. Freund, M. Oswald, D. Sburlan / 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
Two Universality Results for (Mem)Brane Systems / D. Besozzi, N. Busi, G. Franco, R. Freund, Gh. Paun / 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
Computational Power of Symport/Antiport: History, Advances, and Open Problems / A. Alhazov, R. Freund, Y. Rogozhin / 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
Symbol/Membrane Complexity of P Systems with Symport/Antiport Rules / A. Alhazov, R. Freund, M. Oswald / 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
Proof Transformation by CERES / M. Baaz, S. Hetzl, A. Leitsch, Clemens Richter, H. Spohr / in: "MKM 2006", J.M. Borwein, W.M. Farmer (ed.); Springer, Berlin Heidelberg, 2006, 82 - 93
Timed Concurrent Constraint Programming with Instantaneous Computations / M. Alpuente, B. Gramlich, A. Villanueva / in: "Proc. 6th Spanish Conference on Programming and Computer Languages (PROLE 2006)", P. Lucio (ed.); The University of the Basque Country, 2006, 221 - 230
Timed Concurrent Constraint Programming with External Functions / M. Alpuente, B. Gramlich, A. Villanueva / Report No. DSIC-II//13/06, 2006; 16 pages

2005

Abstracting from the Propositional Structure of First-Order Proofs / S. Hetzl, A. Leitsch / Talk: Paris-Vienna Workshop 2005, Paris; 2005-12-19
From classical to many-valued reasoning via dialogue games / C. Fermüller / Talk: Dpt. of Computer Sciences, Czech Academy of Sciences, Prague, Cech Republic; 2005-12-05
Cut-Elimination: Experiments with CERES / M. Baaz, S. Hetzl, A. Leitsch, Clemens Richter, H. Spohr / Talk: Second Florence-Vienna Workshop on Logic and Computation, Florenz; 2005-11-02 - 2005-11-05
CERES in many-valued logics / A. Leitsch / Talk: Second Florence-Vienna Workshop on Logic and Computation, Florenz, Italien; 2005-11-02 - 2005-11-05
From classical to many-valued reasoning via dialogue games / C. Fermüller / Talk: Second Florence-Vienna Workshop on Logic and Computation, Florence, Italy; 2005-11-02 - 2005-11-05
The Enigma of Quantifying Vague Information / C. Fermüller / Talk: The Logic of Soft Computing~IV and 4th ERCIM, Ostrava, Czech Republic; 2005-10-05 - 2005-10-07
Optimal Nonterminal Complexity of Graph-controlled Grammars / H. Fernau, R. Freund, M. Oswald, K. Reinhardt / 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
Membrane Systems as a Model for Distributed Computing / A. Binder, R. Freund, G. Lojka, M. Oswald / 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
One and Two Polarizations, Membrane Creation and Objects Complexity in P Systems / A. Alhazov, R. Freund, A. Riscos-Núñez / 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
P Colonies Working in the Maximally Parallel and in the Sequential Mode / R. Freund, M. Oswald / 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
Analytic Systems and Dialogue Games / C. Fermüller / 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
Computational Analysis of Proofs / A. Leitsch / Talk: European Summer School in Logic Language and Information 2005, Edinburgh, U.K.; 2005-08-13 - 2005-08-20
Model Representation via Contexts and Implicit Generalizations / C. Fermüller, R. Pichler / 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
Symbol/Membrane Complexity of P Systems with Symport/Antiport Rules / A. Alhazov, R. Freund, M. Oswald / 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
Computational Power of Symport/Antiport: History, Advances and Open Problems / A. Alhazov, R. Freund, Y. Rogozhin / 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
Tissue P Systems with Antiport Rules and Small Numbers of Symbols and Cells / A. Alhazov, R. Freund, M. Oswald / 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
Refining the Nonterminal Complexity of Graph-controlled Grammars / H. Fernau, R. Freund, M. Oswald, K. Reinhardt / 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
Uniform Rules and Dialogue Games for Fuzzy Logics / A. Ciabattoni, C. Fermüller, G Metcalfe / 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
Decision Procedure and Model Building Based on Hypersequent Calculi / C. Fermüller / Talk: LPAR Workshop on Analytic Proof Systems, Montevideo, Uruguay; 2005-03-13
Membrane Computing / R. Freund / Keynote Lecture: 4th WSEAS International Conference on ARTIFICIAL INTELLIGENCE, KNOWLEDGE ENGINEERING and DATABASES (AIKED `05), Salzburg (invited); 2005-02-13 - 2005-02-15
The Resolution Principle / A. Leitsch, C. Fermüller / in: "Handbook of Philosophical Logic, 2nd ed., Volume 12", D.M. Gabbay, F. Guenthner (ed.); Springer, Dordrecht, Netherlands, 2005, 87 - 173
Frontiers of Combining Systems, 5th International Workshop, FroCoS 2005, Vienna, Austria, Septemebr 2005, Proceedings, LNAI 3717 / B. Gramlich / Springer-Verlag, Berlin Heidelberg New York, 2005, ISBN: 3-540-29051-6; 321 pages
Reduction Strategies in Rewriting and Programming, Special Issue of Journal of Symbolic Computation, Volume 40, 2005, pp. 745-903 / B. Gramlich, S. Lucas / Elsevier, Elsevier, 2005, ISSN: 0747-7171; 169 pages
Reduction Strategies in Rewriting and Programming (Special Issue, Journal of Symbolic Computation): Editorial / B. Gramlich, S. Lucas / Journal of Symbolic Computation, 40 (2005), 1; 745 - 747
P systems with active membranes and without polarizations / R. Freund, A. Paun / Soft Computing, 9 (2005), 9; 657 - 663
Representations of Recursively Enumerable Array Languages by Contextual Array Grammars / H. Fernau, R. Freund, M Holzer / Fundamenta Informaticae, 64 (2005), 1-4; 159 - 170
Tissue P Systems with Channel States / R. Freund, Gh. Paun, M. Pérez-Jiménez / Theoretical Computer Science, 330 (2005), 101 - 116
Modelling Artificial Life by Attributed Eco-array Grammars / A. Binder, R. Freund, M. Oswald / Artificial Life and Robotics, 9 (2005), 1; 63 - 66
P Systems Working in the Sequential Mode on Arrays and Strings / R. Freund / International Journal of Foundations of Computer Science, 16 (2005), 4; 663 - 682
Strategic Issues, Problems and Challenges in Inductive Theorem Proving / B. Gramlich / Electronic Notes in Theoretical Computer Science (ENTCS) (invited), 125 (2005), 2; 5 - 43
Optimal Results for the Computational Completeness of Gemmating (Tissue) P Systems / R. Freund, M. Oswald, A. Paun / International Journal of Foundations of Computer Science, 16 (2005), 5; 929 - 942
Computationally Universal P Systems without Priorities: Two Catalysts are Sufficient / R. Freund, L. Kari, M. Oswald, P. Sosik / Theoretical Computer Science, 330 (2005), 251 - 266
An unexpected separation result in linearly bounded arithmetic / A. Beckmann, J Johannsen / Mathematical Logic Quarterly, 51 (2005), 2; 191 - 200
Cut-Elimination: Experiments with CERES / M. Baaz, S. Hetzl, A. Leitsch, Clemens Richter, H. Spohr / 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
The τ model, fomalizing topic maps / G. Salzer, R. Barta / 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
A Graph-Theoretic Approach to Steganography / S. Hetzl, P. Mutzel / 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
Computational Completeness of P Systems with Active Membranes and Two Polarizations / A. Alhazov, R. Freund, Gh. Paun / in: "Machines, Computations, and Universality", M. Margenstern (ed.); Springer, LNCS, Berlin, 2005, ISBN: 3-540-25261-4, 82 - 92
Tissue P Systems with Symport/Antiport Rules of One Symbol are Computationally Universal / R. Freund, M. Oswald / 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
Some Optimal Results on Symport/Antiport P Systems with Minimal Cooperation / A. Alhazov, R. Freund, Y. Rogozhin / 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
Tissue P Systems with Antiport Rules and Small Numbers of Symbols and Cells / A. Alhazov, R. Freund, M. Oswald / 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
Matrix Languages, Register Machines, Vector Addition Systems / R. Freund, O.H. Ibarra, Gh. Paun, H.-C. Yen / 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
Event-related Outputs of Computations in P Systems / M. Cavaliere, R. Freund, A. Leitsch, Gh. Paun / 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
P Systems with One Membrane and Symport/Antiport Rules of Five Symbols are Coputationally Complete / A. Alhazov, R. Freund / 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
CERES in many-valued logics / M. Baaz, A. Leitsch / 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 Systems Generating Trees / R. Freund, M. Oswald, A. Paun / 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
On the Efficiency of P Systems with Active Membranes and Two Polarizations / A. Alhazov, R. Freund / 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
Asynchronous P Systems and P Systems Working in the Sequential Mode / R. Freund / 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
Sequential P Systems with Unit Rules and Energy Assigned to Membranes / R. Freund, A. Leporati, M. Oswald, C. Zandron / in: "Machines, Computations, and Universality", M. Margenstern (ed.); Springer, LNCS, Berlin, 2005, ISBN: 3-540-25261-4, 200 - 210
Resolution Theorem Proving: a logical point of view / A. Leitsch / 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
CERES in Many-Valued Logics / A. Leitsch, M. Baaz / 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

2004

CERES: Cut-elimination by Resolution / A. Leitsch / Talk: Paris-Vienna Workshop 2004 on Proof Systems, Paris (invited); 2004-12-13 - 2004-12-14
Fuzzy Logics from First Principles / C. Fermüller / Talk: Paris-Vienna Workshop 2004 on Proof Systems, Paris (invited); 2004-12-13 - 2004-12-14
Viewing proofs in bounded arithmetic as programs / A. Beckmann / Talk: Paris-Vienna Workshop 2004 on Proof Systems, Paris; 2004-12-13 - 2004-12-14
Asynchronous P Systems on Arrays and Strings / R. Freund / Talk: International Conference on Developments in Language Theory (DLT), Auckland, New Zealand; 2004-12-13 - 2004-12-17
Cellular Automata and Parallel Array Systems / R. Freund, F. Tafill / 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
Tissue P Systems Simulating Grammar Systems / R. Freund, M. Oswald / Talk: Molecular Computing, Leiden, the Netherlands; 2004-11-22 - 2004-11-26
P Systems Working in the Asynchronous and the Sequential Mode / R. Freund / Talk: Molecular Computing, Leiden, the Netherlands; 2004-11-22 - 2004-11-26
Revisiting Giles: Connecting Bets, Dialogue Games, and Fuzzy Logics / C. Fermüller / Talk: Logic, Games and Philosophy - Foundational Perspectives, Prague, Czech Republic; 2004-09-28 - 2004-10-01
Implementierung von katalytischen P-Systemen / A. Binder, R. Freund, G. Lojka, M. Oswald / 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
Modellierung von Grammatiksystemen durch P-Systeme / R. Freund, M. Oswald / 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
P-Systeme im sequentiellen Modus / R. Freund / 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
Sequential P Systems with Unit Rules and Energy Assigned to Membranes / R. Freund, A. Leporati, M. Oswald, C. Zandron / Talk: MCU (International Conference Machines, Computations and Universality), St. Petersburg, Russia; 2004-09-21 - 2004-09-26
Computational Completeness of P Systems with Active Membranes and Two Polarizations / A. Alhazov, R. Freund, Gh. Paun / Talk: MCU (International Conference Machines, Computations and Universality), St. Petersburg, Russia; 2004-09-21 - 2004-09-26
CERES: Cut-Elimination by Resolution / A. Leitsch / Talk: Eingeladener Vortrag an Universitaet, Universitaet Utrecht, Niederlande; 2004-09-10
Computations with 1-deterministic P Systems Using Antiport/Symport Rules for Evolution Rules / M. Oswald / Talk: WSEAS International Conference on Mathematical Biology and Ecology, Corfu, Greece; 2004-08-17 - 2004-08-19
Extended Gemmating P Systems are Computationally Complete with Four Membranes / R. Freund, M. Oswald, A. Paun / 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
Implementation of Catalytic P Systems / A. Binder, R. Freund, G. Lojka, M. Oswald / 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
Revisiting Giles: On Bets, Dialogue Games, Fuzzy logics, and Hypersequents / C. Fermüller / Talk: COS - ESF Exploratory Workshop ``The Challenge of Semantics', Vienna (invited); 2004-07-12 - 2004-07-17
On a connection between Gdel logics and linearly ordered Kripke frames / A. Beckmann / Talk: COS - ESF Exploratory Workshop ``The Challenge of Semantics', Vienna (invited); 2004-07-12 - 2004-07-17
Modelling Grammar Systems by Tissue P Systems / R. Freund, M. Oswald / 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
On Strategies for Inductive Theorem Proving / B. Gramlich / 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
Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains / A Gil, M. Hermann, G. Salzer, B Zanuttini / Talk: Second International Joint Conference, IJCAR 2004, Cork; 2004-07-04 - 2004-07-08
Strategien in Computationaler Logik / B. Gramlich / Talk: Eingeladener Vortrag an Universitaet, Kaiserslautern (Technische Universität) (invited); 2004-06-16
P Systems Generating Trees / R. Freund, M. Oswald, A. Paun / 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
On the Efficiency of P Systems with Active Membranes and Two Polarizations. / A. Alhazov, R. Freund / 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
Asynchronous P Systems / R. Freund / 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
Proving Properties of Term Rewrite Systems via Logic Programs / G. Salzer, S Limet / Talk: RTA'04, Aachen; 2004-06-03 - 2004-06-05
Modularity of Termination of Left-Linear Rewrite Systems Revisited / B. Gramlich / 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
Countable orderings and continuous embeddability / N. Preining / Talk: 3rd Moscow-Vienna Workshop on Logic and Computation, Moscow (invited); 2004-05-31 - 2004-06-01
Abstract measures for low level complexity / A. Beckmann / Talk: 3rd Moscow-Vienna Workshop on Logic and Computation, Moskow (invited); 2004-05-31 - 2004-06-01
Dialogue games as foundation of fuzzy logics / C. Fermüller / Talk: 3rd Moscow-Vienna Workshop on Logic and Computation, Moscow (invited); 2004-05-31 - 2004-06-01
Modular Context-Sensitive Algebraic Specifications / B. Gramlich, S. Lucas / 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
P Systems with Antiport Rules for Evolution Rules / R. Freund, M. Oswald / Talk: WSEAS Internation Conference on Evolutionary Computation, Udine, Italy; 2004-03-25 - 2004-03-27
Modelling Artificial Life by Attributed Eco-array Systems / A. Binder, R. Freund, M. Oswald / 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
Cut-Elimination by Resolution / A. Leitsch / Talk: First Vienna-Florence Workshop on Logic and Computation, Florence (invited); 2004-01-27 - 2004-01-31
An Overview on Countable Gödel Logics / N. Preining / Talk: First Florence-Vienna Workshop on Logic and Computation, Florence (invited); 2004-01-27 - 2004-01-30
A Dialogue Game for Intuitionistic Fuzzy Logic Based on Comparisons of Degrees of Truth / C. Fermüller / Talk: First Florence-Vienna Workshop on Logic and Computation, Florence, Italy; 2004-01-27 - 2004-01-30
Automated Model Building / R. Caferra, A. Leitsch, N. Peltier / Kluwer Academic Publishers, Dordrecht, The Netherlands, 2004, ISBN: 1-4020-2652-8; 341 pages
Bounded Arithmetic and Resolution-Based Proof Systems / A. Beckmann, J Johannsen / Kurt Gödel Society, Wien, 2004, ISBN: 3-901546-02-2; 130 pages
Splicing Test Tube Systems and Their Relation to Splicing Membrane Systems / F. Freund, R. Freund, M. Oswald / 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
P Systems with Conditional Communication Rules Assigned to Membranes / R. Freund, M. Oswald / Journal of Automata, Languages and Combinatorics, 9 (2004), 4; 387 - 397
Preservation theorems and restricted consistency statements in bounded arithmetic / A. Beckmann / Annals of Pure and Applied Logic, 126 (2004), 255 - 280
Computations with 1-deterministic P Systems Using Antiport/Symport Rules for Evolution Rules / M. Oswald / WSEAS Transactions on Biology and Biomedicine, 2 (2004), 1; 280 - 286
P Systems with Antiport Rules for Evolution Rules / R. Freund, M. Oswald / WSEAS Transactions on Systems, 2 (2004), 3; 866 - 873
P Automata with Membrane Channels / R. Freund, M. Oswald / Artificial Life and Robotics, 8 (2004), 2; 186 - 189
P Systems with Local Graph Productions / R. Freund, M. Oswald / New Generation Computing, 22 (2004), 365 - 375
From Regulated Rewriting to Computing with Membranes: collapsing Hierarchies / R. Freund, C. Martin-Vide, Gh. Paun / Theoretical Computer Science, 312 (2004), 143 - 188
P Systems Working in the Sequential Mode on Arrays and Strings / R. Freund / 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
P Systems with Active Membranes and without Polarizations / R. Freund, A. Paun / 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
Proving Properties of Term Rewrite Systems via Logic Programs / G. Salzer, S Limet / 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
Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains (Extended Abstract) / A Gil, M Herman, G. Salzer, B Zanuttini / 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
Tissue-like P Systems with Channel-States / R. Freund, Gh. Paun, M. Pérez-Jiménez / 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
P Systems with Antiport Rules for Evolution Rules / R. Freund, M. Oswald / 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
Sequential P Systems with Unit Rules and Energy Assigned to Membranes / R. Freund, A. Leporati, M. Oswald, C. Zandron / 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
P Systems with Active Membranes and Two Polarizations / A. Alhazov, R. Freund, Gh. Paun / 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
P Systems with Cutting/Recombination Rules Assigned to Membranes / F. Freund, R. Freund, M. Oswald, M. Margenstern, Y. Rogozhin, S. Verlan / 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
ω-P automata with Communication Rules / R. Freund, M. Oswald, L. Staiger / 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
Modelling Grammar Systems by Tissue P Systems Working in the Sequential Mode / R. Freund, M. Oswald / in: "Proceedings of Grammar Systems Week 2004, Budapest, Hungary, July 5-9, 2004", E. Csuhaj-Varjú, Gy. Vaszil (ed.); MTA Sztaki, 2004, 179 - 199

2003

A Dialogue Game for Intuitionistic Fuzzy Logic Based on Comparisons of Degrees of Truth / C. Fermüller, N Preining / 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
On Modularity in Context-Sensitive Rewriting / B. Gramlich / Talk: LORIA/INRIA, Nancy, France, Nancy, France (invited); 2003-12-03
Complexity of P Automata with Catalysts / R. Freund, M. Oswald / Talk: Annual Meeting of Project MolCoNet, Vienna, Austria; 2003-11-27 - 2003-11-29
P Automaten und ω-P Automaten / R. Freund, M. Oswald, L. Staiger / 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
MUltlog and MUltseq Reanimated and Married / M. Baaz, C. Fermüller, A Gil, N Preining, G. Salzer / 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
A translation characterizing the constructive content of classical theories / M. Baaz, C. Fermüller / 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
Parallel Dialogue Games and Hypersequents for Intermediate Logics / C. Fermüller / 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
ω-P automata with Communication Rules / R. Freund, M. Oswald, L. Staiger / Talk: Workshop on Membrane Computing, Tarragona, Spain; 2003-07-17 - 2003-07-22; in: "Preproceedings of the Workshop on Membrane Computing", (2003), 252 - 265
P systems with cutting/recombination rules assigned to membranes / F. Freund, R. Freund, M. Margenstern, M. Oswald / Talk: Workshop on Membrane Computing, Tarragona, Spain; 2003-07-17 - 2003-07-23; in: "Preproceedings of the Workshop on Membrane Computing", (2003), 241 - 251
P systems with Conditional Communication Rules Assigned to Membranes / R. Freund, M. Oswald / Talk: Workshop on Membrane Computing, Tarragona; 2003-07-17 - 2003-07-22; in: "Preproceedings of the Workshop on Membrane Computing", (2003), 231 - 240
Reducing the Number of Catalysts Needed in Computationally Universal Systems without Priorities / R. Freund, M. Oswald, P. Sosik / 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
On Three Classes Automata-like P Systems / R. Freund, C. Martin-Vide, A. Obtulowicz, Gh. Paun / 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
On Interreduction of Semi-Complete Term Rewrite Systems / B. Gramlich / Talk: DSIC Seminars, UPV, Valencia, Spain (invited); 2003-06-19
Manipulating Tree Tuple Languages by Transforming Logic Programs / G. Salzer, S Limet / 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
Dialogue Games for Modelling Proof Search in Nonclassical Logic / C. Fermüller / 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
Progress Report on Term Rewriting / B. Gramlich / Talk: Annual Meeting of the IFIP-WG 1.6 - Term Rewriting, Valencia, Spain (invited); 2003-06-12
Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics / M. Baaz, N. Preining, R Zach / 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
From Intuitionistic Logic to Gödel-Dummett Logic via Parallel Dialogue Games / C. Fermüller, A. Ciabattoni / 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
P Systems with Elementary Graph Productions / R. Freund, M. Oswald / Talk: EMCC Spring Meeting, Turku, Finland; 2003-05-15 - 2003-05-17
Clause Evaluation over Herbrand Interpretations / A. Leitsch / Talk: Seminar on Deduction and Infinite-state Model Checking, Dagstuhl, Germany (invited); 2003-04-21 - 2003-04-25
P Automata with Membrane Channels / M. Oswald, R. Freund / 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
Sequent of Relations Calculi: A Framework for Analytic Deduction in Many-Valued Logics / M. Baaz, A. Ciabattoni, C. Fermüller / 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
3rd International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2003) - Final Proceedings / B. Gramlich, S. Lucas / Elsevier Science Publishers, 2003, ISSN: 1571-0661
Reduction Strategies in Rewriting and Programming, Proceedings of WRS'03 / B. Gramlich, S. Lucas / Universidad Politecnica de Valencia, 2003, ISBN: 84-96221-03-2
A Note on Emergence in Multi-Agent String Processing Systems / R. Freund, J Kelemen, Gh. Paun / Computing and Informatics, 22 (2003), 623 - 637
Ordinal Notations and Well-Orderings in Bounded Arithmetic / A. Beckmann, S Buss, C Pollett / Annals of Pure and Applied Logic, 120 (2003), 197 - 222
Dynamic ordinal analysis / A. Beckmann / Archive for Mathematical Logic, 42 (2003), 303 - 334
Hypersequent Calculi for Gödel Logics - a Survey / M. Baaz, A. Ciabattoni, C. Fermüller / Journal of Logic and Computation, 13 (2003), 6; 835 - 861
Hybrid Modes in Cooperating Distributed Grammar Systems: Combining the t-mode with the Modes <=k and =k / H. Fernau, M Holzer, R. Freund / Theoretical Computer Science, 299 (2003), 633 - 662
Theories of Vagueness Versus Fuzzy Logic: Can Logicians Learn from Philosophers? / C. Fermüller / Neural Network World (invited), 13 (2003), 5; 455 - 466
P Systems Without Priorities are Computationally Universal / P. Sosik, R. Freund / in: "Membrane Computing. International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania", R. Freund (ed.); Springer, 2003, ISBN: 3-540-00611-7, 400 - 409
Membrane Systems with Symport/Antiport: Universality Results / R. Freund, Gh. Paun / 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
P Systems with Activated/Prohibited Membrane Channels / R. Freund, M. Oswald / 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
Energy-controlled P systems / R. Freund / 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
From intuitionistic logic to Gödel-Dummett logic via parallel dialogue games / C. Fermüller, A. Ciabattoni / in: "Proceedings of the 33rd International Symposium on Multiple-Valued Logic", IEEE Press, Washington, 2003, ISSN: 0195-623x, 188 - 193
A dialogue game for intuitionistic fuzzy logic based on comparisons of degrees of truth / C. Fermüller, N. Preining / 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
MUltlog and MUltseq reanimated and married / M. Baaz, C. Fermüller, A. Gil, G. Salzer, N. Preining / in: "Proceedings of the 4th Workshop on the Implementation of Logics", B. Konev, R. Schmidt (ed.); University of Liverpool, 2003, 5 pages
Characterization of Gödel logics with countable truth value sets / N. Preining / Talk: LOGSOFCOM'03, Siena, Italy; 2003

2002

P automata on finite and infinite words / R. Freund / Talk: Annual Meeting of Project MolCoNet, Budapest; 2002-11-29 - 2002-11-30
Parallel Dialogue Games for Gödel Logic / C. Fermüller / Talk: Amadee-Meeting, Universite Paris VII, Paris, France; 2002-11-20
Excursions of a computer scientist into the realm of logic / G. Salzer / Talk: Seminarvortrag, Brno, Czech Republic (invited); 2002-10-29
Parallel Dialogue Games for Intermediate Logics / C. Fermüller / Talk: Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), Tblilisi, Georgia (invited); 2002-10-14 - 2002-10-18
Verallgemeinerte P-Systeme mit verbotenem Kontext / M. Oswald / Talk: Theorietag Automaten und Formale Sprachen, Wittenberg; 2002-09-23 - 2002-09-26; in: "Proceedings 12. Theorietag Automaten und Formale Sprachen", (2002), 40 - 41
P-Systeme mit Energiekontrolle / R. Freund / Talk: Theorietag Automaten und Formale Sprachen, Wittenberg; 2002-09-23 - 2002-09-26; in: " Proceedings 12. Theorietag Automaten und Formale Sprachen", (2002), 27 - 28
Energy-controlled P systems / R. Freund / Talk: Workshop on Membrane Computing, Curtea de Arges, Romania; 2002-08-19 - 2002-08-23; in: "Workshop on Membrane Computing", MolCoNet, (2002), 221 - 236
P systems with activated/prohibited membrane channels / M. Oswald / Talk: Workshop on Membrane Computing, Curtea de Arges, Romania; 2002-08-19 - 2002-08-23
Some comments on P systems with communication / R. Freund / Talk: Workshop on Membrane Computing, Curtea de Arges, Romania; 2002-08-19 - 2002-08-23
P systems versus register machines: two universality proofs / R. Freund / Talk: Workshop on Membrane Computing, Curtea de Arges, Romania; 2002-08-19 - 2002-08-23
On Modularity in Context-Sensitive Rewriting / B. Gramlich / Talk: 4th Annual Meeting of the IFIP Working Group 1.6 - Term Rewriting, Copenhagen, Denmark; 2002-07-28
Algorithmic Aspects of Herbrand Models Represented by Ground Atoms with Ground Equations / B. Gramlich, R. Pichler / 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
On Modular Aspects of Context-Sensitive Rewriting / B. Gramlich / Talk: Accion Integrada Project Meeting, Wien (invited); 2002-06-20
Characterizing Gödel logic by parallellizing Lorenzen's dialogue semantics / C. Fermüller / Talk: Accion Integrada Meeting, Bellaterra, Spain; 2002-05-20
A Natural Deduction System for Intuitionistic Fuzzy Logic / C. Fermüller / Talk: Moscow-Vienna Workshop on Logic and Computation, Moscow; 2002-04-28
2nd International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2002) - Final Proceedings / B. Gramlich, S. Lucas / Elsevier Science Publishers, 2002, ISBN: 0444513132
Proceedings of the Eleventh Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX-02) / U. Egly, C. Fermüller / Springer, 2002, ISBN: 3-540-43929-3; 340 pages
A Short Note on Analysing P Systems with Antiport Rules / R. Freund, M. Oswald / EATCS Bulletin, 78 (2002), 231 - 236
GP Systems with Forbidding Context / R. Freund, M. Oswald / Fundamenta Informaticae, 49 (2002), 1-3; 81 - 102
On some operations on strings suggested by gene assembly in ciliates / R. Freund, C. Martin-Vide, V. Mitrana et al. / New Generation Computing, 20 (2002), 279 - 293
String Rewriting Sequential P-Systems and Regulated Rewriting / P. Sosik, R. Freund / in: "Developments in Language Theory", issued by: Werner Kuich, Grzegorz Rozenberg, Arto Salomaa; Springer, 2002, ISBN: 3-540-43453-4, 379 - 388
Improving On-demand Strategy Annotations / M. Alpuente, S. Escobar, B. Gramlich, S. Lucas / in: "Proc. 9th LPAR 2002", issued by: Matthias Baaz, Andrei Voronkov; Springer, 2002, ISBN: 3-540-00010-0, 1 - 18
Modular Termination of Context-Sensitive Rewriting / B. Gramlich, S. Lucas / 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
Simple Termination of Context-Sensitive Rewriting / B. Gramlich, S. Lucas / in: "Proc. 3rd ACM Sigplan Workshop on Rule-based Programming (RULE 2002)", Springer, 2002, ISBN: 1-58113-606-4, 29 - 41
Simplifying Termination Proofs by Program Transformation / B. Gramlich / Talk: DISC Seminars, Valencia, Spain; 2002

Theses

2020

Erhebung und Evaluierung von möglichen Potentialen der elektronischen Patientenakte in Österreich aus Sicht der Senioren und Seniorinnen / Master Thesis by M. Schein / Supervisor: R. Freund; 192-05, 2020
Requirements Engineering and Case Studies of Campus Management Systems for Midsize Private Universities / Master Thesis by A. Fida / Supervisor: R. Freund; 192-05, 2020
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 / Master Thesis by N. Tanjga / Supervisor: R. Freund; 192-05, 2020; final examination: 2020

2019

Intermediate logics and concurrent lambda-calculi: a proof theoretic approach / Doctoral Thesis by F. Genco / Supervisor, Reviewer: A. Ciabattoni, E. Bartocci; Institut für Logic und Computation, 2019; oral examination: 2019-05-08
Concept of a Web-based Application for Cooperative Teamwork in the Field of Teaching of Software Techniques / Master Thesis by E. Meszarosne Csuta / Supervisor: R. Freund; 192-05, 2019

2018

Algorithmic Introduction of ∏2-Cut / Doctoral Thesis by M. Lettmann / Supervisor, Reviewer: A. Leitsch, M. Baaz; Institut für Logic and Computation, 2018; oral examination: 2018-10-30
Proof Theory for Modal Logics: Embedding between Hypersequent Calculi and Systems of Rules / Master Thesis by S. Pavlovic / Supervisor: A. Ciabattoni; Institut für Logic and Computation, 2018; final examination: 2018-10-15
Connecting Formal Logics and Argumentation Systems / Master Thesis by A. Rapberger / Supervisor: C. Fermüller; Institut für Logic and Computation, 2018; final examination: 2018-07-13
Formal Reasoning about Fuzzy Evaluation Games / Master Thesis by S. Ivanov / Supervisor: C. Fermüller; Institut für Logic and Computation, 2018; final examination: 2018-06-05
Puzzling Ignorance: A Modal Epistemic Tour / Master Thesis by A. Da Costa Oliveira / Supervisor: C. Fermüller; Institut für Logic and Computation, 2018; final examination: 2018-04-09
Implementierung und Vergleich von Quantoren-Fuzzifikationsmechanismen / Master Thesis by C. Okulmus / Supervisor: C. Fermüller; Institut für Logic and Computation, 2018; final examination: 2018-04-04
Applications of Higher-Order Cut-Elimination / Doctoral Thesis by M. Riener / Supervisor, Reviewer: A. Leitsch, C. Benzmüller; Institut für Computersprachen, 2018
Analyse, Design und Implementierung von Serious Gaming zur Förderung eines gesunden Lebensstils / Master Thesis by L. Dobler / Supervisor: R. Freund; 192/5, 2018
Analyse, Design und prototypische Umsetzung einer mobilen Applikation zur Gesundheitsförderung unterstützt durch Wearables / Master Thesis by S. Schlossarek / Supervisor: R. Freund; 192/5, 2018
Fine-Grained Access Control in an Animal Health Record / Master Thesis by A. Romar / Supervisor: R. Freund; 192/5, 2018

2017

Entwurf und Entwicklung eines webbasierten Workflow-Systems zur Abbildung von Prozessen der Bildungsmobilität / Master Thesis by M. Özdemir / Supervisor: R. Freund; 185/2, 2017
Konzeption und Entwicklung einer prototypischen Software-Applikation zur Unterstützung der Qualitätssicherung von patientenbezogener Strahlenbelastung bei digitalen Röntgenaufnahmen / Master Thesis by B. Steyrer / Supervisor: R. Freund; 185/2, 2017
Rendering Knowledge in Information Security Tangible - State of the Art and Trends in Education / Master Thesis by T. Ackermann / Supervisor: R. Freund; 185/2, 2017

2016

Ceres in aussagenlogischen Beweisschemata / Master Thesis by A. Condoluci / Supervisor: A. Leitsch; Institut für Computersprachen, 2016; final examination: 2016-10-07
Cut-Elimination in Functional Higher-Order Logic / Master Thesis by N. Pona / Supervisor: A. Leitsch; Institut für Computersprachen, 2016; final examination: 2016-09-21
Design and Evaluation of a Natural Language Processing Based Methodology for Classification and Profiling of Artifacts in Software Evolution / Doctoral Thesis by A. Mauczka / Supervisor, Reviewer: T. Grechenig, R. Freund; 183-1, 2016
Evaluierung von Open-Source-Lösungen zur Umsetzung eines Softwaresystems für eine elektronische Registrierkasse / Master Thesis by M. Schmitt / Supervisor: R. Freund; 185-2, 2016
Design-Empfehlungen für die sichere Übermittlung von Nachrichten auf mobilen Plattformen / Master Thesis by F. Jungwirth / Supervisor: R. Freund; 185-2, 2016
Sicherheit, Usability und Vertrauen: Der Raum der Nutzerpräferenzen und Entscheidungskriterien bei der Auswahl von mobilen Messaging-Apps / Master Thesis by C. Wöss / Supervisor: R. Freund; 185-2, 2016
Entwurf eines Infrarot-3D-Scannersystems zur dreidimensionalen bildgebenden Diagnostik / Master Thesis by S. Blumberger / Supervisor: R. Freund; 185-2, 2016
A Cryptographic Concept for the Secure Storage and Transmission of Medical Images on iOS Devices / Master Thesis by M. Niszl / Supervisor: R. Freund; 185-2, 2016

2015

Standard completeness: Proof-theoretic and algebraic methods / Doctoral Thesis by P. Baldi / Supervisor, Reviewer: A. Ciabattoni, G Metcalfe; Institut für Computersprachen, 2015; oral examination: 2015-08-12
Tools for the investigation of non-classical logics / Doctoral Thesis by L. Spendier / Supervisor, Reviewer: A. Ciabattoni, E. Pimentel; Institut für Computersprachen, 2015; oral examination: 2015-06-18
Advances in Schematic Cut Elimination / Doctoral Thesis by D. Cerna / Supervisor, Reviewer: A. Leitsch, N. Peltier, G. Moser; Institut für Computersprachen, 2015; oral examination: 2015-04-14
Simulation in Metabolic Networks / Doctoral Thesis by C. Siehs / Supervisor, Reviewer: R. Freund, B. Mayer; 185-2, 2015
Vorgehensmodelle für die Software-Entwicklung im Game Development: Erarbeitung eines Best Practice-Konzepts / Master Thesis by R. Alani / Supervisor: R. Freund; 185-2, 2015
Konzeption eines KIS für ein Iranisches Krankenhaus / Master Thesis by D. Nasseri / Supervisor: R. Freund; 185-2, 2015
Entwicklung einer E-Partizipations-Plattform für Jugendliche innerhalb des sozialen Netzwerk Facebook / Master Thesis by D. Oberhumer / Supervisor: R. Freund; 185-2, 2015
Development of a M-Health Strategy for the Field of Mechanically Ventilated Patients / Master Thesis by T. Guttenberger / Supervisor: R. Freund; 185-2, 2015
Analysis and Framework for the Civil Register of an Emergent North-African Country / Master Thesis by S. El Kebir / Supervisor: R. Freund; 185-2, 2015
Identification and Handling of Typical Implementation Problems of Hospital Information Systems in Large-Scale Hospitals / Master Thesis by T. Wunderer / Supervisor: R. Freund; 185-2, 2015
"Gehirnmonopole" als Risiko des Wissensmanagements bei wissensgestützten Unternehmen / Master Thesis by M. Banke / Supervisor: R. Freund; 185-2, 2015
Engineering eines Cockpits für die dynamische und interaktive Visualisierung des Betriebes eines landesweiten NFC-Bezahlsystems / Master Thesis by A. Hengl / Supervisor: R. Freund; 185-2, 2015
Analyse, Design und prototypische Entwicklung eines Serious Game zur Motivationssteigerung und Erhöhung der körperlichen Aktivität / Master Thesis by D. Binder / Supervisor: R. Freund; 185-2, 2015
Erarbeitung eines strukturierten Vorgehensmodells zur organischen Evolution von IT Startups / Master Thesis by S. Grabher / Supervisor: R. Freund; 185-2, 2015
Konzipierung und prototypische Implementierung eines Continuous Integration Systems zur Steigerung der Softwarequalität im heterogenen Umfeld der Herstellung von mikroprozessorgesteuerten Prothesen / Master Thesis by L. Lechner / Supervisor: R. Freund; E185/2, 2015
Vorgehensmodelle für die Software-Entwicklung im Game Development: Erarbeitung eines Best Practice-Konzepts / Master Thesis by A. Komarek / Supervisor: R. Freund, R. Vallon; E185/2, 2015

2014

Analyzing fuzzy and contextual approaches to vagueness by semantic games / Doctoral Thesis by Ch Roschger / Supervisor, Reviewer: C. Fermüller, O. Majer; Institut für Computersprachen, 2014; oral examination: 2014-11-27
Preuves par induction dans le calcul de superposition / Doctoral Thesis by A. Kersani / Supervisor, Reviewer: A. Leitsch, N. Peltier; Universite de Grenoble, France, 2014; oral examination: 2014-10-30
Cut-elimination by resolution in intuitionistic logic / Doctoral Thesis by G. Reis / Supervisor, Reviewer: A. Leitsch, R. Iemhoff; Institut für Computersprachen, 2014; oral examination: 2014-07-16
Evaluierung und Optimierung eines Studiensystems zur objektiven Bewertung von Hautrötungen im Umfeld klinischer Studien am Beispiel einer Medikamentenstudie im Bereich der Brustkrebstherapie / Master Thesis by M. Ratzinger / Supervisor: R. Freund; 185-2, 2014
Analyse der Navigation und Steuerung von 3D-Bewegungen via Brain-Computer-Interface / Master Thesis by C. Lachner / Supervisor: R. Freund; 185-2, 2014
Analyse, Evaluierung und prototypische Entwicklung einer Online-Plattform für den normierten Leistungsvergleich im Laufsport / Master Thesis by R. Nourzad / Supervisor: R. Freund; 185-2, 2014
Measuring Personality Types in Software Project Teams / Master Thesis by A. Aigner / Supervisor: R. Freund; 185-2, 2014
Analyse, Konzeption und prototypische Entwicklung eines mobilen Serious Game zur Unterstützung des Rehabilitationsprozesses bei Handgelenkverletzungen / Master Thesis by F. Reisecker / Supervisor: R. Freund; 185-2, 2014
Visualization of Quality of Life on a Digital Urban Map / Master Thesis by P. Benkö / Supervisor: R. Freund; 185-2, 2014
Prototypical Implementation of an Animal Health Record (AHR) for Livestock Management / Master Thesis by C. Aigner / Supervisor: R. Freund; 185-2, 2014

2013

Numeric Methods for Configuration Management / Doctoral Thesis by T. Sisel / Supervisor, Reviewer: G. Salzer, M. Schmidt-Schauss; Institut für Computersprachen, 2013; oral examination: 2013-11-19
Using Mobile Technology for Monitoring Behavior of Self-Injurious Patients: Requirements and Concept System Design / Master Thesis by N. Lederer / Supervisor: R. Freund; E185/2, 2013; final examination: 2013-08-29
Entwurf und Entwicklung eines mehrdimensionalen vorschlagsbasierten Suchsystems für konsumorientierte E-Markets / Master Thesis by M. Lux / Supervisor: R. Freund; E185/2, 2013; final examination: 2013-08-29
Der Prozess des Engineerings der Migration von Web2(Native)App / Master Thesis by G. Sabau / Supervisor: R. Freund; E185/2, 2013; final examination: 2013-05-08
Scope and depth efficient testing approach and framework for enhancing the detection of IT security bugs / Doctoral Thesis by C. Schanes / Supervisor, Reviewer: T. Grechenig, R. Freund; E183/1, 2013; oral examination: 2013-05-06
Entwurf und Implementierung eines Protokolls für Einsatz- und Notfalldaten / Master Thesis by C. Preier / Supervisor: R. Freund; E185/2, 2013; final examination: 2013-03-21
Unification in Higher-order Resolution / Doctoral Thesis by T. Libal / Supervisor, Reviewer: A. Leitsch, M. Schmidt-Schauss; Institut für Computersprachen, 2013; oral examination: 2013-02-22
owards Differential-Based Continuous Code Reviews / Doctoral Thesis by M. Bernhart / Supervisor, Reviewer: T. Grechenig, R. Freund; E183/1, 2013; oral examination: 2013-01-23

2012

CERES in Proof Schemata / Doctoral Thesis by M. Rukhaia / Supervisor, Reviewer: N. Peltier, A. Leitsch; Institut für Computersprachen E185/2, 2012; oral examination: 2012-12-17
Automation of cut-elimination in proof schemata / Doctoral Thesis by T. Dunchev / Supervisor, Reviewer: A. Leitsch, N. Peltier; Institut für Computersprachen E185/2, 2012; oral examination: 2012-12-17
Description Logic Based Reasoning on Programming / Master Thesis by R. de Haan / Supervisor: B. Gramlich; Fakultät für Informatik der Technischen Universität Wien, 2012; final examination: 2012-09-28
Computergesteuerte Hilfe für deutschsprachige Aphasiker und Aphasikerinnen / Doctoral Thesis by J Bradley / Supervisor, Reviewer: W.L. Zagler, W. Winiwarter; Institut für Gestaltungs- und Wirkungsforschung, 2012; oral examination: 2012-06-20
Strukturen und Optionen des Mediums Mobile Phone im sekundären Bildungsbereich / Doctoral Thesis by G. Schmiedl / Supervisor, Reviewer: T. Grechenig, R. Freund; 183/1, 2012; oral examination: 2012-01-12
Konzept und Implementierung einer mobilen Applikation zum Zwecke der Wundidentifikation und Wunddokumentation / Master Thesis by D. Kontner / Supervisor: R. Freund; E185/2, 2012
Entwurf und Entwicklung eines mobilen Patientendatenerfassungssystems im Rettungsdienst / Master Thesis by M. Schacherl / Supervisor: R. Freund; E185/2, 2012
Entwurf und Implementierung einer Domain Specific Language zur effektiven Modellierung von Formulardaten im Bereich der medizinischen Dokumentation / Master Thesis by T. Lemmé / Supervisor: R. Freund; E185/2, 2012
Analyse, Systemdesign und Architekturentwurf einer elektronischen Gesundheitsakte für Nutztiere / Master Thesis by A. Füresz / Supervisor: R. Freund; E185/2, 2012
Analyse, Optimierung und Training eines Testprozesses innerhalb einer e-Health Produktlinie / Master Thesis by A. Mündler / Supervisor: R. Freund; 185/2, 2012

2011

Extending VMTL by a More Flexible Control and New Methods / Master Thesis by S. Graczoll / Supervisor: B. Gramlich; Institut fuer Computersprachen, 2011; final examination: 2011-11-22
Integrating Theories into Inference Systems / Master Thesis by M. Riener / Supervisor: A. Leitsch; Institut für Computersprachen, 2011; final examination: 2011-03-23
Applications and Generalizations of Context-Sensitive Term Rewriting / Doctoral Thesis by F. Schernhammer / Supervisor, Reviewer: B. Gramlich, S. Lucas; Institut fuer Computersprachen, 2011; oral examination: 2011-01-31
Konzept, Entwicklung und Schulungsmaßnahmen einer Echtzeitansteuerung von Software durch mobile Geräte / Master Thesis by C. Hammer / Supervisor: R. Freund; 185/2, 2011
Education of emergency personnel for the adoption of an electronic triage tag framework / Master Thesis by E. Srndic / Supervisor: R. Freund; 185/2, 2011
Requirementsanalyse und Prototyp einer klinischen Plattform zur aktiven Patientenpartizipation / Master Thesis by M. Eder / Supervisor: R. Freund; 185/2, 2011
Methoden zur Akzeptanzsteigerung eines Informationssystems im Gesundheitswesen durch Evaluierung und Umsetzung von Usability- und Medienkonzepten anhand eines Fallbeispiels / Master Thesis by B. Lindenbauer / Supervisor: R. Freund; 185/2, 2011
Erhebung und Analyse der Anforderungen an einen Animal Health Record (AHR) für Kleintiere / Master Thesis by V. Willner / Supervisor: R. Freund; 185/2, 2011
Methoden zur Integration eines Software Fehlerbogens in ein Testerteam / Master Thesis by C. Eggbauer / Supervisor: R. Freund; 185/2, 2011

2010

Schulung und Untersuchung der Benutzerakzeptanz eines webbasierten Workflow-Management-Systems / Master Thesis by A. Reitter / Supervisor: R. Freund; 185/2, 2010
Diskrepanz zwischen Ballungszentren und ländlicher Bevölkerung im Hinblick auf den praktischen Einsatz einer elektronischen Gesundheitsakte / Master Thesis by S. Schinkinger / Supervisor: R. Freund; 185/2, 2010
Proving Termination of Rewriting with the Dependency Pair Framework / Master Thesis by M. Hutagalung / Supervisor: B. Gramlich; Computersprachen (E185) / AB Theoretische Informatik und Logik (E185/2), 2010
A formal model of the Extensible Virtual Shared Memory (XVSM) and its implementation in Haskell / Master Thesis by S. Craß / Supervisor: E. Kühn, G. Salzer; 185/1, 2010; final examination: 2010

2009

Infinitary Rewriting - Theory and Applications / Master Thesis by P. Bahr / Supervisor: B. Gramlich; Computersprachen, 2009; final examination: 2009-09-24
Simplification of Herbrand Sequents / Master Thesis by T. Dunchev / Supervisor: A. Leitsch; Institut für Computersprachen E185/2, 2009; final examination: 2009-09-09
CERES and Fast Cut-Elimination / Master Thesis by M. Rukhaia / Supervisor: A. Leitsch; Institut für Computersprachen E185/2, 2009; final examination: 2009-09-09
A GeneralAnalysis of Cut-Elimination by CERES / Doctoral Thesis by B. Woltzenlogel-Paleo / Supervisor, Reviewer: A. Leitsch; Institut für Computersprachen E185/2, 2009; oral examination: 2009-08-28
Der Einsatz von Virtualisierungstechnologien zur Bereitstellung fachdidaktischer Anwendungen für Betriebssysteme / Master Thesis by D. Steffen / Supervisor: R. Freund; 185/2, 2009
Didaktik in Schulungen / Master Thesis by D. Pollak / Supervisor: R. Freund, M. Weissenböck; Institut für Computersprachen u. E184-1, 2009

2008

Dialogue Games for Fuzzy Logics / Master Thesis by Ch Roschger / Supervisor: C. Fermüller; Institut für Computersprachen, 2008; final examination: 2008-10-21
A Term Rewriting Laboratory with Systematic and Random Generation and Heuristic Test Facilities / Master Thesis by E. Jiresch / Supervisor: B. Gramlich; Universität Wien (Lehramtsstudium UF Informatik und Informatikmanagement / Psychologie und Philosophie, A-190-884-299), 2008; final examination: 2008-07
Grundlagen und Anwendungsfallanalyse einer patientengeführten elektronischen Gesundheitsakte / Master Thesis by C. Pruckermayr / Supervisor: R. Freund; 185/2, 2008
Cut-Elimination in Inductive Proofs of Weakly Quantified Theorems / Master Thesis by T. Libal / Supervisor: A. Leitsch; Institut für Computersprachen E185/2, 2008

2007

Characteristic Clause Sets and Proof Transformations / Doctoral Thesis by S. Hetzl / Supervisor, Reviewer: A. Leitsch, M. Baaz; Institut für Computersprachen E185/2, 2007; oral examination: 2007-06-14
Termination of Rewriting with Non-Monotonic Orderings / Doctoral Thesis by M.L. Fernandez Venero / 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
Ontology-Driven Information Extraction / Doctoral Thesis by B. Yildiz / Supervisor, Reviewer: S. Miksch, G. Salzer; Institut für Softwaretechnik und Interaktive Systeme, 2007; oral examination: 2007-04-24
A Formal Treatment of UML Class Diagrams as an Efficient Method for Configuration Management / Doctoral Thesis by I. Feinerer / Supervisor, Reviewer: G. Salzer, G. Kappel; E 185 Institut für Computersprachen, 2007; oral examination: 2007-03-23
Transformation of Conditional Term Rewriting Systems / Master Thesis by K. Gmeiner / Supervisor: B. Gramlich; Institut für Computersprachen / AB Theoretische Informatik und Logik, 2007; final examination: 2007-03-13
On Context-Sensitive Term Rewriting / Master Thesis by F. Schernhammer / Supervisor: B. Gramlich; Institut für Computersprachen / AB Theoretische Informatik und Logik, 2007; final examination: 2007-02-08

2006

Proof Transformations by Resolution / Doctoral Thesis by Clemens Richter / Supervisor, Reviewer: A. Leitsch, M. Baaz; Institut für Computersprachen 185-2, 2006; oral examination: 2006-07-04
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 / Master Thesis by G. Kellner / Supervisor: P. Rössler, R. Freund; Universität Wien, 2006
Log File Processing by Machine Learning and Information Extraction / Master Thesis by P. Robinson / Supervisor: G. Salzer; Institut für Computersprachen E185/2, 2006

2005

Formal Program Verification: A Comparison of Selected Tools and Their Theoretical Foundations / Master Thesis by I. Feinerer / Supervisor: G. Salzer; E 185 Institut für Computersprachen, 2005; final examination: 2005-02-03
Symbolic Evaluation of Imperative Programming Languages / Doctoral Thesis by B. Burgstaller / Supervisor, Reviewer: J. Blieberger, B. Gramlich; 183, 2005

2003

Terminaison de la réécriture sous stratégies / Doctoral Thesis by O. Fissore / Supervisor, Reviewer: B. Gramlich, J. Giesl; INRIA/LORIA, Nancy, France, 2003; oral examination: 2003-12-03
P Automata / Doctoral Thesis by M. Oswald / Supervisor, Reviewer: R. Freund; Institut für Computersprachen, 185, 2003
Steganographische und kryptographische Grundlagen digitaler Wasserzeichen / Master Thesis by M Schuster / Supervisor: G. Salzer; Institut für Computersprachen 185, 2003

2002

Propriétés Uniformes de Familles de Systèmes de Réécriture de Mots Paramétrées par des Entiers / Doctoral Thesis by B. Monate / Supervisor, Reviewer: H. Comon, B. Gramlich; LRI, Orsay, France, 2002; oral examination: 2002-01-07
eContracting: Foundations and Applications / Master Thesis by C. Ploninger / Supervisor: G. Salzer; Institut für Computersprachen, 2002

2001

Approche Incrémentale des Preuves Automatiques de Terminaison / Doctoral Thesis by X. Urbain / Supervisor, Reviewer: B. Gramlich, M Rusinowitch; LRI, Orsay, France, 2001; oral examination: 2001-10-01

Awards

Ewa Vesely: Vereinbarkeit vom Beruf/Forschung und Pflege von Angehörigen
2016 / HR Inside Summit Award 2016, BRONZE / Austria / Website
Ewa Vesely: Unterstützungsmaßnahmen für pflegende Angehörige
2016 / Austria / Website
Federico Aschieri: Curry-Howard, Game Semantics and Herbrand's Theorem
2015 / Meitner-Programm / Austria / Project
Agata Ciabattoni: Nichtklassische Beweise: Theorie, Automatisierung, Anwendung
2011 / START-Programm / Austria

And more…

Soon, this page will include additional information such as reference projects, conferences, events, and other research activities.

Until then, please visit Theory and Logic’s research profile in TISS .

Services

Institutes

Research Units

Theory and Logic E192-05

Contact

On This Page

About

Professors

Scientific Staff

Administrative Staff

Student Staff

External Lecturers

Courses

2020W

2021S

Projects

Publications

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

Theses

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2003

2002

2001

Awards

And more…