Search results

Systems Formal Methods IFM - International Conference on Integrated Formal Methods Formal Methods MEMOCODE - International Conference on Formal Methods and

EICS - ACM SIGCHI Symposium on Engineering Interactive Computing System Formal Methods Human Computer Interaction Human Centerned Computing ETRA - Eye Tracking

Series List FM - International Symposium on Formal Methods Computer Science Neural Networks Formal Methods Software Verification Logic Programming Automation

2023-09-18 → 2023-09-23 Formal Methods FMICS 2022 2022-09-14 → 2022-09-15 Formal Methods FMICS 2021 2021-08-24 → 2021-08-26 Formal Methods FMICS 2020 2020-09-02 → 2020-09-03

International Workshop on Formal Methods for Industrial Critical Systems Formal Methods Events List FMICS 2023 2023-09-18 → 2023-09-23 Formal Methods FMICS 2022 20

Series List MEMOCODE - International Conference on Formal Methods and Models for System Design Formal Methods Software Verification Model Checking Events List

Science Formal Methods FM 2023 2023-03-06 → 2023-03-10 Computer Science Formal Methods FM 2021 2021-11-20 → 2021-11-26 Computer Science Formal Methods FM 2019

International Conference on Formal Methods and Models for System Design Recurrence Period 1 Recurrence Unit year Academic Field Formal Methods, Model Checking, Software

Computer Science FM - International Symposium on Formal Methods Computer Science Neural Networks Formal Methods Software Verification Logic Programming Automation

EICS '24 2024-06-24 → 2024-06-28 Formal Methods Human Computer Interaction EICS '23 2023-06-26 → 2023-06-30 Formal Methods Human Computer Interaction EICS

EICS - ACM SIGCHI Symposium on Engineering Interactive Computing System Formal Methods Human Computer Interaction Human Centerned Computing ETRA - Eye Tracking

Series List FM - International Symposium on Formal Methods Computer Science Neural Networks Formal Methods Software Verification Logic Programming Automation

Wikidata ID Q5469947 Event Series List FM - International Symposium on Formal Methods Neural Networks Software Verification Logic Programming Automation Theory

Series List FM - International Symposium on Formal Methods Computer Science Neural Networks Formal Methods Software Verification Logic Programming Automation

International Conference on Software Engineering and Formal Methods Academic Field Computer Science, Formal Methods, Software Engineering DOI https://doi.org/10

Title International Conference on Integrated Formal Methods Recurrence Unit year Academic Field Formal Methods Official Website http://www.ifmconference.org

Fault-Tolerance Testing NFM 2017 2017-05-16 → 2017-05-18 Software Engineering Formal Methods Testing Safety Critical Systems MSAT-9 2016 2016-12-14 → 2016-12-15

Civil Engineering FM 2018 2018-07-15 → 2018-07-17 Computer Science Formal Methods SPIN 2016 2016-04-07 → 2016-04-08 FoSSaCS 2016 2016-04-04 → 2016-04-07

Series List FM - International Symposium on Formal Methods Computer Science Neural Networks Formal Methods Software Verification Logic Programming Automation

25th International Symposium on Formal Methods Ordinal 25 Event Series FM - International Symposium on Formal Methods Start Date 2023-03-06 End Date 2023-03-10

International Conference on Formal Methods and Models for Codesign Ordinal 7 Event Series MEMOCODE - International Conference on Formal Methods and Models for System

Programming ICFEM - International Conference on Formal Engineering Methods Software Engineering Formal Engineering Method ICMT-1 - International Conference on Model

2020-06-17 → 2020-06-19 FM 2019 2019-10-07 → 2019-10-11 Computer Science Formal Methods PACBB 2019 2019-06-26 → 2019-06-28 ISAmI 2018 2018-06-20 → 2018-06-22

18th International Symposium on Formal Methods Ordinal 18 Event Series FM - International Symposium on Formal Methods Start Date 2012-08-27 End Date 2012-08-31

24th International Symposium on Formal Methods Ordinal 24 Event Series FM - International Symposium on Formal Methods Start Date 2021-11-20 End Date 2021-11-26

International Workshop on Formal Methods for Industrial Critical Systems Ordinal 27 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical

FOS 2007 Computer And Information Sciences Event Series List FMCAD - Formal Methods in Computer-Aided Design Computer Hardware Embedded Systems Design RTAS

23rd International Symposium on Formal Methods Ordinal 23 Event Series FM - International Symposium on Formal Methods Start Date 2019-10-07 End Date 2019-10-11

International Workshop on Formal Methods for Industrial Critical Systems Ordinal 28 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical

Conference on Formal Methods and Models for System Design Ordinal 20 Event Series MEMOCODE - International Conference on Formal Methods and Models for

Conference on Formal Methods and Models for System Design Ordinal 19 Event Series MEMOCODE - International Conference on Formal Methods and Models for

Research Air Transport FM 2014 2014-05-12 → 2014-05-16 Computer Science Formal Methods TARK 2005 2005-06-10 → 2005-06-12 ICFEM 2003 2003-11-05 → 2003-11-07

FOS 2007 Computer And Information Sciences Event Series List FMCAD - Formal Methods in Computer-Aided Design Computer Hardware Embedded Systems Design Events

International Conference on Formal Methods and Models for Codesign Ordinal 5 Event Series MEMOCODE - International Conference on Formal Methods and Models for System

International Conference on Formal Methods and Models for Codesign Ordinal 9 Event Series MEMOCODE - International Conference on Formal Methods and Models for System

15th International Symposium on Formal Methods Ordinal 15 Event Series FM - International Symposium on Formal Methods Start Date 2008-05-26 End Date 2008-05-30

26th International Symposium on Formal Methods Ordinal 26 Event Series FM - International Symposium on Formal Methods Start Date 2024-09-09 End Date 2024-09-13

Conference on Formal Methods and Models for System Design Ordinal 16 Event Series MEMOCODE - International Conference on Formal Methods and Models for

Software Engineering and Formal Methods Ordinal 5 Event Series SEFM - International Conference on Software Engineering and Formal Methods Start Date 2007-09-10

International Workshop on Formal Methods for Industrial Critical Systems Ordinal 1 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical

International Workshop on Formal Methods for Industrial Critical Systems Ordinal 9 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical

International Workshop on Formal Methods for Industrial Critical Systems Ordinal 26 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical

International Workshop on Formal Methods for Industrial Critical Systems Ordinal 8 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical

International Workshop on Formal Methods for Industrial Critical Systems Ordinal 20 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical

International Workshop on Formal Methods for Industrial Critical Systems Ordinal 21 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical

