Research-Conferences_Workshops for Dr J. Paul Gibson, INFormatique (INF), Telecom SudParis (TSP), France. |
AICS - Artificial Intelligence and Cognitive Science, 2002 BMSD - Business Modelling and Software Design, 2011, 2012, 2014-2016 CARI - African Conference on Research in Computer Science and Applied Mathematics, 2008 CeDEM - Conference on e-democracy, e-participation and e-voting, 2011, 2015, 2016, 2017 CompSAC - Computers, Software & Applications Conference, 2015-2023 DATA - International Conference on Data Technologies and Applications, 2012-2020 DETECT - moDeling, vErification and Testing of dEpendable CriTical systems, 2018-2022 DTGS - Digital Transformations & Global Society, 2016-2019 EGOSE - Electronic Governance and Open Society, 2016-2020 EGOV-CeDEM-ePar - Electronic Government, E-Democracy and Open Government, and Electronic Participation, 2018-2020 Ethicomp - Effectiveness of ICT ethics, 2022 EVOTE / EVOTE-ID - International Conference on Electronic Voting, 2012, 2014, 2016-2023 FDL - Forum on Specification and Design Languages, 2002 FIW - Feature Interaction Workshop, 2003 FME - Formal Methods Europe, 1999, 2001 FMET - Workshop on Formal Methods Education and Training, 2008 FMPTTA - Formal Methods for Parallel Programming: Theory & Applications, 1998-2001 Foundations (V&V) - Foundations : Validation & Verification Workshop, 2004 Future Computing - Future Computational Technologies and Applications, 2014-2020 GTIP - Workshop on Governance of Technology, Information, and Policies, 2011 ICECCS - International Conference on Engineering of Complex Computer Systems, 2012, 2015 ICFEM - International Conference on Formal Engineering Methods, 2010 |
ICSEA - International Conference on Software Engineering Advances, 2006-2020 ICSOFT - International Conference on Software and Data Technologies, 2006-2020 ICTAC - International Colloquium on Theoretical Aspects of Computing, 2015 iFM - International Conference on Integrated Formal Methods, 2013 INTENSIVE - International Conference on Intensive Applications and Services, 2009-2013 ISOLA - International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2008, 2010, 2012, 2014, 2016, 2018 ISPS - International Symposium on Programming and Systems, 2015 IRE - Intermediate Representation Engineering for the Java Virtual Machine , 2001 ITiCSE - Innovation and Technology in Computer Science Education, 2007-2009 IT&T - Information Technology and Telecommunications Doctoral Symposium, 2006 IWFM - Irish Workshops in Formal Methods, 1999-2001 MobiSPC - Mobile Systems and Pervasive Computing, 2017 PPPJ - Principles and Practice of Programming in Java, 2002-2004 RE-Vote - Requirements Engineering for E-voting Systems, 2011 SAC - Symposium on Applied Computing, 2002 SIGCSE - Special Interest Group in Computer Science Education, 2007-2023 TASE - International Symposium on Theoretical Aspects of Software Engineering, 2022 TFM-B - From Research to Teaching Formal Methods - The B Method, 2010 TNS - Telecommunications, Networks and Systems , 2008-2010 TPMC - Theory and Practice in Modern Computing, 2012-2017, 2019 UML&FM - International workshop on UML and Formal Methods, 2011 Vote-ID - International Conference on e-Voting and Identity, 2013, 2015 |
URL: http://jpaulgibson.synology.me/~jpaulgibson/TSP/Research/Conferences/ |
Last Revision:10th October 2023 |
Contact: paul.gibson@telecom-sudparis.eu |