iFM 2081 Call For Papers

iFM 2081 Call For Papers

[Hao Wu]

[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

===========================================================
                     CALL FOR PAPERS
                         iFM 2018     

 14th International Conference on integrated Formal Methods 
           September 5-7, 2018, Maynooth, Ireland

                https://ifm2018.cs.nuim.ie/
===========================================================

=== Important dates ===

Abstract submission: Monday, 16 April 2018
Paper submission: Friday, 20 April 2018
Notification: Thursday, 14 June 2018
Conference: 5-7 September 2018

== Keynote speakers ==

- Cristian Cadar, Imperial College London
- Ana Cavalcanti, University of York
- Viktor Vafeiadis, MPI-SWS

== Colocated events ==

- PhD Symposium
- FMICS: International Conference on Formal Methods for 
         Industrial Critical Systems

=== Objectives and scope ===

Applying formal methods may involve the usage of different formalisms
and different analysis techniques to validate a system, either because
individual components are most amenable to one formalism or technique,
because one is interested in different properties of the system, or
simply to cope with the sheer complexity of the system. The iFM
conference series seeks to further research into hybrid approaches to
formal modeling and analysis: the combination of (formal and
semi-formal) methods for system development, regarding both modeling
and analysis. The conference covers all aspects from language design
through verification and analysis techniques to tools and their
integration into software engineering practice.

Areas of interest include but are not limited to:
- Formal and semi-formal modelling notations
- Combining formal methods
- Integration of formal methods into software engineering practice
- Program verification, model checking, and static analysis
- Theorem proving, decision procedures, SAT/SMT solving 
- Runtime analysis, monitoring, and testing
- Program synthesis
- Analysis and synthesis of hybrid, embedded, probabilistic, distributed,
  or concurrent systems
- Abstraction and refinement
- Model learning and inference

=== Submission guidelines ===

iFM 2018 solicits high quality papers reporting research results
and/or experience reports related to the overall theme of formal
method integration.

We accept papers in the following categories:

 - Regular papers (limit 15 pages) on
     -  original scientific research results
     -  tools, their foundation and evaluations
     -  applications of formal methods, including rigourous evaluations

 - Short papers (limit 8 pages) on
     -  any subject of interest in the area of formal methods that can be
	     described with sufficient detail within the page limit

Page limits include bibliography and any appendices. All submissions
must be original, unpublished, and not submitted for publication
elsewhere.  Each paper will undergo a thorough review process.
Submissions will be judged on the basis of significance, relevance,
correctness, originality, and clarity.

Submissions should be made using the iFM 2018 Easychair site: 

   https://easychair.org/conferences/?conf=ifm2018

Submissions must be in PDF format, using the Springer LNCS style
files.

The conference proceedings will be published in Springer's
Lecture Notes in Computer Science series.

All accepted papers must be presented at the conference. Their authors
must be prepared to sign a copyright transfer statement. At least one
author of each accepted paper must register to the conference by the
early registration date, to be indicated by the organizers, and
present the paper.

=== Organization ===

= General chair =
Rosemary Monahan, Maynooth University, Ireland

= PC chairs =
Carlo A. Furia, Chalmers University of Technology, Sweden
Kirsten Winter, University of Queensland, Australia

= Program committee =
Erika Abraham, RWTH Aachen, Germany
Bernhard Aichernig, University of Graz, Austria
Elvira Albert, Complutense University of Madrid, Spain
Domenico Bianculli, University of Luxembourg, Luxembourg
Eerke Boiten, De Montfort University, UK
Einar Broch Johnsen, University of Oslo, Norway
Maria Christakis, MPI-SWS, Germany
David Cok, GrammaTech, USA
Robert Colvin, University of Queensland, Australia
Ferruccio Damiani, University of Turin, Italy
Eva Darulova, MPI SWS, Germany
Frank de Boer, CWI Amsterdam, Netherlands
John Derrick, University of Sheffield, UK
Brijesh Dongol, Brunel University, UK
Catherine Dubois, ENSIIE, France
Diego Garbervetsky, University of Buenos Aires, Argentina
Peter Hoefner, Data61, Australia
Marieke Huisman, University of Twente, Netherlands
Rajeev Joshi, NASA JPL, USA
Nikolai Kosmatov, CEA LIST, France
Laura Kovács, Vienna University of Technology, Austria
Rustan Leino, Amazon, USA
Larissa Meinicke, University of Queensland, Australia
Dominique Mery, LORIA Nancy, France
Toby Murray, University of Melbourne, Australia
Luigia Petre, Åbo Akademi University, Finland
Ruzica Piskac, Yale University, USA
Chris Poskitt, SUTD, Singapore
Kostis Sagonas, Uppsala University, Sweden
Gerhard Schellhorn, Universitaet Augsburg, Germany
Steve Schneider, University of Surrey, UK
Gerardo Schneider, University of Gothenburg, Sweden
Emil Sekerinski, McMaster University, Canada
Martin Steffen, University of Oslo, Norway
Helen Treharne, University of Surrey, UK
Caterina Urban, ETH Zurich, Switzerland
Mark Utting, University of Sunshine Coast, Australia
Heike Wehrheim, University of Paderborn, Germany
Mitsuharu Yamamoto, Chiba University, Japan
Chenyi Zhang, Jinan University, China

= Publicity chair =
Hao Wu, Maynooth University, Ireland

=== Conference location ===

iFM 2018 is organized by Maynooth University and will take place in
Maynooth, Ireland.

[] ICADIWT 2018

[ijwa-wnes0QfRmUSh6J55Ss3d3w]

CALL FOR PAPERS

The Ninth International Conference on the Applications of Digital 
Information and Web Technologies (ICADIWT 2018)
September 05-06, 2018
Porto, Portugal
http://socio.org.uk/icadiwt-thai/


The Ninth International Conference on the Applications of Digital 
Information and Web Technologies (ICADIWT 2018) is a forum for 
researchers to present the intensive and innovative research, ideas, 
developments and applications in the areas of Computer Communications, 
Communication networks, Communication Software Communication 
Technologies and Applications, and other related themes.

This conference (ICADIWT Edition IX) will include presentations of 
contributed papers and state-of-the-art lectures by invited keynote 
speakers. Digital Technologies is embeded in the research activites of a 
large number of people and it ensures the Ubiquitous reaching of more 
number of people in the recent years. Research in digital technologies 
has been carried out in many directions using various resources and 
tools and on the other side, the application issues are addressed by 
more volume of researchers not necessarily limited to information and 
computing technology. Thus the proposed conference series realize its 
value and potential and manifest the requirements in the form of the 
international conference.

This edition will address the following outlined themes (but not limited 
to)

Internet Communication
Internet Technologies
Web Applications
Internet Software
Data Access and Transmission
Digital Communication Software
Digital Networks
Web Communication Interfaces
Adaptive Systems
Internet of Things
Internet of breath
Augmented Reality
Databases and applications
Web Systems Engineering Design
Intelligent Agent systems/
Semantic Web Studies
Adaptive Web applications and personalization
Actuators and sensors
Robotics and Machine Vision
Smart cities and structures
Control
Automation
Human-machine interfaces
Real-time simulation
Digital Technologies for Mechanical and other designs


Publication and Indexing

The accepted full papers will be published in the IOS series (Frontiers 
in Artificial Intelligence and Applications (FAIA))and submitted for 
inclusion in many indexes. Accepted full papers will be submitted for 
indexing to multiple abstract and indexing partners. The papers will be 
indexed in many databases as given at 
http://www.frontiersinai.com/?q=indexing

The accepted papers will be published as a post-conference publication. 
During the conference, the pre-conference volume will be distributed.

Important Dates

Submission of papers- July 01, 2018
Notification- July 20, 2018
Camera ready-August 20, 2018
Registration-August 20, 2018
Conference Dates-September 05-06, 2018

In addition, selected papers after complete modification and revision 
will be published in the following special issues of journals

Journal of Digital Information Management
Technologies
Computers

PROGRAM COMMITTEES

Honorary Chair

Jolanta Mizera-Pietraszko, (Opole University, Poland)

General Chairs

Hathairat Ketmaneechairat, King Mongkut’s University of Technology, 
Thailand
Ramiro Smano Robles, Instituto Superior de Engenharia do Porto Rua, 
Portugal
Program Chairs

Yao-Liang Chung, National Taiwan Ocean University, Taiwan
Ricardo Rodriguez Jorge, (Autonomous University of Ciudad Juarez, 
Mexico)

Submissions at
http://www.socio.org.uk/icadiwt/paper-submission/

Contact
diwt-zfKPy0rg4Rw@public.gmane.org  or icadiwt-PoTAqrqNFiLpIgCt6eIbzw@public.gmane.org

---------------------------------------------------------------