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