|
Research-Conferences_Workshops for Dr J. Paul Gibson, LOgiciels-Réseaux (LOR), IT SudParis, France. |
The table below provides details of the conferences and workshops at which I have been involved, more or less, in the organisation. It is not a list of all conferences or workshops at which I have attended or published papers.
KEY: Role
SC - Session (co-)chair OC - organisation committee PC - programme committee R - reviewer |
BMSD - Business Modelling and Software Design CARI - African Conference on Research in Computer Science and Applied Mathematics CeDEM - Conference on e-democracy, e-participation and e-voting DATA - International Conference on Data Technologies and Applications EVOTE - International Conference on Electronic Voting FDL - Forum on Specification and Design Languages FIW - Feature Interaction Workshop FME - Formal Methods Europe FMET - Workshop on Formal Methods Education and Training FMPTTA - Formal Methods for Parallel Programming: Theory & Applications Found(V&V) - Foundations : Validation & Verification Workshop GTIP - Workshop on Governance of Technology, Information, and Policies ICECCS - International Conference on Engineering of Complex Computer Systems ICFEM - International Conference on Formal Engineering Methods |
ICSOFT - International Conference on Software and Data Technologies INTENSIVE - International Conference on Intensive Applications and Services ISOLA - International Symposium on Leveraging Applications of Formal Methods, Verification and Validation IRE - Intermediate Representation Engineering for the Java Virtual Machine ITiCSE - Innovation and Technology in Computer Science Education IT&T - Information Technology and Telecommunications Doctoral Symposium IWFM - Irish Workshops in Formal Methods PPPJ - Principles and Practice of Programming in Java RE-Vote - Requirements Engineering for E-voting Systems SAC - Symposium on Applied Computing SIGCSE - Special Interest Group in Computer Science Education TFM-B - From Research to Teaching Formal Methods - The B Method TNS - Telecommunications, Networks and Systems TPMC - Theory and Practice in Modern Computing UML&FM International workshop UML and Formal Methods |
|
URL: http://www-public.it-sudparis.eu/~gibson/Research/Conferences |
Last Revision: 11th January 2012 |
Contact: paul.gibson@it-sudparis.eu |