International Workshop on Formal Methods for Industrial Critical Systems Ordinal 18 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical

International Workshop on Formal Methods for Industrial Critical Systems Ordinal 12 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical

International Workshop on Formal Methods for Industrial Critical Systems Ordinal 13 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical

International Workshop on Formal Methods for Industrial Critical Systems Ordinal 2 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical

International Workshop on Formal Methods for Industrial Critical Systems Ordinal 10 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical

International Workshop on Formal Methods for Industrial Critical Systems Ordinal 24 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical

International Workshop on Formal Methods for Industrial Critical Systems Ordinal 7 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical

16th International Symposium on Formal Methods Ordinal 16 Event Series FM - International Symposium on Formal Methods Start Date 2009-11-02 End Date 2009-11-06

International Workshop on Formal Methods for Industrial Critical Systems Ordinal 5 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical

International Workshop on Formal Methods for Industrial Critical Systems Ordinal 3 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical

International Workshop on Formal Methods for Industrial Critical Systems Ordinal 11 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical

International Workshop on Formal Methods for Industrial Critical Systems Ordinal 17 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical

International Workshop on Formal Methods for Industrial Critical Systems Ordinal 6 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical

International Workshop on Formal Methods for Industrial Critical Systems Ordinal 25 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical

International Workshop on Formal Methods for Industrial Critical Systems Ordinal 19 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical

International Workshop on Formal Methods for Industrial Critical Systems Ordinal 4 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical

21st International Symposium on Formal Methods Ordinal 21 Event Series FM - International Symposium on Formal Methods Start Date 2016-11-09 End Date 2016-11-11

International Workshop on Formal Methods for Industrial Critical Systems Ordinal 16 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical

International Workshop on Formal Methods for Industrial Critical Systems Ordinal 23 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical

International Workshop on Formal Methods for Industrial Critical Systems Ordinal 22 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical

International Workshop on Formal Methods for Industrial Critical Systems Ordinal 14 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical

International Workshop on Formal Methods for Industrial Critical Systems Ordinal 15 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical

Event Acronym NFM 2017 Title NFM 2017 : The 9th NASA Formal Methods Symposium Start Date 2017-05-16 End Date 2017-05-18 Status as scheduled Mode on site

International Conference on Formal Methods and Models for Codesign Ordinal 10 Event Series MEMOCODE - International Conference on Formal Methods and Models for System

International Conference on Formal Methods and Models for Codesign Ordinal 13 Event Series MEMOCODE - International Conference on Formal Methods and Models for System

Conference on Formal Methods and Models for System Design Ordinal 14 Event Series MEMOCODE - International Conference on Formal Methods and Models for

International Conference on Formal Methods and Models for Codesign Ordinal 12 Event Series MEMOCODE - International Conference on Formal Methods and Models for System

Conference on Formal Methods and Models for System Design Ordinal 17 Event Series MEMOCODE - International Conference on Formal Methods and Models for

International Conference on Formal Methods and Models for Codesign Ordinal 3 Event Series MEMOCODE - International Conference on Formal Methods and Models for System

International Conference on Formal Methods and Models for Codesign Ordinal 2 Event Series MEMOCODE - International Conference on Formal Methods and Models for System

Conference on Formal Methods and Models for System Design Ordinal 15 Event Series MEMOCODE - International Conference on Formal Methods and Models for

Conference on Formal Methods and Models for System Design Ordinal 18 Event Series MEMOCODE - International Conference on Formal Methods and Models for

International Conference on Formal Methods and Models for Codesign Ordinal 11 Event Series MEMOCODE - International Conference on Formal Methods and Models for System

International Conference on Formal Methods and Models for Codesign Ordinal 8 Event Series MEMOCODE - International Conference on Formal Methods and Models for System

International Conference on Formal Methods and Models for Codesign Ordinal 1 Event Series MEMOCODE - International Conference on Formal Methods and Models for System

International Conference on Formal Methods and Models for Codesign Ordinal 4 Event Series MEMOCODE - International Conference on Formal Methods and Models for System

19th International Symposium on Formal Methods Ordinal 19 Event Series FM - International Symposium on Formal Methods Start Date 2014-05-12 End Date 2014-05-16

Series Events List NFM 2017 2017-05-16 → 2017-05-18 Software Engineering Formal Methods Testing Safety Critical Systems

Event Acronym FMCAD 2021 Title Formal Methods in Computer-Aided Design 2021 Ordinal 21 Event Series FMCAD - Formal Methods in Computer-Aided Design Start

International Conference on Formal Methods and Models for Codesign Ordinal 6 Event Series MEMOCODE - International Conference on Formal Methods and Models for System

22nd International Symposium on Formal Methods Ordinal 22 Event Series FM - International Symposium on Formal Methods Start Date 2018-07-15 End Date 2018-07-17

Series Events List FM 2016 2016-11-09 → 2016-11-11 Computer Science Formal Methods APF 2012 2012-10-10 → 2012-10-11 Information Security Data Security

15th International Symposium on Formal Methods 2008 Event Series Event Series:International Symposium on Formal Methods Start Date 2008-05-26 End Date 2008-05-30

Event Acronym FMCAD 2022 Title Formal Methods in Computer-Aided Design 2022 Ordinal 22 Event Series FMCAD - Formal Methods in Computer-Aided Design Start

Event Series Acronym FMCAD Title Formal Methods in Computer-Aided Design Recurrence Unit year Academic Field Computer Hardware, Embedded Systems Design

Event Acronym FMCAD 2020 Title Formal Methods in Computer-Aided Design 2020 Ordinal 20 Event Series FMCAD - Formal Methods in Computer-Aided Design Start

Event Acronym FMCAD 2010 Title Formal Methods in Computer-Aided Design 2010 Ordinal 10 Event Series FMCAD - Formal Methods in Computer-Aided Design Start

Event Acronym FMCAD 2008 Title Formal Methods in Computer-Aided Design 2008 Ordinal 8 Event Series FMCAD - Formal Methods in Computer-Aided Design Start

Event Acronym FMCAD 2013 Title Formal Methods in Computer-Aided Design 2013 Ordinal 13 Event Series FMCAD - Formal Methods in Computer-Aided Design Start

Event Acronym FMCAD 2017 Title Formal Methods in Computer-Aided Design 2017 Ordinal 17 Event Series FMCAD - Formal Methods in Computer-Aided Design Start

Event Acronym FMCAD 2002 Title Formal Methods in Computer-Aided Design 2002 Ordinal 4 Event Series FMCAD - Formal Methods in Computer-Aided Design Start

