Related Events by Keyword

10th International Symposium on Automated Technology for Verification and Analysis

Description: 10th International Symposium on Automated Technology for Verification and Analysis (ATVA 2012) October 3-6, 2012 Thiruvananthapuram (Trivandrum), India http://www.iarcs.org.in/atva2012/ The ATVA series of symposia is intended to promote research in theoretical and practical aspects of automated analysis, verification and synthesis in East Asia by providing a forum for interaction between the regional and international research communities and industry in the field. The previous nine editions of the symposium were held in Taiwan (2003, 2004, 2005), Beijing (2006), Tokyo (2007), Seoul (2008), Macao (2009), Singapore (2010) and Taipei (2011). ATVA 2012 will be held in the picturesque campus of Tata Consultancy ...

Keywords: formal verification, formal methods, analysis of systems, hardware and software design

IFIP Theoretical Computer Science 2012

Description: Preliminary Call for Papers: The 7th IFIP Conference on Theoretical Computer Science 2012 September 26 - 28, Amsterdam, The Netherlands General Info The conference Theoretical Computer Science, which is held every two years, either in conjunction or in the framework of the IFIP World Computing Congress, is the meeting place of the TC1 community where new results of computation theory are presented and more broadly experts in theoretical computer science meet to share insights and ask questions about the future directions of the field. TCS 2012 (http://tcs.project.cwi.nl/) is associated with The Alan Turing Year 2012 (www.mathcomp.leeds.ac.uk/turing2012). Previous conferences of this ...

Keywords: verification, theoretical computer science, logic, computation theory

11th International Workshop on Parallel and Distributed Methods in verifiCation

Description: OBJECTIVES: The growing importance of automated formal verification in the industry is driving a growing interest in aspects that directly impact its applicability to real world problems. One of the main technical challenges lies in devising tools and techniques that allow to handle very large industrial verification models. At the same time, the computer industry is undergoing a major paradigm shift. Processor manufacturers are introducing new generations of multicore processor with large numbers of cores and high performance GPUs, cloud based computing resources are easily accessible, and external memory devices, such as hard disks or solid state disks, are getting ...

Keywords: verification

Sixth International Workshop on Practical Applications of Stochastic Modelling

Description: Sixth International Workshop on Practical Applications of Stochastic Modelling PASM'12 17th September 2012 Imperial College London, UK (Official QEST 2012 workshop) Contents Scope Important dates Location Publication Instructions to authors Programme Committee Links Scope of Workshop We encourage papers which apply current well-developed formalisms (stochastic Petri nets, stochastic process algebras, layered queueing networks, etc) to real-world case-studies. These studies might be of traditional web-service, Grid or computer architectures but also we strongly encourage studies from inter-disciplinary collaborations, such as biological and physical systems. The common link is to see how researchers from diverse fields have overcome the problem of modelling ...

Keywords: verification, formal methods

6th International Workshop on Reachability Problems

Description: 6th International Workshop on Reachability Problems (RP'12) (September 17-19, 2012, Bordeaux, France) Deadline for submissions: 10 May, 2011 http://rp12.labri.fr/ ============================================================== The 6th Workshop on Reachability Problems will be hosted by LaBRI (Laboratoire Bordelais de Recherche en Informatique), Université de Bordeaux, France. The Reachability Workshop is specifically aimed at gathering together scholars from diverse disciplines and backgrounds interested in reachability problems that appear in - Algebraic structures - Computational models - Hybrid systems - Logic - Verification Invited Speakers: ================ - Mikolaj Bojanczyk, Warsaw - Antonin Kucera, Brno - Joel Ouaknine, Oxford - Igor Walukiewicz, Bordeaux Submissions: =========== Papers presenting original ...

Keywords: automata theory, verification, logic, computation theory

Third International Symposium on Games, Automata, Logics, and Formal Verification

Description: [We apologize if you have received multiple copies of this message] ***************************************************************** ------ GandALF 2012 ----- ***************************************************************** Third International Symposium on Games, Automata, Logics, and Formal Verification Napoli, Italy, September 6th-8th, 2012 http://www.gandalf.unina.it ************************************************ | PRELIMINARY CALL FOR PAPERS | ************************************************ OBJECTIVES The aim of the symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization. Papers focused on formal methods are especially welcome. Authors are invited to ...

Keywords: automata theory, verification, games, logic

23rd International Conference on Concurrency Theory

Description: The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications. =================================== TOPICS Submissions are solicited in semantics, logics, verification and analysis of concurrent systems. The principal topics include (but are not limited to): - Basic models of concurrency such as abstract machines, domain theoretic models, game theoretic models, process algebras, graph transformation systems and Petri nets; - Logics for concurrency such as modal logics, probabilistic and stochastic logics, temporal logics, and resource logics; - Models of specialized systems such as biology-inspired systems, circuits, hybrid ...

Keywords: verification, theoretical computer science, logic, formal methods

17th International Workshop on Formal Methods for Industrial Critical Systems

Description: ==================================================================== First Call for Papers FMICS 2012 17th International Workshop on Formal Methods for Industrial Critical Systems http://fmt.cs.utwente.nl/conferences/fmics2012/ August 27/28, 2012, Paris, France Co-located with FM 2012 ==================================================================== Scope The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers that are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS workshop series also strives to promote research and development for the improvement ...

Keywords: verification, case studies, critical systems, formal methods

18th International Symposium on Formal Methods

Description: Scope FM 2012 is the eighteenth in a series of symposia organized by Formal Methods Europe, an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. The symposia have been notably successful in bringing together innovators and practitioners in precise mathematical methods for software and systems development, industrial users as well as researchers. Submissions are welcomed in the form of original papers on research and industrial experience, proposals for workshops and tutorials, entries for the exhibition of software tools and projects, and reports on ongoing doctoral work. The FM 2012 Symposium ...

Keywords: verification, formal methods

ACM/IEEE Tenth International Conference on Formal Methods and Models for Codesign

Description: ACM/IEEE Tenth International Conference on Formal Methods and Models for Codesign MEMOCODE 2012 http://www.memocode-conference.com Arlington, Virginia July 16-18, 2012 The goal of MEMOCODE 2012, the tenth in a series of successful international conferences, is to gather researchers and practitioners in the field of the design of modern hardware and software system to explore ways in which future design methods can benefit from new results on formal methods. IMPORTANT DATES Abstract submission deadline: March 2, 2012 Paper submission deadline: March 9, 2012 Notification of acceptance: May 4, 2012 Final Version for Papers: May 18, 2012 Hardware-software systems face increasing design complexity ...

Keywords: verification, vlsi, embedded system, formal methods

39th International Colloquium on Automata, Languages and Programming

Description: Topics Papers presenting original research on all aspects of theoretical computer science are sought. Typical but not exclusive topics of interest are: Track A: Algorithms, Complexity and Games Algorithmic Game Theory, Approximation Algorithms, Combinatorial Optimization, Combinatorics in Computer Science, Computational Biology, Computational Complexity, Computational Geometry, Cryptography, Data Structures, Design and Analysis of Algorithms, Machine Learning, Parallel, Distributed and External Memory Computing, Randomness in Computation, Quantum Computing. Track B: Logic, Semantics, Automata and Theory of Programming Algebraic and Categorical Models, Automata Theory, Formal Languages, Emerging and Non-standard Models of Computation, Databases, Semi-Structured Data and Finite Model Theory, Principles of Programming Languages, ...

Keywords: automata theory, verification, formal methods

24th International Conference on Computer Aided Verification

Description: 24th International Conference on Computer Aided Verification (CAV 2012) July 7-13, 2012 Berkeley, California, USA Program Chairs: Madhusudan Parathasarathy and Sanjit A. Seshia Website: http://cav12.cs.illinois.edu/ Aims and Scope ------------------- The conference on Computer Aided Verification (CAV), 2012, is the 24th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. CAV considers it vital to continue spurring advances in hardware and software verification while expanding to new domains such as biological systems and computer security. The conference covers the spectrum from theoretical results to concrete applications, with an ...

Keywords: verification, formal methods

10th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2012

Description: CALL FOR PAPERS --------------- 10th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2012 http://www.iceis.org/MSVVEIS.aspx In conjunction with the 14th International Conference on Enterprise Information Systems - ICEIS 2012 http://www.iceis.org/ BACKGROUND AND GOALS -------------------- One of the most important recurrent problems in any enterprise is how to ensure the reliability and correctness of the core processes and systems the company relies on. This event focuses on the provision of methods and tools that can increase the level of confidence on Enterprise Information Systems (EIS). Procedures to increase the quality of the outcome for an ...

Keywords: validation, verification, modelling

12th International Conference on Application of Concurrency to System Design

Description: 12th International Conference on Application of Concurrency to System Design (ACSD 2012) Hamburg, Germany, June 27-29, 2012 http://www.informatik.uni-hamburg.de/TGI/events/pn-acsd2012/home.shtml CONFERENCE SCOPE The conference aims at cross-fertilizing both theoretical and applied research on the following topics: * design methods, tools and techniques based on models of computation and concurrency (data-flow models, communicating automata, Petri nets, process algebras, state charts, MSCs, etc.), performance analysis, verification, testing and synthesis; * hardware / software co-design, platform-based design, component-based design, refinement techniques, hardware / software abstractions, co-simulation and verification; * synchronous and asynchronous design, asynchronous circuits, globally asynchronous locally synchronous (GALS) systems, interface design, multi-clock systems, ...

Keywords: concurrency, verification, formal methods

Mathematics of Program Construction

Description: FIRST CALL FOR PAPERS 11th International Conference on Mathematics of Program Construction (MPC 2012) Madrid, Spain, 25-27 June 2012 http://babel.ls.fi.upm.es/mpc2012 BACKGROUND The biennial MPC conferences aim to promote the development of mathematical principles and techniques that are demonstrably practical and effective in the process of constructing computer programs, broadly interpreted. The 2012 MPC conference will be held in Madrid, Spain, from 25th to 27th June 2012. The previous conferences were held in Twente, The Netherlands (1989), Oxford, UK (1992), Kloster Irsee, Germany (1995), Marstrand, Sweden (1998), Ponte de Lima, Portugal (2000), Dagstuhl, Germany (2002), Stirling, UK (2004, colocated with AMAST), ...

Keywords: verification, computer science, programming languages, formal methods

17th IEEE European Test Symposium

Description: The IEEE European Test Symposium (ETS) is Europe’s premier forum dedicated to presenting and discussing scientific results, emerging ideas, practical applications, hot topics and new trends in the area of electronic-based circuits and system testing. A Test Spring School will be organized in conjunction with ETS’12. In 2012 ETS will take place in Imperial Palace, Annecy, France and is being organized by TIMA Laboratory (CNRS, Grenoble INP, UJF) and sponsored by the Test Technology Technical Council of the IEEE Computer Society. You are invited to participate and submit contributions to ETS’12. The areas of interest include (but are not limited ...

Keywords: reliability, verification, test

1st International Workshop on the Verification and Validation of Model Transformations

Description: VOLT 2012</p> Co-located with ICST 2012</p> Model transformations are everywhere in software development, implicitly or explicitly. They became first-class citizens with the advent of MDD — with explicit models also came explicit model transformations. VOLT 2012 is the first workshop to offer researchers a dedicated forum to classify, discuss, propose, and advance verification techniques dedicated to model transformations.</p> VOLT's interest spans both to academic and industrial practices. Part of the workshop is used as a forum for discussing practical applications of model transformation. The goal of the forum is to collect enough industrial case studies so that those problems can ...

Keywords: validation, verification, model transformation

IEEE Fifth International Conference on Software Testing, Verification and Validation

Description: The IEEE International Conference on Software Testing, Verification and Validation (ICST) is the premier conference in all areas related to software quality. Software systems present unique engineering challenges to the tester, not least because they can exhibit non-determinism and emergent behaviour. No other engineering artefact is more closely intertwined with the human activity, resulting in complex systems that involve software, human judgement and, sometimes, political, legal and social processes. As a result, software verification & validation, including testing, inspections, model analysis, safety certification, etc. draws upon a wide spectrum of disciplines, including engineering, mathematics and also psychology. It touches on ...

Keywords: verification, software testing

Hybrid Systems: Computation and Control 2012

Description: HSCC 2012 The 15th International Conference on Hybrid Systems: Computation and Control (HSCC 2012) will take place in Beijing, in April 17-19, 2012. HSCC 2012 is part of the 5th Cyber Physical Systems Week (CPSWeek) which is the collocated cluster of five conferences and workshops: HSCC, RTAS (Real-Time and Embedded Technology and Applications Symposium), IPSN (International Conference on Information Processing in Sensor Networks), and ICCPS (International Conference on Cyber-Physical Systems). Through CPSWeek, the five major events will have a shared registration process, joint invited speakers and poster sessions, and joint social events. HSCC 2012 is the 15th in a series ...

Keywords: verification, hybrid systems, control

Fourth NASA Formal Methods Symposium

Description: NFM 2012 FIRST CALL FOR PAPERS Fourth NASA Formal Methods Symposium Norfolk, Virginia, USA April 3 - 5, 2012 http://shemesh.larc.nasa.gov/nfm2012/ nasa-nfm2012@mail.nasa.gov -------------------------------------------------- Theme of Conference: -------------------------------------------------- The NASA Formal Methods Symposium is a forum for theoreticians and practitioners from academia, industry, and government, with the goals of identifying challenges and providing solutions to achieving assurance in mission- and safety-critical systems. Within NASA, for example, such systems include autonomous robots, separation assurance algorithms for aircraft, Next Generation Air Transportation (NextGen), and autonomous rendezvous and docking for spacecraft. Moreover, emerging paradigms such as code generation and safety cases are bringing with them ...

Keywords: verification, formal methods