DFKI - Serge Autexier

Dr. Serge Autexier
Head of the Bremen Ambient Assisted Living Lab (BAALL)
DFKI Research Fellow
Principal Researcher in the
Research Department Cyber-Physical Systems

0000-0002-0769-0732

Contact:
Email: {firstname}.{lastname}@dfki.de
Tel: +49 421 17845 7505
Tel: +49 421 218 59834
Fax: +49 421 218 98 59834

Address
DFKI Bremen
Cartesium, Room 1.49
Enrique-Schmidt-Str. 5
28359 Bremen
Germany

Services to the Scientific Community

2024

PC member of the 13th Workshop on the Reliability of Intelligent Environments (WoRIE’24) in connection with 20th International Conference on Intelligent Environments (IE 2024), Ljubljana, Slovenia, 17-18 June 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

PC member of the 10th Mexican International Conference on Artificial Intelligence, Puebla, Mexico, 26 November-04 December 2011
PC member of the International Conference on Intelligent Computer Mathematics, Bertinoro, Italy, 17-23 July 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

Co-organizer of the Theorema-Ultra-Omega'05 Workshop, Saarland University, Germany, 14-15 November 2005
Co-organizer of the 3rd Nancy-Saarbrücken Workshop on Logic, Proofs and Programs, LORIA, Nancy, France, 13-14 October 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

Co-organizer of the Theorema-Omega'03 Workshop, Schloss Hagenberg, Linz, Austria, 2003

2002

Co-chair & Co-organizer of the Verification Workshop (VERIFY'02) in connection with CADE'02 at FLOC'02, Copenhagen, Denmark, 25 July-26 November 2010

2001

Steering committee member of the Verification Workshop Series, since 2001
Co-chair & Co-organizer of the Verification Workshop (VERIFY'01) in connection with IJCAR'01, Siena, 19th June 2001

2000

Co-organizer of the Deduktionstreffen, Saarland Universty, Saarbrücken, Germany, 06-07 October 2000

Legal information / Impressum

Dr. Serge Autexier, DFKI GmbH, Enrique-Schmidt-str. 5, 28359 Bremen, Germany
Tel.: +49 421 218 59834, Email: {firstname}.{lastname}@dfki.de

DFKI (employer)

Data privacy protection/Datenschutz - Legal Information/Impressum

University of Bremen (webpage hoster)

Data privacy protection/Datenschutz - Legal Information/Impressum