Event Acronym FMCAD 1996 Title Formal Methods in Computer-Aided Design 1996 Ordinal 1 Event Series FMCAD - Formal Methods in Computer-Aided Design Start

Event Acronym FMCAD 2014 Title Formal Methods in Computer-Aided Design 2014 Ordinal 14 Event Series FMCAD - Formal Methods in Computer-Aided Design Start

Software Engineering and Formal Methods Ordinal 20 Event Series SEFM - International Conference on Software Engineering and Formal Methods Start Date 2022-09-26

Event Acronym FMCAD 2018 Title Formal Methods in Computer-Aided Design 2018 Ordinal 18 Event Series FMCAD - Formal Methods in Computer-Aided Design Start

Event Acronym FMCAD 2012 Title Formal Methods in Computer-Aided Design 2012 Ordinal 12 Event Series FMCAD - Formal Methods in Computer-Aided Design Start

Event Acronym FMCAD 2019 Title Formal Methods in Computer-Aided Design 2019 Ordinal 19 Event Series FMCAD - Formal Methods in Computer-Aided Design Start

Event Acronym FMCAD 2006 Title Formal Methods in Computer-Aided Design 2006 Ordinal 6 Event Series FMCAD - Formal Methods in Computer-Aided Design Start

Event Acronym FMCAD 2004 Title Formal Methods in Computer-Aided Design 2004 Ordinal 5 Event Series FMCAD - Formal Methods in Computer-Aided Design Start

Event Acronym FMCAD 2009 Title Formal Methods in Computer-Aided Design 2009 Ordinal 9 Event Series FMCAD - Formal Methods in Computer-Aided Design Start

Event Acronym FMCAD 1998 Title Formal Methods in Computer-Aided Design 1998 Ordinal 2 Event Series FMCAD - Formal Methods in Computer-Aided Design Start

Event Acronym FMCAD 2007 Title Formal Methods in Computer-Aided Design 2007 Ordinal 7 Event Series FMCAD - Formal Methods in Computer-Aided Design Start

Event Acronym FMCAD 2015 Title Formal Methods in Computer-Aided Design 2015 Ordinal 15 Event Series FMCAD - Formal Methods in Computer-Aided Design Start

Event Acronym FMCAD 2000 Title Formal Methods in Computer-Aided Design 2000 Ordinal 3 Event Series FMCAD - Formal Methods in Computer-Aided Design Start

Event Acronym FMCAD 2016 Title Formal Methods in Computer-Aided Design 2016 Ordinal 16 Event Series FMCAD - Formal Methods in Computer-Aided Design Start

Event Acronym FMCAD 2011 Title Formal Methods in Computer-Aided Design 2011 Ordinal 11 Event Series FMCAD - Formal Methods in Computer-Aided Design Start

17th International Symposium on Formal Methods Ordinal 17 Event Series FM - International Symposium on Formal Methods Start Date 2011-06-20 End Date 2011-06-24

20th International Symposium on Formal Methods Ordinal 20 Event Series FM - International Symposium on Formal Methods Start Date 2015-06-24 End Date 2015-06-26

EICS - ACM SIGCHI Symposium on Engineering Interactive Computing System Formal Methods Human Computer Interaction Human Centerned Computing IMX - ACM International

International Conference on Formal Engineering Methods Recurrence Period 1 Recurrence Unit year Academic Field Formal Engineering Method, Software Engineering

Software Engineering and Formal Methods Ordinal 17 Event Series SEFM - International Conference on Software Engineering and Formal Methods Start Date 2019-09-16

International Conference on Integrated Formal Methods Event Series IFM - International Conference on Integrated Formal Methods Start Date 2020-11-16 End Date 2020-11-20

International Conference on Integrated Formal Methods Ordinal 17 Event Series IFM - International Conference on Integrated Formal Methods Start Date 2022-06-07 End

Software Engineering and Formal Methods Ordinal 18 Event Series SEFM - International Conference on Software Engineering and Formal Methods Start Date 2020-09-14

Software Engineering and Formal Methods Ordinal 16 Event Series SEFM - International Conference on Software Engineering and Formal Methods Start Date 2018-06-27

Software Engineering and Formal Methods Ordinal 19 Event Series SEFM - International Conference on Software Engineering and Formal Methods Start Date 2021-12-06

Event Acronym SDE 2009 Title Eurocast 2009 Workshop on Simulation and Formal Methods in Systems Design and Engineering Event Series Eurocast - Start Date

International Conference on Integrated Formal Methods Event Series IFM - International Conference on Integrated Formal Methods Start Date 2018-09-05 End Date 2018-09-07

International Conference on Integrated Formal Methods Event Series IFM - International Conference on Integrated Formal Methods Start Date 2016-06-01 End Date 2016-06-03

International Conference on Integrated Formal Methods Event Series IFM - International Conference on Integrated Formal Methods Start Date 2019-12-02 End Date 2019-12-06

ScienceFood SecurityFood Shelf LifeForecastingForensic ScienceFormal MethodsFormal ModelsFormal Semantics And SyntaxFoundations Of Computer ScienceFoundations

