resurchify Conferences Journals Workshops Seminars
      
SYMPOSIUMS MEETINGS CONFERENCE RANKING JOURNAL RANKING IMPACT FACTOR BLOGS



FORMAL METHODS EVENTS IN GERMANY

Filter: Formal Methods Germany

Country



Categories



ABZ 2020 : 7th International Conference on Rigorous State Based Methods Conference Series : Abstract State Machines, Alloy, B and Z  
Ulm, Germany
When: May 27, 2020 - May 29, 2020 Submission Deadline: Jan 20, 2020
ABZ 2020: International Conference on Rigorous State Based Methods • ------------------------------------------------------------------------------------------------ • First Call for Papers, Answers to case studies, Workshops, Tutorials • ----------------------------------------------...
COMPUTER SCIENCE   FORMAL METHODS   FORMAL SPECIFICATION   RIGOROUS METHODS  
FHPNC 2019 : Functional High-Performance and Numerical Computing
Berlin, Germany
When: Aug 18, 2019 - Aug 18, 2019 Submission Deadline: May 25, 2019
The ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing aims to bring together researchers and practitioners exploring or employing the use of functional or declarative programming languages or techniques in scientific computing, and specifically in the domains ...
HIGH-PERFORMANCE COMPUTING   DECLARATIVE LANGUAGES   FORMAL METHODS   NUMERICAL PROGRAMMING  


EVENTS RECENTLY ADDED

ICAT-EGVE 2020 : International Conference on Artificial Reality and Telexistence & Eurographics Symposium on Virtual Environments
Orlando, Florida, USA
Dec 02, 2020
NAP 2020 : IEEE International Conference on Nanomaterials
Virtual
Nov 09, 2020
COVID-19 and Education 2020 : Learning and Teaching in a Pandemic-Constrained Environment

Jul 01, 2020
ICCFE 2021 : 7th International Conference on Chemical and Food Engineering
Tokyo, Japan
Feb 25, 2021
ICCCP 2021 : 11th International Conference on Chemistry and Chemical Process
Tokyo, Japan
Feb 25, 2021
ICCBS 2021 : 8th International Conference on Chemical and Biological Sciences
Tokyo, Japan
Feb 25, 2021
ICIIT 2021 : 6th International Conference on Intelligent Information Technology
Ho Chi Minh, Vietnam
Feb 25, 2021
ICBMT 2021 : 3rd International Conference on BioMedical Technology
Ho Chi Minh, Vietnam
Feb 25, 2021
IFSP 2021 : International Forum on Signal Processing
Sanya, China
Jan 01, 2021
ICIGP 2021 : The 4th International Conference on Image and Graphics Processing
Sanya, China
Jan 01, 2021
H2RC 2020 : Sixth International Workshop on Heterogeneous High-performance Reconfigurable Computing
Atlanta, Georgia, USA
Nov 15, 2020
ICCBM 2021 : The 5th International Conference on Civil and Building Materials
Singapore
Jan 21, 2021
ICAMR 2021 : The 11th International Conference on Advanced Materials Research
Singapore
Jan 21, 2021
ICAEM 2021 : The 4th International Conference on Advanced Energy Materials
Singapore
Jan 21, 2021
HUMAN 2020 : 3rd Workshop on Human Factors in Hypertext
online
Dec 04, 2020
ASPOCP 2020 : 13th Workshop on Answer Set Programming and Other Computing Paradigms

Sep 17, 2020
UCC 2020 : 13th IEEE/ACM International Conference on Utility and Cloud Computing
Leicester, UK
Dec 07, 2020
Shaping memories 2020 : Shaping memories in contemporary narratives

SPORT 2020 : Sport and the Power to Inspire Change
Online
Jul 21, 2020
LegalAI 2020 : The Fourth Annual Workshop on Applications of Artificial Intelligence in the Legal Industry
Virtual
Dec 10, 2020