Ullrich Hustadt
Professional Activities
- Scientific initiatives
-
- International Joint Conference on Automated Reasoning (Steering committee member)
- International Workshops on First-Order Theorem Proving (President of the steering committee)
- Automated Reasoning Workshop (Organising committee member)
- Scientific Meetings / Journals
-
- 23rd Automated Reasoning Workshop (ARW2016) - Organiser
- 25th International Conference on Automated Deduction (CADE-25) - PC member
- Automated Deduction: Decidability, Complexity, Tractability (ADDCT 2014) - PC member
- 21st European Conference on Artificial Intelligence (ECAI 2014) - PC member
- Automated Deduction: Decidability, Complexity, Tractability (ADDCT 2013) - PC member
- 23rd International Joint Conference on Artificial Intelligence (IJCAI-13) - PC member
- 20th European Conference on Artificial Intelligence (ECAI 2012) - PC member
- 23rd International Conference on Automated Deduction (CADE-23) - PC member
- 24th International Workshop on Description Logics (DL2011) - PC member
- 19th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2011) - PC member
- 23rd International Workshop on Description Logics (DL2010) - PC member
- IJCAR 2010 - 5th International Joint Conference on Automated Reasoning (IJCAR 2010) - PC member
- Automated Reasoning Workshop (ARW 2009) - Organiser
- 22nd International Conference on Automated Deduction (CADE-22) - PC member
- 7th International Workshop on First-Order Theorem Proving (FTP 2009) - PC member
- 21st International Joint Conference on Artificial Intelligence (IJCAI-09) - PC member
- 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2009) - PC member
- 16th International Symposium on Temporal Representation and Reasoning (TIME-2009) - PC member
- 7th International Workshop on the Implementation of Logics (IWIL 2008) - PC member
- Special issue of the Annals of Mathematics and Artificial Intelligence on First-Order Theorem Proving - Editor
- 18th European Conference on Artificial Intelligence (ECAI 2008) - PC member
- 23rd AAAI Conference on Artificial Intelligence (AAAI-08) - PC member
- 21st International Workshop on Description Logics (DL2008) - PC member
- 20th Joint Conference on Artificial Intelligence (AI07) - PC member
- 6th International Workshop on First-Order Theorem Proving (FTP 2007) - Local Organization Chair
- 6th International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS07) - PC member
- 16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2007) - PC member
- 21st National Conference on Artificial Intelligence (AAAI-06) - PC member
- 5th International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS06) - PC member
- 14th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2005) - PC member
- 11th International Symposium on Temporal Representation and Reasoning (TIME-2004) - PC member
- 10th International Symposium on Temporal Representation and Reasoning (TIME-2003) - PC member
- 9th International Symposium on Temporal Representation and Reasoning (TIME-2002) - PC member
- 5th International Workshop on the Implementation of Logics (2005) - PC member
- 4th International Workshop on the Implementation of Logics (2003) - PC member
- 2nd International Workshop on the Implementation of Logics (2001) - PC member