(Symposium of Formal Methods Europe), CPA (Communicating Process Architectures), FAST (Formal Aspects in Security and Trust), FMCO (Formal Methods for Components

Computational complexity of methods and models; - Computational models; - Rewriting systems; - Formal methods integration; - Formal methods for software/hardware

Cagliari City Cagliari Region Sardinia Country Italy (IT) Academic Field Formal Methods, Human Computer Interaction Official Website https://eics.acm.org/2024/

Region Provence-Alpes-Côte-d’Azur Country France (FR) Academic Field Formal Methods, Human Computer Interaction Official Website https://eics.acm.org/2022/

United Kingdom of Great Britain and Northern Ireland (GB) Academic Field Formal Methods, Human Computer Interaction Official Website https://eics.acm.org/2023/

Event Acronym FMCAD 2023 Title Formal Methods in Computer-Aided Design 2023 Ordinal 23 Event Series FMCAD - Formal Methods in Computer-Aided Design Start

Title International Symposium on Formal Methods Ordinal 14 Event Series FM - International Symposium on Formal Methods Start Date 2006-08-21 End Date 2006-08-27

Title International Symposium on Formal Methods Ordinal 13 Event Series FM - International Symposium on Formal Methods Start Date 2005-07-18 End Date 2005-07-22

2021-06-08 End Date 2021-06-11 Status as scheduled Mode online Academic Field Formal Methods, Human Computer Interaction Official Website https://eics.acm.org/2021/

experiences of applying formal methods to information systems, embedded systems, circuits, security, etc. - Education: education on formal methods. Submission Instructions:

Region Pennsylvania Country United States of America (US) Academic Field Formal Methods, Human Computer Interaction Official Website https://eics.acm.org/2009/index

Brussels Region Brussels-Capital Region Country Belgium (BE) Academic Field Formal Methods, Human Computer Interaction Official Website https://eics.acm.org/2016/

Duisburg Region North Rhine-Westphalia Country Germany (DE) Academic Field Formal Methods, Human Computer Interaction Official Website https://eics.acm.org/2015/

Université City Paris Region Île-de-France Country France (FR) Academic Field Formal Methods, Human Computer Interaction Official Website https://eics.acm.org/2018/

United Kingdom of Great Britain and Northern Ireland (GB) Academic Field Formal Methods, Human Computer Interaction Official Website https://eics.acm.org/2013/

Valencia Region Valencian Community Country Spain (ES) Academic Field Formal Methods, Human Computer Interaction Official Website https://eics.acm.org/2019/

Ricerca CNR City Pisa Region Tuscany Country Italy (IT) Academic Field Formal Methods, Human Computer Interaction Official Website https://eics.acm.org/2011/index-content=1

Research Council City Rome Region Lazio Country Italy (IT) Academic Field Formal Methods, Human Computer Interaction Official Website https://eics.acm.org/2014/

Ernst-Reuter-Haus City Berlin Region Berlin Country Germany (DE) Academic Field Formal Methods, Human Computer Interaction Official Website https://eics.acm.org/2010/index-content=1

Region Capital Region of Denmark Country Denmark (DK) Academic Field Formal Methods, Human Computer Interaction Official Website https://eics.acm.org/2012/

International Conference on Formal Engineering Methods Ordinal 24 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2023-11-21

International Conference on Formal Engineering Methods Ordinal 1 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 1997-11-12

International Conference on Formal Engineering Methods Ordinal 10 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2008-10-27

International Conference on Formal Engineering Methods Ordinal 4 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2002-10-21

Software Engineering and Formal Methods Ordinal 21 Event Series SEFM - International Conference on Software Engineering and Formal Methods Start Date 2023-11-06

International Conference on Formal Engineering Methods Ordinal 21 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2019-11-05

International Conference on Formal Engineering Methods Ordinal 3 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2000-09-04

International Conference on Formal Engineering Methods Ordinal 9 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2007-11-14

Region Colorado Country United States of America (US) Academic Field Formal Methods Official Website https://correctness-workshop.github.io/2017/ Deadlines

libraries, synthesis from specifications, development methods, generation of non-code artifacts, formal methods, reflection * Generative techniques for o Product-line

surveillance * Cryptographic primitives for wireless communication * Formal methods for wireless security * Mobile platform and systems (OS and application)

International Conference on Formal Engineering Methods Ordinal 23 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2022-10-24

International Conference on Formal Engineering Methods Ordinal 16 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2014-11-03

International Conference on Formal Engineering Methods Ordinal 17 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2015-11-03

International Conference on Formal Engineering Methods Ordinal 19 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2017-11-13

International Conference on Formal Engineering Methods Ordinal 5 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2003-11-05

Region Provence-Alpes-Côte-d’Azur Country France (FR) Academic Field Formal Methods, Human Computer Interaction Official Website https://eics.acm.org/2020/

International Conference on Formal Engineering Methods Ordinal 20 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2018-11-12

International Conference on Integrated Formal Methods Ordinal 11 Event Series IFM - International Conference on Integrated Formal Methods Start Date 2014-09-09 End

International Conference on Integrated Formal Methods Ordinal 10 Event Series IFM - International Conference on Integrated Formal Methods Start Date 2013-06-10 End

Title International Symposium on Formal Methods Ordinal 8 Event Series FM - International Symposium on Formal Methods Start Date 1998-10-07 End Date 1998-10-09

International Conference on Integrated Formal Methods Ordinal 2 Event Series IFM - International Conference on Integrated Formal Methods Start Date 2000-11-01 End Date

International Conference on Integrated Formal Methods Ordinal 9 Event Series IFM - International Conference on Integrated Formal Methods Start Date 2012-06-18 End Date

Title International Symposium on Formal Methods Ordinal 4 Event Series FM - International Symposium on Formal Methods Start Date 1997-09-15 End Date 1997-09-19

Title International Symposium on Formal Methods Ordinal 10 Event Series FM - International Symposium on Formal Methods Start Date 2001-05-12 End Date 2001-05-16

International Conference on Integrated Formal Methods Ordinal 5 Event Series IFM - International Conference on Integrated Formal Methods Start Date 2005-11-29 End Date

Title International Symposium on Formal Methods Ordinal 1 Event Series FM - International Symposium on Formal Methods Start Date 1993-04-19 End Date 1993-04-23

International Conference on Integrated Formal Methods Ordinal 13 Event Series IFM - International Conference on Integrated Formal Methods Start Date 2017-09-20 End

Title International Symposium on Formal Methods Ordinal 6 Event Series FM - International Symposium on Formal Methods Start Date 1996-03-18 End Date 1996-03-22

Title International Symposium on Formal Methods Ordinal 9 Event Series FM - International Symposium on Formal Methods Start Date 1999-09-20 End Date 1999-09-24

International Conference on Integrated Formal Methods Ordinal 8 Event Series IFM - International Conference on Integrated Formal Methods Start Date 2010-10-11 End Date

International Conference on Integrated Formal Methods Ordinal 7 Event Series IFM - International Conference on Integrated Formal Methods Start Date 2009-02-16 End Date

Title International Symposium on Formal Methods Ordinal 11 Event Series FM - International Symposium on Formal Methods Start Date 2002-07-22 End Date 2002-07-24

Title International Symposium on Formal Methods Ordinal 2 Event Series FM - International Symposium on Formal Methods Start Date 1994-10-18 End Date 1994-10-24

International Conference on Integrated Formal Methods Ordinal 3 Event Series IFM - International Conference on Integrated Formal Methods Start Date 2002-05-15 End Date

Series Events List SEFM 2021 2021-12-06 → 2021-12-10 Software Engineering Formal Methods

International Conference on Formal Engineering Methods Ordinal 22 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2021-03-01

International Conference on Integrated Formal Methods Ordinal 6 Event Series IFM - International Conference on Integrated Formal Methods Start Date 2007-07-02 End Date

International Conference on Integrated Formal Methods Ordinal 1 Event Series IFM - International Conference on Integrated Formal Methods Start Date 1999-06-28 End Date

International Conference on Integrated Formal Methods Ordinal 12 Event Series IFM - International Conference on Integrated Formal Methods Start Date 2016-06-01 End

Title International Symposium on Formal Methods Ordinal 12 Event Series FM - International Symposium on Formal Methods Start Date 2003-09-08 End Date 2003-09-14

International Conference on Formal Engineering Methods Ordinal 2 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 1998-12-09

International Conference on Integrated Formal Methods Ordinal 4 Event Series IFM - International Conference on Integrated Formal Methods Start Date 2004-04-04 End Date

Abstract Interpretation framework provides constructive and systematic formal methods to design, compose, compare, study, prove, and apply abstract domains

International Conference on Formal Engineering Methods Ordinal 6 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2004-11-08

International Conference on Formal Engineering Methods Ordinal 8 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2006-11-01

Analysis of extra-functional properties Formal methods Architectural design decisions Validation & verification Methods of development Performance Tools Empirical

International Conference on Formal Engineering Methods Ordinal 7 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2005-11-01

International Conference on Formal Engineering Methods Ordinal 12 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2010-11-17

International Conference on Formal Engineering Methods Ordinal 11 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2009-12-09

International Conference on Formal Engineering Methods Ordinal 13 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2011-10-26

International Conference on Formal Engineering Methods Ordinal 14 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2012-11-12

International Conference on Formal Engineering Methods Ordinal 18 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2016-11-14

International Conference on Formal Engineering Methods Ordinal 15 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2013-10-29

knowledge bases * Fundamentals and formal methods for verification of AI systems * Fundamentals and formal methods and techniques of validity assessment

choreographies, collaborations, conversations, artifact-centric systems) - Formal methods, models, simulation and verification - RESTful systems (design aspects

security Big data security and privacy Biometric Security Network security Formal methods for security Embedded systems security Lightweight security Cyber-physical

groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided

protocols Database security Denial of service Distributed systems security Formal methods for security Information flow Intrusion detection and prevention Language-based

choreographies, collaborations, conversations, artifact-centric systems) - Formal methods, models, simulation, and verification - System architectures for service

