Services to the Scientific Community
2024
2023
- PC member of the 8th International Digital Human Modeling Symposium, Antwerp, Belgium, 04-06 September 2023
- PC member of the 16th International Conference on Knowledge Science, Engineering and Management (KSEM 2023), Guangzhou, China, 16-18 August 2023
- PC member of the Human Digital Twins in Hybrid Intelligence Systems (HD-THIS) in connection with PErvasive Technologies Related to Assistive Environments (PETRA) , Corfu, Greece, 05-07 July 2023
- PC member of the 12th Workshop on the Reliability of Intelligent Environments (WoRIE’23) in connection with 19th International Conference on Intelligent Environments (IE 2023), Flic-en-Flac, Mauritius, 27-30 June 2023
2022
- Member of the organising committee of the Deduktionstreffen 2022 in connection with KI 2022, Trier, Germany, 19-20 September 2022
- PC member of the 22nd European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Grenoble, France, 19-23 September 2022
- PC member of the 15th International Conference on Intelligent Computer Mathematics (CICM'22), Tbilisi, Georgia, 19-23 September 2022
- PC member of the Euromicro Conference on Digital System Design (DSD), ASHWPA Special Session Advanced Systems in Healthcare, Wellness and Personal Assistance, Maspalomas, Gran Canaria, Spain, 31 August-02 September 2022
- PC member of the 15th International Conference on Knowledge Science, Engineering and Management (KSEM 2022), Singapore, 06-08 August 2022
- PC member of the 11th Workshop on the Reliability of Intelligent Environments (WoRIE’22) in connection with 18th International Conference on Intelligent Environments (IE 2022), Biarritz, France, 20-23 June 2022
2021
- PC member of the 1st Workshop on Artificial Intelligence and Internet of Things for Digital Health (AIIOT4DH) in connection with Conference on Connected Health Applications, Systems, and Engineering Technologies (CHASE 2021), Washington DC, USA , 16-17 December 2021
- PC member of the 14th International Conference on Knowledge Science, Engineering and Management (KSEM 2021), Tokyo, Japan, 14-16 August 2021
- PC member of the 17th International Conference on Intelligent Environments, Dubai, United Arab Emirates, 21-24 June 2021
- PC member of the 10th Workshop on the Reliability of Intelligent Environments (WoRIE’21) in connection with 17th Conference on Intelligent Environments (IE'21) , Dubai, UAE, 21-22 June 2021
2020
- PC member of the International Conference of Key Enabling Technologies in Cybersecurity (KETSec 2020), Cancun, Mexiko, 16-19 December 2020
- PC member of the 13th International Conference on Knowledge Science, Engineering and Management (KSEM 2020), Hanghzou, China, 28-30 August 2020
- PC member of the Euromicro Conference on Digital System Design (DSD), ASHWPA Special Session Advanced Systems in Healthcare, Wellness and Personal Assistance, Portorož, Slovenia, 26-28 August 2020
- PC member of the 9th Workshop on the Reliability of Intelligent Environments (WoRIE’20) in connection with 16th Conference on Intelligent Environments (IE'20) , Madrid, Spain, 22-25 June 2020
- PC member of the 6th Global Conference on Artificial Intelligence (GCAI 2020) in connection with Zhejiang Logic for AI Summit (ZjuLogAI 2020), Hangzhou, China, 06-09 April 2020
2019
- PC member of the 42nd German Conference on Artificial Intelligence (KI 2019), Kassel, Germany, 23-26 September 2019
- Member of the organising committee of the Deduktionstreffen 2019 in connection with KI 2019, Kassel, Germany, 23-24 September 2019
- PC member of the 12th International Conference on Knowledge Science, Engineering and Management, Athens, Greece, 28-30 August 2019
2018
- PC member of the 4th Global Conference on Artificial Intelligence (GCAI 2018), Luxembourg City, Luxembourg, 17-19 September 2018
- PC member of the Euromicro Conference on Digital System Design (DSD), ASHWPA Special Session Advanced Systems in Healthcare, Wellness and Personal Assistance, Prague, Czech Republic, 29-31 August 2018
- PC member of the DChanges 2018 in connection with DocEng 2018, Halifax, Canada, 28th August 2018
- PC member of the 11th International Conference on Knowledge Science, Engineering and Management (KSEM 2018), Changchun, China, 17-19 August 2018
- PC member of the 13th Workshop on User Interfaces for Theorem Provers (UITP 2018) in connection with FLoC 2018, Oxford, UK, 13th July 2018
- PC member of the 7th Workshop on the Reliability of Intelligent Environments (WoRIE’18) in connection with 14th Conference on Intelligent Environments (IE'18) , Rome, Italy, 25-28 June 2018
2017
- PC member of the 3rd Global Conference on Artificial Intelligence (GCAI 2017), Miami, USA, 18-22 October 2017
- Member of the organising committee of the Deduktionstreffen 2017 in connection with KI 2017, Dortmund, Germany, 25-26 September 2017
- PC member of the Euromicro Conference on Digital System Design (DSD), ASHWPA Special Session Advanced Systems in Healthcare, Wellness and Personal Assistance, Vienna, Austria, 30 August-01 September 2017
- PC member of the 6th Workshop on the Reliability of Intelligent Environments (WoRIE’17) in connection with 13th Conference on Intelligent Environments (IE'17) , Seoul, South-Korea, 21-25 August 2017
- PC member of the 10th International Conference on Knowledge Science, Engineering and Management (KSEM 2017), Melbourne, Australia, 19-20 August 2017
- PC member of the Workshop on AI for Internet of Things in connection with IJCAI 2017, Melbourne, Australia, 19th August 2017
2016
- PC member of the 9th International Conference on Knowledge Science, Engineering and Management (KSEM 2016), Passau, Germany, 05-07 October 2016
- PC member of the 2nd Global Conference on Artificial Intelligence (GCAI 2016), Berlin, Germany, 29 September-01 October 2016
- Member of the organising committee of the Deduktionstreffen 2016 in connection with KI 2016, Klagenfurt, Austria, 26th September 2016
- PC member of the DChanges 2016 in connection with DocEng 2016, Vienna, Austria, 12th September 2016
- PC member of the 5th Workshop on the Reliability of Intelligent Environments (WoRIE’16) in connection with 12th Conference on Intelligent Environments (IE'16) , London, UK, 12-13 September 2016
- PC member of the Euromicro Conference on Digital System Design (DSD), ASHWPA Special Session Advanced Systems in Healthcare, Wellness and Personal Assistance, Limassol, Cyprus, 31 August-02 September 2016
- PC member of the International Conference on Intelligent Computer Mathematics (CICM'16), Bialystok, Poland, 25-29 July 2016
- Co-chair & Co-organizer of the 12th Workshop on User Interfaces for Theorem Provers (UITP 2016) in connection with IJCAR 2016, Coimbra, Portugal, 02nd July 2016
- PC member of the Zukunft Lebensräume Kongress, Frankfurt am Main, Germany, 20-21 April 2016
2015
- PC member of the 8th International Conference on Knowledge Science, Engineering and Management (KSEM 2015), Chongqing, China, 28-30 October 2015
- PC member of the 3rd International Workshop Bringing Together Indoor and Outdoor Mobility Solutions in connection with AAL Forum 2015, Ghent, Belgium, 24th September 2015
- PC member of the DChanges 2015 in connection with DocEng 2015, Lausanne, Switzerland, 08th September 2015
- PC member of the Euromicro Conference on Digital System Design (DSD), ASHWPA Special Session Advanced Systems in Healthcare, Wellness and Personal Assistance, Funchal, Madeira, Portugal, 26-28 August 2015
- Member of the organising committee of the Deduktionstreffen 2015 in connection with CADE 2015, Berlin, Germany, 02-03 August 2015
- PC member of the International Conferences on Intelligent Computer Mathematics (CICM'15), Washington DC, USA, 13-17 July 2015
- PC member of the IEEE International Symposium on Multiple-Valued Logic (ISMVL 2015), Waterloo, Canada, 18-20 May 2015
2014
- PC member of the 4th Workshop on the Reliability of Intelligent Environments (WoRIE’15) in connection with 11th Conference on Intelligent Environments (IE'15) , Prague, Czech Republic, 14th July 2015
- PC member of the 12th International Conference on Artificial Intelligence and Symbolic Computation , Sevilla, Spain, 11-13 December 2014
- PC member of the 13th Mexican International Conference on Artificial Intelligence, Tuxtla Gutiérrez, Chiapas, Mexico, 16-22 November 2014
- Co-chair of the International Workshop on Aesthetic Intelligence in connection with European Conference on Ambient Intelligence, Eindhoven, NL, 11th November 2014
- PC member of the DChanges 2014 in connection with DocEng 2014, Denver, Colorado, USA, 16th September 2014
- PC member of the 3. Workshop on AI Problems and Approaches for Intelligent Environments in connection with 21rd European Conference on Artificial Intelligence (ECAI), Prague, Czech Republique, 18-22 August 2014
- Co-chair & Co-organizer of the 8th Verification Workshop (VERIFY'14) in connection with FLoC 2014, Vienna, Austria, 23-24 July 2014
- PC member of the 11th Workshop on User-Interfaces for Theorem Provers (UITP'14) in connection with FLoC 2014, Vienna, Austria, 17th July 2014
- PC member of the 3rd International Workshop on the Reliability of Intelligent Environments in connection with 10th International Conference on Intelligent Environments (IE'14), Shanghai, China, 02nd July 2014
- PC member of the IEEE International Symposium on Multiple-Valued Logic (ISMVL 2014), Bremen, Germany, 19-21 May 2014
2013
- Member of the organising committee of the Deduktionstreffen 2013 in connection with Informatik 2013, University of Koblenz-Landau, Campus Koblenz Germany, 16-17 September 2013
- PC member of the DChanges 2013 in connection with DocEng 2013, Florence, Italy, 10th September 2013
- Steering committee member (ex-officio) of the International Conference on Intelligent Computer Mathematics, since 2013
- PC member of the 5th Workshop on Programming Languages for Mechanized Mathematics Systems in connection with CICM 2013, Bath, UK, 10th July 2013
- PC member of the 5th International Symposium on Symbolic Computation in Software Science (SCSS 2013), RISC, Hagenberg, Austria, 05-06 July 2013
2012
- PC member of the 4th International Symposium on Symbolic Computation in Software Science (SCSS 2012), Gammarth, Tunisia, 15-17 December 2012
- PC member of the 11th Mexican International Conference on Artificial Intelligence, San Luis Potosí, Mexico, 27 October-04 November 2012
- PC member of the 10th Workshop on User-Interfaces for Theorem Provers (UITP'12) in connection with CICM 2012, Bremen, Germany, 11th July 2012
- Co-organizer & PC member of the International Conferences on Intelligent Computer Mathematics (CICM'12), Bremen, Germany, 09-13 July 2012
- PC member of the 7th Verification Workshop (VERIFY'12) in connection with IJCAR'12, Manchester, UK, 30 June-01 July 2012
2011
2010
- Trustee of the Mathematical Knowledge Management Interest Group, 2010-2013
- PC member of the 9th Mexican International Conference on Artificial Intelligence, Pachuca, Mexico, 08-13 November 2010
- Co-chair & Co-organizer of the 6th Verification Workshop (VERIFY'10) in connection with IJCAR'10 at FLOC'10, Edinburgh, Scotland, 20-21 July 2010
- PC member of the 9th Workshop on User-Interfaces for Theorem Provers (UITP'10) in connection with ITP'10 at FLOC'10, Edinburgh, Scotland, 20th July 2010
- Co-organizer of the Workshop on Mathematically Intelligent Proof Search in connection with CICM 2010, Paris, France, 10th July 2010
- PC member of the 9th International Conference on Mathematical Knowledge Management in connection with CICM 2010, Paris, France, 09-10 July 2010
- Chair of the 10th International Conference on Artificial Intelligence and Symbolic Computation in connection with CICM 2010, Paris, France, 05-06 July 2010
- PC member of the 4th Workshop on Programming Languages for Mechanized Mathematics Systems in connection with CICM 2010, Paris, France, 05th July 2010
- Trustee of the Artificial Intelligence and Symbolic Computation Conference Series (AISC) , since 2010
2009
- Member of the organising committee of the Deduktionstreffen 2009, Jacobs University, Bremen, Germany, 15-16 October 2009
- PC member of the 16th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning (CALCULEMUS'09) in connection with CICM'09, Canada, 06-07 July 2009
- PC member of the 4th Workshop on Logical and Semantic Frameworks, with Applications (LSFA'09) in connection with RDP'09, Brasília, Brazil , 28th June 2009
- Co-Editor of the Special Issue Authoring, Digitalization and Management of Mathematical Knowledge, Mathematics in Computer Science, Springer, 05th January 2009
- Co-Editor of the Special issue on User Interfaces for Theorem Proving, (ENTCS), forthcoming, 30th September 2008
2008
- PC member of the 7th International Workshop on the Implementation of Logics (IWIL'08) in connection with LPAR 2008, Doha, Qatar, 22nd November 2008
- Co-chair & Co-organizer of the 8th International Workshop on User Interfaces for Theorem Provers (UITP'08) in connection with TPHOLS'08, Montréal, Québec, Canada, 22nd August 2008
- PC member of the Workshop on Practical Aspects of Automated Reasoning (PAAR-2008) in connection with IJCAR'08, Sydney, Australia, 10-11 August 2008
- PC member of the 5th International Verification Workshop (VERIFY'08) in connection with IJCAR'08, Sydney, Australia, 10-11 August 2008
- Co-chair of the 7th International Conference on Mathematical Knowledge Management (MKM'08) in connection with CICM'08, Birmingham, UK, 28-30 July 2008
- Deputy Spokesman of the German Interest Group on Automated Deduction, 2008-2014
- Member of the organising committee of the Deduktionstreffen 2008, Saarbrücken, Germany, 17-18 March 2008
- Trustee (ex-officio) of the Mathematical Knowledge Management Interest Group, 2007-2010
2007
- PC member of the Workshop on Empirically Successful Automated Reasoning in Large Theories (ESARLT) in connection with CADE'07, IUB, Bremen, Germany, 16th July 2007
- PC member of the 4th Verification Workshop (VERIFY'07) in connection with CADE-21, IUB, Bremen, Germany, 15-16 July 2007
- Co-Editor of the Special issue on Formal Modeling and Verification of Critical Systems, 01st July 2007
- Member of the organising committee of the Deduktionstreffen 2007, Koblenz, Germany, 26-27 March 2007
2006
- PC member of the 6th International Workshop on the Implementation of Logics in connection with LPAR 2006, Phnom Penh, Cambodia, 12th November 2006
- Co-chair & Co-organizer of the Seventh Workshop on User-Interfaces for Theorem Provers (UITP'06) in connection with IJCAR'06 at FLOC'06, Seattle, USA, 21st August 2006
- Co-chair & Co-organizer of the 3rd Verification Workshop (VERIFY'06) in connection with IJCAR'06 at FLOC'06, Seattle, USA, 15-16 August 2006
- Organizer of the Workshop "Trustworthy Software", Saarland University, Saarbrücken, Germany, 18-19 May 2006
2005
2004
- Co-organizer of the Nancy-Saarbrücken Workshop on Logic, Deduction and Applications, Saarland University, Saarbrücken, Germany, 25-26 November 2004
- Co-organizer of the Nancy-Saarbrücken Workshop on Logic, Deduction and Applications, LORIA, Nancy, France, 17-18 June 2004
- Co-organizer of the Jahrestreffen der GI-Fachgruppen Deduktionssysteme (FG 1.2.1) und Logik in der Informatik (FG 0.1.6), Saarland Universty & DFKI GmbH, Saarbrücken, Germany, 2004
2003
2002
2001
2000
- Co-organizer of the Deduktionstreffen, Saarland Universty, Saarbrücken, Germany, 06-07 October 2000