Telecom Sud Paris - IPP  LOGO Research-Conferences_Workshops for Dr J. Paul Gibson, INFormatique (INF), Telecom SudParis (TSP), France.

Alphabetical

    ADVCOMP - Advanced Engineering Computing and Applications in Sciences, 2013-2020
    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
    ICon-MaSTEd - International Conference on Mathematics, Science and Technology Education, 2020-2022
    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

Chronological

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2004

2003

2002

2001

2000

1999

1998


URL: http://jpaulgibson.synology.me/~jpaulgibson/TSP/Research/Conferences/

Last Revision:10th October 2023

Contact: paul.gibson@telecom-sudparis.eu