Series Events List FM 2021 2021-11-20 → 2021-11-26 Computer Science Formal Methods

description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, higher-order logic, hybrid systems, lambda and combinatory

libraries, synthesis from specifications, development methods, generation of non-code artifacts, formal methods, reflection * Generative techniques for o Product-line

detection Big data security and privacy Biometric Security Network security Formal methods for security Digital forensics Security for critical infrastructures

SEFM 2022 2022-09-26 → 2022-09-30 Computer Science Software Engineering Formal Methods

Series Events List FM 2019 2019-10-07 → 2019-10-11 Computer Science Formal Methods

advancement of hybrid methods that exploit concepts and tools drawn from Rule-based programming, Software engineering, Formal methods and Web-oriented research

SEFM 2022 2022-09-26 → 2022-09-30 Computer Science Software Engineering Formal Methods

Workshop on Scholarly Document Processing 2022-10-17 FMCAD 2022 FMCAD - Formal Methods in Computer-Aided Design 2022-10-17 MobiCom 2022 MobiCom - International

Cross-Organizational Process Support and Contracts Multi Agents system Formal methods and tools, UML/sys UML Industrial experiences with Web technologies

isti.cnr.it/SADM/ The objective of SADM is to introduce standardized formal methods which can explicitly consider data semantics, background knowledge,

Republic of) (IR) Academic Field System Verification, Software Engineering, Formal Methods, Software Testing Official Website http://fsen.ir/2017/ Deadlines 2016-12-17

real-time embedded systems. - COMPOSITIONAL FORMAL METHODS: compositional techniques for modeling and formal methods; composition of validation and verification

development of programs and algorithms - relational formal methods such as B or Z, tabular methods, - algebraic approaches to logics of programs, modal

