Theoretische Informatik und Logik
(Theory and Logic Group)
Conference and workshop involvements (since 1997)
(OC = organizing committee, PC = program committee, SC = steering committee, INV = invited speaker)
2012
AROB'12
17th International Symposium on Artificial Life and Robotics (OC/SC)
2011
ICA3PP'11
11th Int. Conf. on Algorithms and Architectures for Parallel Processing (PC)
FroCoS'11
8th International Symposium of Combining Systems (PC)
NIT'11
2nd International Conference Natural Information Technologies (PC)
BIC-TA'11
6th IEEE International Conference on Bio-Inspired Computing: Theories and Applications (PC)
CMC'11
12th International Conference on Membrane Computing (PC)
CIT'11
11th IEEE International Conference on Computer and Information Technology (PC)
PxTP'11
1st Workshop on Proof eXchange for Theorem Proving, affiliated to
CADE'11
(PC)
CADE'11
23rd International Conference on Automated Deduction (PC)
NCMA'11
3rd International Workshop Non-Classical Models of Automata and Applications (PC)
WRS'11
10th International Workshop on Reduction Strategies in Rewriting and Programming (PC)
ProDi'11
Workshop on Proof and Dialogues (OC)
AROB'11
16th International Symposium on Artificial Life and Robotics (OC/SC)
2010
APS'10
5th International Workshop on Analytic Proof Systems - APS5, in conjunction with
LPAR-17'10
(Co-Org.)
LPAR-17'10
17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (PC-Co-Ch.)
NIT'10
International Conference Natural Information Technologies (PC)
EAMVL'10
Epistemic Aspects of Many-valued Logic - Prague International Colloquium (OC Co-Chair)
LATD'10
Logic, Algebra and Truth Degrees 2010 - 2nd conference of the working group on Mathematical Fuzzy Logic (PC + INV)
HPCC'10
12th IEEE International Conference on High Performance Computing and Communications (PC)
ITBAM'10
1st International Conference on Information Technology in Bio- and Medical Informatics, in conjunction with
DEXA 2010
(Hon. Chair, PC)
MFFL'10
Workshop on Mathematical Foundations of Fuzzy Logics; part of
MFCS&CSL'10
(OC+PC-Chair)
CMC'10
11th International Conference on Membrane Computing (PC-Co-Chair, PC)
NCMA'10
2nd Workshop on Non-Classical Models of Automata and Applications, in conjunction with
CMC'10
(PC)
CSL'10
19th EACSL Annual Conference of the European Association for Computer Science Logic (PC)
IJCAR'10
5th International Joint Conference on Automated Reasoning; part of
FLoC'10
(PC)
RTA'10
21st International Conference on Rewriting Techniques and Applications; part of
FLoC'10
(PC)
IWS'10
1st International Workshop on Strategies in Rewriting, Proving, and Programming; part of
FLoC'10
(PC)
CIT'10
10th IEEE International Conference on Computer and Information Technolog (PC)
PCC'10
International Workshop on Proof, Computation, Complexity (INV)
ISMVL'10
40th International Symposium on Multiple-Valued Logic (PC)
LATA'10
4th International Conference on Language and Automata Theory and Applications (PC)
LPAR-16'10
16th International Conference on Logic for Programming Artificial Intelligence and Reasoning (PC)
ICA3PP'10
10th International Conference on Algorithms and Architectures for Parallel Processing (PC)
MANYVAL'10
Beyond Algebraic Semantics: Bridging Intended and Formal Interpretations of Many-Valued Logics (INV)
JSC'10
5th Junior Scientist Conference 2010 - "Science and Technology for the Future" (Jury)
AROB'10
15th International Symposium on Artificial Life and Robotics (PC)
CL'10
Collegium Logicum 2010: Proofs and Structure (OC+PC)
TABLEAUX
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (SC)
LPAR
International Conference on Logic Programming, Artificial Intelligence and Reasoning (SC)
FroCoS
International Symposium on Frontiers of Combining Systems (SC)
IJCAR
International Joint Conference on Automated Reasoning (SC)
2009
TBILISI'09
5th International Tbilisi Summer School in Logic and Language (OC + PC)
IWNC'09
4th International Workshop on Natural Computing (PC)
FroCoS'09
7th International Symposium on Frontiers of Combining Systems (PC)
LoMoReVI'09
Conference on Logical Models of Reasoning with Vague Information (PC)
NCMA'09
International Workshop on Non-Classical Models of Automata and Applications, satellite event of
FCT'09
(PC Co-Chair)
WMC'09
10th Workshop on Membrane Computing (PC + INV)
CADE'09
22nd International Conference on Automated Deduction (PC)
TABLEAUX'09
18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (PC)
PRNCL'09
Workshop on Proofs and Refutations in Non-classical Logics, affiliated with
TABLEAUX'09
(PC)
ECSQARU'09
10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (PC)
FTP'09
7th International Workshop on First-Order Theorem Proving (PC)
AROB'09
14th International Symposium on Artificial Life and Robotics (PC)
ISR'09
4th International School on Rewriting (INV)
WRS'09
9th International Workshop on Reduction Strategies in Rewriting and Programming (PC)
HPCC'09
11th IEEE International Conference on High Performance Computing and Communications (PC)
CL'09
Collegium Logicum 2009: Constraint Satisfaction Problems & Many-Valued Logics (PC + OC)
DANTE'09
TeX Tagung DANTE: Professional Typesetting / Deutschsprachige Anwendervereinigung TeX e.V. (OC)
ICLA'09
3rd Indian Conference on Logic and its Applications (PC)
LPAR
International Conference on Logic Programming, Artificial Intelligence and Reasoning (SC)
FroCoS
International Symposium on Frontiers of Combining Systems (SC)
IJCAR
International Joint Conference on Automated Reasoning (SC)
RTA
International Conference on Rewriting Techniques and Applications (SC)
2008
LPAR'08
15th International Conference on Logic Programming, Artificial Intelligence and Reasoning (SC + PC)
CCBS'08
2nd Workshop on Computing and Communications from Biological Systems: Theory and Applications; in conjunction with
BIONETICS 2008
(PC)
HPCC'08
10th IEEE International Conference on High Performance Computing and Communications (PC)
IWNC'08
3rd International Workshop on Natural Computing; Satellite Workshop of
ACRI'08
(PC)
MECBIC'08
2nd International Meeting on Membrane Computing and Biologically Inspired Process Calculi (PC)
LSFA'08
3rd Workshop on Logical and Semantic Frameworks, with Applications; satellite event of
SBMF'08
(PC)
UC'08
7th International Conference on Unconventional Computation (PC Co-Chair + OC)
CBM'08
International Workshop on Computing with Biomolecules; in conjunction with
UC'08
(PC-Chair + OC)
AMAST'08
12th International Conference on Algebraic Methodology and Software Technology (PC)
IJCAR'08
4th International Joint Conference on Automated Reasoning (PC)
CEDAR'08
International Workshop on Complexity, Expressibility, and Decidability in Automated Reasoning; satellite event of
IJCAR'08
(PC)
BIRD'08
2nd International Conference on Bioinformatics Research and Development (Honorary Co-Chair)
CIAA'08
3th International Conference on Implementation and Application of Automata (PC)
DNA'08
14th International Meeting on DNA Computing (PC)
PSYSTEMS'08
Prague International Workshop on Membrane Computing (PC)
WRLA'08
7th International Workshop on Rewriting Logic and its Applications (PC)
CL-LMRVI'08
Collegium Logicum - Logical Models of Reasoning with Vague Information (OC+PC)
SOFSEM'08
34th International Conference on Current Trends in Theory and Practice of Computer Science (PC)
AROB'08
13th International Symposium on Artificial Life and Robotics (PC)
FroCoS
International Symposium on Frontiers of Combining Systems (SC)
IJCAR
International Joint Conference on Automated Reasoning (SC)
RTA
International Conference on Rewriting Techniques and Applications (SC)
2007
CCBS'07
Workshop on Computing and Communications from Biological Systems: Theory and Applications; in conjunction with
BIONETICS'07
(PC)
IWNC'07
2nd International Workshop on Natural Computing (PC)
CL'07
Collegium Logicum 2007: Proofs and Structures (OC+PC)
LPAR'07
14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (PC)
BIC-TA'07
2nd International Conference on Bio-Inspired Computing: Theories and Applications (PC)
FTP'07
8th International Workshop on First-Order Theorem Proving (PC)
FroCoS'07
6th International Symposium on Frontiers of Combining Systems (PC)
LSFA'07
2nd Workshop on Logical and Semantic Frameworks, with Applications; satellite event of
SBMF'07
(PC)
DISPROVING'07
4th International Workshop on Disproving: Non-Theorems, Non-Validity, Non-Provability; part of
CADE'07
(PC)
eAROB'07
1st European Workshop on Artificial Life and Robotics (PC Chair + OC Chair)
ADDCT'07
International Workshop on Automated Deduction: Decidability, Complexity, Tractability; part of
CADE'07
(PC)
TABLEAUX'07
16th International Conference Automated Reasoning with Analytic Tableaux and Related Methods (PC)
WMC'07
8th Workshop on Membrane Computing (PC)
WRS'07
7th International Workshop on Reduction Strategies in Rewriting and Programming, part of
RDP'07
(PC)
TERMGRAPH'07
4th International Workshop on Computing with Terms and Graphs, satellite event of
ETAPS'07
(PC)
AROB'07
12th International Symposium on Artificial Life and Robotics (PC)
FroCoS
International Symposium on Frontiers of Combining Systems (SC)
IJCAR
International Joint Conference on Automated Reasoning (SC)
RTA
International Conference on Rewriting Techniques and Applications (SC)
2006
THEORIETAG'06
16.Theorietag Automaten und Formale Sprachen (OC)
UNCERTAINTY'06
Uncertainty: Reasoning about probability and vagueness - Prague International Colloquium 2006 (PC)
MeCBIC'06
Workshop on Membrane Computing and Biologically Inspired Process Calculi, part of
ICALP'06
(PC)
LPAR'06
13th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (PC)
LPAR'06 WS APS
2nd International Workshop on Analytic Proof Systems (OC+PC)
CIAA'06
11th International Conference on Implementation and Application of Automata, (PC)
DISPROVING'06
3rd Workshop on Disproving - Non-Theorems, Non-Validity, Non-Provability'06, satellite event of
FLoC'06
(PC)
WRS'06
6th International Workshop on Reduction Strategies in Rewriting and Programming, satellite event of
FLoC'06
(PC)
AROB'06
11th International Symposium on Artificial Life and Robotics (PC)
RTA
International Conference on Rewriting Techniques and Applications (SC)
GÖDEL'06
Horizons of Truth: Gödel Centenary 2006 (PC)
TERMGRAPH'06
3rd International Workshop on Term Graph Rewriting, satellite event of
ETAPS'06
(OC)
FroCoS
International Symposium on Frontiers of Combining Systems (SC)
2005
SYNASC'05 WS TAPS
Workshop on Theory and Applications of P Systems (PC)
FroCoS'05
5th International Workshop on Frontiers of Combining Systems (PC+OC Chair)
SEFM'05
3rd IEEE International Conference on Software Engineering and Formal Methods (PC)
FTP'05
5th International Workshop on First-Order Theorem Proving (PC)
TABLEAUX'05
14th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (PC)
DISPROVING'05
2nd Workshop on Disproving - Non-Theorems, Non-Validity, Non-Provability (PC), in conjunction with
CADE'05
WMC'05
6th International Workshop on Membrane Computing'05 (PC Co-Chair + OC Chair)
CL'05
Collegium Logicum 2005 on Cut-Elimination (PC+OC Co-Chair)
WRS'05
5th International Workshop on Reduction Strategies in Rewriting and Programming (PC), part of
RDP'05
RTA'05
16th International Conference on Rewriting Techniques and Applications (PC), part of
RDP'05
LPAR'04 WS Analytic
Workshop on Analytic Proof Systems (PC), in conjunction with
LPAR'04
FroCoS
International Workshop on Frontiers of Combining Systems (SC)
FTP
International Workshop on First-Order Theorem Proving (SC)
2004
SEFM'04
2nd IEEE International Conference on Software Engineering and Formal Methods (PC)
FroCoS
International Workshop on Frontiers of Combining Systems (SC)
GSWEEK'04
International Workshop: Grammar Systems Week 2004 (SC)
IJCAR'04
2nd International Joint Conference on Automated Reasoning (PC)
DISPROVING'04
Workshop on Disproving - Non-Theorems, Non-Validity, Non-Provability (PC), part of
IJCAR'04
WRS'04
4th International Workshop on Reduction Strategies in Rewriting and Programming (PC)
FTP
International Workshop on First-Order Theorem Proving (SC)
2003
MOLCONET'03
2nd Annual MOLCONET Meeting (OC)
SEFM'03
International Conference on Software Engineering and Formal Methods (PC)
CSL'03 & KGC
Annual Conference of the European Association for Computer Science Logic and 8th Kurt Gödel Colloquium (PC)
ESSLLI'03
15th European Summer School in Logic, Language and Information (PC Co-Chair)
TABLEAUX'03
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (PC)
CADE'03
19th International Conference on Automated Deduction - CADE-19 (PC)
CADE'03 WS Model Computation - Principles, Algorithms, Applications
(OC)
FTP'03
4th International Workshop on First order Theorem Proving (PC)
WRS'03
3rd International Workshop on Reduction Strategies in Rewriting and Programming (PC Co-Chair)
FTP
International Workshop on First-Order Theorem Proving (SC)
TABLEAUX
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (SC)
2002
LPAR'02
9th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (INV)
TABLEAUX'02
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (PC Co-Chair)
CADE'02
18th International Conference on Automated Deduction (PC)
RTA'02
13th International Conference on Rewriting Techniques and Applications (PC)
WRS'02
2nd International Workshop on Reduction Strategies in Rewriting and Programming (OC+PC Co-Chair),
in conjunction with
FLOC'02
FROCOS'02
4th International Workshop on Frontiers of Combining Systems (PC)
FTP
International Workshop on First-Order Theorem Proving (SC)
TABLEAUX
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (SC)
2001
LC'01
Logic Colloquium - The 2001 ASL European Summer Meeting (OC)
DLT'01
5th International Conference on Developments in Language Theory (OC)
IJCAR'01
International Joint Conference on Automated Reasoning (PC Co-Chair + SC)
STRATEGIES'01
4th International Workshop on Strategies in Automated Deduction (OC+PC Co-Chair),
in conjunction with
IJCAR'01
WRS'01
International Workshop on Reduction Strategies in Rewriting and Programming (OC+PC Co-Chair),
in conjunction with
RTA'01
FTP
International Workshop on First-Order Theorem Proving (SC)
2000
THEORIETAG'00
10. THEORIETAG "Automaten und Formale Sprachen" (OC)
GS'00
International Workshop Grammar Systems 2000 (OC+SC)
TABLEAUX'00
Automated Reasoning with Analytic Tableaux and Related Methods (PC)
FTP'00
3rd International Workshop on First order Theorem Proving (PC+SC)
FROCOS'00
3rd International Workshop on Frontiers of Combining Systems (PC)
MODELS'00
CADE-17 Workshop: Model Computation - Principles, Algorithms, Applications (OC)
FTP
International Workshop on First-Order Theorem Proving (SC)
1999
CADE-16 (1999)
16th International Conference on Automated Deduction (PC)
ESSLLI'99
11th European Summer School in Logic, Language and Information (INV)
STRATEGIES'99
FLOC'99 Workshop on Strategies in Automated Deduction (OC+PC)
RTA'99
10th International Conference on Rewriting Techniques and Applications (PC)
TABLEAUX'99
International Conference on Analytic Tableaux and Related Methods (PC)
FTP
International Workshop on First-Order Theorem Proving (SC)
1998
FTP'98
2nd International Workshop on First order Theorem Proving (PC+OC+SC)
TABLEAUX'98
International Conference on Analytic Tableaux and Related Methods (PC)
STRATEGIES'98
CADE-15 Workshop on Strategies in Automated Deduction (OC)
SSPR'98
FTP
International Workshop on First-Order Theorem Proving (SC)
1997
CADE
-14 (1997), 14th International Conference on Automated Deduction (PC)
FTP'97
1st International Workshop on First order Theorem Proving (PC+OC+SC)
TABLEAUX'97
International Conference on Analytic Tableaux and Related Methods (PC)
KGC'97
5th International Kurt Gödel Colloquium (OC + PC-chair)
STRATEGIES'97
CADE-14 Workshop on Strategies in Automated Deduction (OC)
FTP
International Workshop on First-Order Theorem Proving (SC)
webmaster@logic.at
webmaster@logic.at