choreographies, collaborations, conversations, artifact-centric systems) - Formal methods, models, simulation and verification - RESTful systems (design aspects

for services ecosystems * Business models Requirements Specification * Formal methods for business concepts applied to services * Business models aware service

the following: * Formal models for data and knowledge bases * Integrity constraints maintenance and dependency theory * Formal Methods for data and knowledge

some convergence points between the areas of formal methods for dealing with web services and formal methods for agents are emerging and gaining more and

Computing FM 2024 2024-09-09 → 2024-09-13 Italy (IT) Computer Science Formal Methods EMI IC 2024 2024-09-09 → 2024-09-11 Austria (AT) Civil Engineering Engineering

Field Event Series Events List ICFEM 1997 1997-11-12 → 1997-11-14 Formal Engineering Method

multimedia systems * Electronic commerce and enabling technologies * Formal methods and foundations for dependable distributed computing * Analytical or

and Interaction Techniques Ecological Interfaces Education about HCI Formal Methods in HCI Graphical User Interfaces Groupware Interfaces Guidelines and

techniques for real-time, hybrid, or stochastic systems; Integration of formal methods and static analysis in high-level hardware design or software environments;

techniques for real-time, hybrid, or stochastic systems Integration of formal methods and static analysis in high-level hardware design or software environments

protocols, real-time, hybrid and safety-critical systems Integration of formal methods and static analysis in high-level hardware design Tool environments

real-time, hybrid, critical, biological or dependable systems Integration of formal methods and static analysis in high-level hardware design or software environments

Computing B. Design Methodology and Tools .Hardware/Software Co-Design .Formal Methods for Embedded Systems .Embedded Component Technology .Middleware for

environments, such as ubiquitous and pervasive computer applications. Both formal methods and concrete applications well fit into the framework of the conference

studies * Compiler support * Embedded systems * Energy management * Formal methods * Model-based development * Multimedia computing * Performance modeling

Web Services Security - Security Models, Architectures and Protocols - Formal Methods for Web Applications - E-Commerce and E-Government Security - Identity

advances in ad-hoc network formal analysis. Goals The goal of this workshop is to collect current advances in formal methods and techniques, applied to

Implementation; design methodologies and tools; models of computation and formal methods; hardware/software co-design. * COMPONENTS AND PLATFORMS IN REAL-TIME

International Conference on Formal Methods and Models for System Design 2021-11-20 FM 2021 FM - International Symposium on Formal Methods 2021-11-20 CECNet 2021

Jamming/anti-jamming communication ? Cross-layer design for security ? Formal methods for WSN security ? Resilient revocation mechanism ? Mobile platform

SOFTWARE SERVICES * software engineering of service oriented systems * formal methods for service oriented architectures * service ontologies, semantic service

distributed algorithms and systems Fault tolerance, reliability, availability Formal methods for distributed computing: verification, synthesis and testing Game-theoretic

for algorithmic verification and synthesis Formal models and methods for security Formal models and methods for biological systems

algorithms distributed and parallel computing Formal methods: algebraic and categorical methods automata and formal languages computability and nonstandard computing

Semantic Web need? - Does the Semantic Web require languages based on formal methods ? - How should standard Semantic Web languages be designed ? SUBMISSION

fields to present original work. Contributions from cognate areas such as formal methods, systems engineering, human and computer interaction, economics and

area of research at the attention of several communities: Algorithms, Formal Methods, Information systems, Data mining, Networks and Distributed Systems

Human factors. * Dependability measurement, modeling, and evaluation. * Formal methods for dependability. * Dependability in SOA and middleware. * Information

Event Acronym ICFEM 2020 Title 22nd International Conference on Formal Engineering Methods Event Series Event Series:ICFEM Start Date 2020-11-02 End Date

Security • Security in Pervasive Systems • Anonymity & Pseudonymity • Formal Methods for Security • Security in Social Networks • Applied Cryptography •

logical techniques that link implementation and specification through formal methods such as automated theorem proving and model checking. Logic is also

algebra; ... Formal methods: automata and formal languages; computability and nonstandard computing models; algebraic and categorical methods; logics and

Systems • Web-based Software Engineering • Cooperative Work Support • Formal Methods, Verification • Validation • Wireless Networks • 3G/4G Networks • Wireless

interpretation machine learning of semantic structures informal and formal semantic methods and their combination the semantics of semantic annotation computing

for wireless systems - Wireless measurements tools and experiences - Formal methods for analysis of wireless systems - Correctness, survivability and reliability

Effective descriptive set theory * Finite model theory * Formal aspects of program analysis * Formal methods * Foundations of computer science * Games * Generalized

Event Title International Conference on Formal Engineering Methods 2007 Start Date 2007-11-13 End Date 2007-11-15 Status as scheduled Mode on site City

techniques for real-time, hybrid, or stochastic systems Integration of formal methods and static analysis in high-level hardware design or software environments

cryptography - covert channels - cybercrime - denial of service attacks - formal methods in security - inference control - information warfare - steganography

theory lower bounds counting complexity Formal methods: algebraic and categorical methods automata and formal languages database theory foundations of

theory lower bounds counting complexity Formal methods: algebraic and categorical methods automata and formal languages database theory foundations of

workshop are: * logics for multi-agent systems * formal methods for verification of multi-agent systems * formal approaches to communication, coordination and

Software Project Management - Testing, Verification and Validation - Formal Methods - Quality Management Bio-medical Information Processing - Medical image

testing, analysis, metrics or visualization techniques Application of formal methods to software development Research Papers: Final papers will be not more

computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language

and analysis Software tools and development environments Theory and formal methods Papers submitted for consideration should not have been published elsewhere

of secure communications and networking. Topics in other areas (e.g., formal methods, database security, secure software, theoretical cryptography) will

software Empirical software engineering End-user software engineering Formal methods Green computing Human and social factors in software engineering Human-computer

protocols for NAS - Standards, guidelines and certification for NAS in UE - Formal methods and software engineering for NAS - Legal, ethical and policy issues

Reconfigurable architecture 2. Software Systems and Technologies 2-01 Formal methods and programming languages 2-02 Internet computing 2-03 Image processing

Algorithmic Aspects of Networks and Networking Algorithmic Game Theory Formal Methods for Network Information Management Foundations of Privacy, Trust and

mobile networks, devices and applications. Papers from other areas, e.g., formal methods, cryptography, database security, operating system security, will be

Event Series List ICFEM - International Conference on Formal Engineering Methods Formal Engineering Method Events

industrial experience reports on engineering MAS applications Applications of formal methods and declarative technologies for specification, verification and validation

for algorithmic verification and synthesis Formal models and methods for security Formal models and methods for biological systems Submissions on a wide

testing, analysis, metrics or visualization techniques Application of formal methods to software development The ETAPS conferences accept two types of contributions:

wireless - Security - Parallel Computing - Software Engineering and Formal Methods - Distributed Intelligent Information Systems - Robotics and Control

real-time, hybrid, critical, biological or dependable systems Integration of formal methods and static analysis in high-level hardware design or software environments

computational geometry computational algebra Formal methods: algebraic and categorical methods automata and formal languages computability and nonstandard computing

computing online algorithms streaming algorithms Formal methods: algebraic and categorical methods automata and formal languages computability and nonstandard computing

Issues in an e-societ • Evolution of Audience • Facebook and Media • Formal Methods • Games Industry • Gamification: How to Use of Game Play Mechanics in

real-time, hybrid, safety-critical or dependable systems Integration of formal methods and static analysis in high-level hardware design Tool environments

software Empirical software engineering End-user software engineering Formal methods Green and sustainable technologies Human factors and social aspects

technologies (e.g., theorem-proving, model-checking, static analysis, or other formal methods) or fall into the above application areas (e.g., system construction

Some Principles of Differential Programming Languages Sarah Lawsky: Formal Methods and the Law Frank Pfenning: Message-Passing Concurrency and Substructural

software quality, knowledge engineering Formal methods: program analysis, model checking, model construction, formal process models Component software and

and dependability * Designing business models with NAS requirements * Formal methods and software engineering for NAS * Legal, ethical and policy issues

Architectures for Embedded Systems Design and Validation of Embedded Systems Formal Methods & Case Studies System-on-Chip and Network-on-Chip Design Hardware/Software

the scalability of dependable and adaptive systems. * Foundations and formal methods (e.g., rigorous development of dependable systems, verification and

have discussed widely in the last years, and many attempts at using formal methods for specification and verification in this setting have been made. Session

description logics domain theory finite model theory formal aspects of program analysis formal methods foundations of computability games and logic higher-order

programming - Implementation of social and organisational aspects of MAS - Formal methods for specification and verification of MAS - Verification tools for implementations

languages and operating systems. SYSTEM DESIGN AND ANALYSIS: modelling and formal methods; probabilistic analysis for RT systems; quality of service support;

SEFM 2007 2007-09-10 → 2007-09-14 Computer Science Software Engineering Formal Methods

languages and operating systems. SYSTEM DESIGN AND ANALYSIS: modelling and formal methods; probabilistic analysis for RT systems; quality of service support;

techniques for real-time, hybrid, or stochastic systems; Integration of formal methods and static analysis in high-level hardware design or software environments;

Warsaw, Poland), Guenael Renault (ANSSI, France) Topics: security models; formal methods for security and privacy; design and analysis of algebraic, elliptic

description logics domain theory finite model theory formal aspects of program analysis formal methods foundations of computability games and logic higher-order

system security Data and application security Embedded systems security Formal methods for security Hardware-based security and applications IoT security and

description logics domain theory finite model theory formal aspects of program analysis formal methods foundations of computability games and logic higher-order

description logics domain theory finite model theory formal aspects of program analysis formal methods foundations of computability games and logic higher-order

systems Mobile agents, robots, and rendezvous Programming languages, formal methods, specification and verification applied to distributed systems Self-stabilization

TA Description Model driven methods, mostly based on the Unified Modelling Language, increasingly support semi-formal methods for system level design of

for Computing Systems Emerging Memory Technologies and Applications Formal Methods and Verification Network-on-Chip Architectural and Microarchitectural

hybrid, critical, biological or dependable systems; Integration of formal methods and static analysis in high-level hardware design or software environments;

Configuration Management * Empirical Research in Software Engineering * Formal Methods * Health Informatics System Development * Knowledge-Based Software Engineering

Proving: formal verification or proof Models for Requirements Engineering When translating the textual requirements into a model using e.g. formal modelling

of submissions sought includes, but is not limited to, such topics as formal methods, tools, and identification of particular challenges. Papers discussing

description logics domain theory finite model theory formal aspects of program analysis formal methods foundations of computability higher-order logic lambda

Software Development * Domain Specific Languages * Formal Methods in Software Engineering * Languages, Methods, Processes and Tools * Market-Driven Software

Engineering Electronic Commerce Enterprise Software, Middleware, and Tools Formal Methods Human-Computer Interaction Industry System Experience and Report Integrity

engineering methodologies and techniques, and development concerns for MAS Formal methods and declarative technologies for specification, verification, and engineering

Empirical studies of software engineering End user software engineering Formal methods Knowledge-based software engineering Mobile, ubiquitous and pervasive

energy aware real-time systems o real-time system modeling and analysis o formal methods o control theoretic models and performance feedback control o hardware

- Distributed System - E- Learning - Enterprise Information System - Formal Methods - Geographic Information System (GIS) - High Performance Computing -

Safety/security risk assessment; Model-based analysis, design, and assessment; Formal methods for verification, validation, and fault tolerance; Probabilistic verification

process Software product lines Component-based software engineering Formal methods Program repair Software reuse Computer-supported cooperative work Green

Signatures and Message Authentication Codes Distributed Systems Security Formal Security Methods Information-Theoretic Security Network, Web and Wireless Security

and Message Authentication Codes * Distributed Systems Security * Formal Security Methods * Information-Theoretic Security * Network, Web and Wireless Security

Signatures and Message Authentication Codes Distributed Systems Security Formal Security Methods Information-Theoretic Security Network, Web and Wireless Security

programming - Implementation of social and organisational aspects of MAS - Formal methods for specification and verification of MAS - Verification tools for implementations

people from the semantic web community in general, but also from the formal methods and software engineering community and from industrial research. The

NFP-based negotiation, mediation, and agreement of service contracts. * Formal methods for NFP and Quality of Services. * Quality metrics, KPIs, and requirement

Safety/security risk assessment Model-based analysis, design, and assessment Formal methods for verification, validation, and fault tolerance Probabilistic verification

engineering methodologies and techniques, and development concerns for MAS Formal methods and declarative technologies for specification, verification and engineering

agents applying agent-oriented programming to real-world applications Formal methods and declarative technologies for specification, verification, and engineering

system security Data and application security Embedded systems security Formal methods for security Hardware-based security and applications IoT security and

not, however, be considered as closed or technically restrictive: Formal and semi-formal modelling of resilience properties Re-engineering for resilience

details D3 System Simulation and Validation, Click here for details D4 Formal Methods and Verification, Click here for details DT5 Design and Test for Analog

environments and CASE tools for AOSE; Standard APIs for agent programming; Formal methods for agent-oriented systems, including specification =C2 and verification

middleware, and distributed database systems - Programming languages, formal methods, specification and verification applied to distributed systems - Embedded

of domain or task focused tools, techniques, or methods; evaluations of AI tools, techniques or methods for domain suitability; unsuccessful attempts to

University, USA. Peter Haase, Institute of Applied Informatics and Formal Description Methods, Germany. Michael Gruninger, University of Toronto, Canada Leyla

Semantic Web for Services Computing Services Repository and Registry Formal Methods for SOA Service Discovery Services Engineering Practices and Case Studies

transformation methods to support software production Integration of formal notations and methods with engineering notations and methods Combining programming

distributed problem solving - biologically-inspired methods Agent theories, models and architectures - formal models of agency - modeling other agents and self

sessions. Each session will involve both formal research presentations and open discussion groups. Advanced Methods for Big Data Analytics in Women's Health

measures, formal analysis Mining and Classification. Category formation, clustering, entity resolution, document classification, learning methods for ranking

new and original research on formal grammar, mathematical linguistics and the application of formal and mathematical methods to the study of natural language

interfaces do not only specify syntactic properties, such as the signatures of methods and operations, but also take into account behavioral and extra-functional

tools that guide users from informal knowledge contained in texts to more formal structures; * full-fledged tools for ontology editing where the text is

2007 Design of programming languages and calculi and their formal properties Techniques, methods, and tools for their implementation Exploitation of programming

analyze and discuss application issues related to methods, theories, tools and applications based on formal ontologies. There is today wide agreement that

International Workshop on Finite-State Methods and Natural Language Processing Event Series Finite-State Methods and Natural Language Processing Start Date

argumentation using computational methods * the study of AI and other informatics fields, using law as an example domain * formal models of norms, normative systems

programming languages; Methods and tools to write and specify programs and languages: programming techniques, logical foundations, formal semantics, meta-programming

2008 Design of programming languages and calculi and their formal properties Techniques, methods, and tools for their implementation Exploitation of programming

networks in embedded communication devices) - Design methods - Modeling and verification methods - On-chip communication in SoC and NoC - Hardware platforms

consist in two parts: first (more formal) devoted to presentation and discussion of accepted papers and second (less formal) devoted to discussion of several

programming languages; Methods and tools to write and specify programs and languages: programming techniques, logical foundations, formal semantics, meta-programming

training applications Knowledge Acquisition from texts and WWW Evaluation of methods, techniques and tools for Knowledge Acquisition Knowledge engineering and

multi-disciplinary approach which will provide the abstractions, foundations, methods, and tools required to give answer to questions concerning reasoning over

area of information systems that is supported by economic theories and methods. ​ We invite the submission of extended abstracts for the 2018 conference

FSMNLP has Finite-State Methods for Under-Resourced Languages as a special theme. The theme is relevant to finite-state methods 1.applied to practical tasks

Biologically inspired Methods: Ant-Based Optimization, Artificial Immune Systems, Evolutionary Computing, etc. and related methods Platform Technologies

Conceptual clustering - Kernels methods for NLP (e.g. relation extraction and textual entailment) - Quantitative extensions of Formal Concept Analysis - Modeling

2005 Design of programming languages and calculi and their formal properties Techniques, methods, and tools for their implementation Exploitation of programming

documentation, validation and verification Requirements specification languages, methods, processes and tools Requirements management, traceability, viewpoints,

syntactic resources for translation * formal properties of S/TGs * scalability of structured translation methods to small or large data * applications

with the information need challenges in our information-flooded society. Methods for text-based information retrieval receive special attention, which results

2006 Design of programming languages and calculi and their formal properties Techniques, methods, and tools for their implementation Exploitation of programming

complex data: numbers, sequences, trees, graphs Formal Concept Analysis and extensions Numerical data mining methods and knowledge processing Mining the web of

mining educational data. Data mining to understand how learners interact in formal and informal educational contexts. Modeling students’ affective states and

amount of information becomes available that should be processed based on formal semantics attached to it. The Semantic Web community has developed a number

(FOSSACS) 2002 Computation processes over discrete and continuous data, methods and techniques for their manipulation, and analysis of their algorithmic

Algebraic methods for knowledge representation and reasoning o Formal theories for Knowledge Representation and Reasoning Systems o Logical methods for knowledge

with an emphasis on novel approaches, methods, ideas, and perspectives, whether descriptive, theoretical, formal or computational. Papers and poster abstracts

monitoring and runtime verification, test frameworks Model-based Testing: Formal models and modeling languages such as automata, state machines, process

Handling, Best Modeling Methods, Integrating Simulation and Design, Manufacturing Modeling Architectures, Manufacturing Modeling Methods, Simulation of Manufacturing

sound theory. We are interested both in algorithms and in methods and tools for integrating formal approaches into industrial practice. Submissions: Submissions

Held in conjunction with LREC�??2008 Scope There are two computer-aided methods for accessing images: * indexing textual descriptions (done mostly by public

question types, intrinsic evaluation of inference methods, data-intensive vs knowledge-intensive methods, evaluation of portability. The goal of the KRAQ08

amount of information becomes available that should be processed based on formal semantics attached to it. The Semantic Web community has developed a number

Engineering (FASE) 2005 Component-based software architectures: design methods and strategies, design patterns, quality assurance Systematic approaches

and validation testing, verification and validation methods and tools for safety and security methods and tools for qualification, assurance and certification

interest include but are not limited to the following areas: IR Theory and Formal Models Performance, Scalability, Architectures, Efficiency, Platforms. Indexing

ontologies from conceptual models * Ontology harmonization and merging: Methods and tools. * Core ontologies and global models, applications and limitations

the following, non-exclusive list of topic areas: • Principles, Theory, Methods and Architectures for SASO Systems • Robustness, Resilience and Fault-Tolerance

validation Testing, verification and validation methods & tools Qualification, assurance and certification methods & tools Data-driven techniques for engineering

coordination and feature interaction integration of theories, formal and engineering methods and tools models of concurrency, security, and mobility parallel

Honolulu. Organizational engineering aggregates multi-disciplinary concepts, methods and technology to model, develop and analyze various aspects of changing

sharing * Methods and business foundations for knowledge in B2B * Folksonomies vs controlled vocabularies in social knowledge management * Formal ontologies

production of real-time embedded systems take advantage of languages, tools, and methods that enable higher software productivity. Ideally, developers should use

will include both long and short papers covering a range of evaluation methods, techniques and tools for contextual information access seeking and retrieval

refinement methods, metrics or visualisation techniques; Model-driven development and model-transformation: design and semantics of semi-formal visual languages

software using theorem proving, model checking, testing, analysis, refinement methods, metrics or visualisation techniques; Model-driven development and model

students, and detecting instances of algorithmic unfairness in existing methods. Replicating previous studies with larger sample sizes, in different domains

requirements of contemporary software. The application of software engineering methods, tools, and languages all interrelate to affect how and whether these requirements

data quality, standards, measures and metrics Open data and open science methods, applications and prototypes Best practices and case studies for Open Data

but not exclusive, topics of interest for submissions include: Access methods and physical design; Active databases; Complexity and performance; Constraint

outcomes in Web search Information literacy & multiple documents comprehension Methods of data collection (e.g. query & navigation logs, eye-tracking) to understand

integration of metamodeling and ontologies in order to provide abstract syntax and formal semantics for DSL. * Ontology engineering with MDA/MDE techniques: application

knowledge systems. This includes submissions that apply ideas, theories or methods from specific disciplines to information and knowledge systems. Examples

Development - Agent-Based Simulation - Autonomy-Oriented Modeling and Computation Methods - Behavioral Self-Organization - Complex Behavior Characterization and Engineering

Traditionally, in Machine Learning, a strong focus has been put on data-driven methods that assume little a priori knowledge on the part of the learning mechanism

topics include algorithms and data structures complexity and cryptography formal languages and automata computational models and concepts proof theory and

space models; * open challenges for distributional methods for semantic analysis; * interactions with formal approaches to meaning; * interactions with cognitive

modernizing services industries using latest methods and technologies such as as Services Computing, which has been formally promoted by IEEE Computer Society since

collaboration and social communication technologies. Methodologies and tools: Novel methods or combinations of approaches and tools used in building systems or studying

choreography and orchestration technology which includes a rich set of facets. Formal aspects of choreography or orchestration languages for the purpose of analysis

System-level design exploration, synthesis and optimization 1.3. System-level formal verification 1.4. System-level modeling, simulation and validation tools/methodology

consider: * Theories, Frameworks, Models and Methods ...inspired by Pragmatics and Pragmatism, or less formally, case study reflections on "pragmatic" uses

------------------ * Theories, Frameworks, Models and Methods ...inspired by Pragmatics and Pragmatism, or less formally, case study reflections on "pragmatic" uses

The development of general techniques and methods for the combination and integration of special formally defined systems, as well as for the analysis

social, cultural, and organizational perspectives Applying social science methods (ethnographic, experimental, empirical, etc.) to study and understand collaborative

to this track include (but are not limited to): Active Databases Access methods and indexing Authorization, Privacy and Security Concurrency Control and

audience. Printer-friendly CfP version Data/Information Quality and Policies Formal Models for Data Quality Data Quality Measurement and Metrics Evolution of