coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] CfP PhD Symposium at iFM'19 on Formal Methods: Algorithms, Tools and Applications

From: ifm19 <ifm19 AT hvl.no>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] CfP PhD Symposium at iFM'19 on Formal Methods: Algorithms, Tools and Applications
Date: Fri, 16 Aug 2019 09:06:55 +0000
Accept-language: en-US
Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=hvl.no; dmarc=pass action=none header.from=hvl.no; dkim=pass header.d=hvl.no; arc=none
Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=AHwLPUO01+C/Q9T2ta7SuXolgPhkvdhCJa3xGV/4mM4=; b=PHxe4J4aJtvm/srSzjxcJz4uo0jy8G39Ol9JZaosbjGRKrtAb0MR3wNxTfPGxpk7J25I6OYn+ZnjRuSj8GyX21EAWG6hJwQyzc7kPFSgvofTjVEFnlyIcOYhJ89LGByM9KvvVswqCowQz3aTNelgFN1Nty9ZMwWfcMArjfeNmD16ykNctYAWaWbCjurz6UjX1XMAWstJWS8DIXqYdGy7UC8TNa1DO0cbk+4M4KFw+Qtmu6bMMNbxiHJuQCC8dxFKLiy4+jvYqs4F4eYQWwpnRzhjbAX66FmuhWVUp+xSlxn+EQ89VTEDi1YrgAFFo/l3/QKF0iwVhUT128kVBwTtcg==
Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=cIHa/2vyNociMFJFN4mLQdtPyTjkPdvXTCHjR8o96wtMXEHhFx7KXSsoZBEG+Xxg5heYt+ZoIvSzEY3cb8YPsJtMSWttNSA0LLNQghN4WeUhWCAZfyR5JkTE/ZJXWJ0M92qpyGtv73RZ+2VRz4nhw4ZUtKPUKnCHrbTPKGGi+V7O0Tvx6sotfj1+Rk1n9BKjmbPXdu6riQ+5+ofR5GeESghwoae9Iv3gJmwsgSjTHfFGjsWI6PV+lwDwLk/+d8NldNGasRlr9wCidEuBdH2duE/8K6r7TGsMmHWm1AunyA2kZPxSkSHO4Z0z5NjuT1a1rawGIWOpapKkq3ADW/1X/Q==
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=Volker.Stolz AT hvl.no; spf=Pass smtp.mailfrom=Volker.Stolz AT hvl.no; spf=Pass smtp.helo=postmaster AT EUR02-HE1-obe.outbound.protection.outlook.com
Ironport-phdr: 9a23:GbjjtR9G40vRe/9uRHKM819IXTAuvvDOBiVQ1KB31uIcTK2v8tzYMVDF4r011RmVBN+dsqkfwLKG+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxhWiDanfL9/Ihu7oQrNusQVnIBvNrs/xhzVr3VSZu9Y33loJVWdnxb94se/4ptu+DlOtvwi6sBNT7z0c7w3QrJEAjsmNXs15NDwuhnYUQSP/HocXX4InRdOHgPI8Qv1Xpb1siv9q+p9xCyXNtD4QLwoRTiv6bpgRRn1gykFKjE56nnahMxugqxGvBKhvBJxzY3TboGUKPVwcazScMgGRWpYW8ZdSyxBDp+iY4YJEuEPPfxYr474p1YWrBu+CwysCP7rxzRVgXL23KM60+E8HQzCxwEgH8wOsHDOoNXzM6cfSOa4x7TGwzXEavNZwzb96I7Qfx8/u/6MRrJxftbRyUY1FgPFlE+cqYv/PzOazugNs3ab7+56WeKpjG4qrRx6rDu3xso0hYTFmpgZxk3Y+Sh72oo5OMe0RUxlbdK8DZddtyKXO5F4T84gWW1luyg3xqcGtJO5ZCQKxoooyh3DZ/GCdoWF7BbuVOiRLDp9i39odrCyiA23/EWj1+LxUtK73VNOoyZYkdTBt3YA3AHJ5MedUPty5EKh1C6P1w/N7uFEJlg5m6XVJJA93rI8iIMfv0bMECPrgUn2i7SZeVs+9uiv9uTnfq7pppiBN49ylw7yKLwumta4AeQkLAcBQ3Sb+eW71L3l50H5R6hKjuEykqnet5DaJt4XqbK+Aw9Qyooj6hC/ACm60NkAknQLMEhJdA+bg4XrIV3CPer0APWhj1i0lTdk3fHGPrnvApXXKXjDla/scrl6605Yywo808pf64hJBLEdJ/LzXk7wucfYDh8nNwy42eDnCNJl2oMERW2PGrOZML/VsVKQ+u0vJPCMaJYJtzb5Nvgq/OXjjWQ5mF8YZammx4EbaHG+HvR8IkWWe2DggtkbETRCgg1rBuftkRiJVSNZT3e0RaM1oD8hQsryBoDaA4upnbap3SGhH5QQaHoQWX6WFnK9douBAqZEPCOcJ5YwujwaUf6nTNlyhlmVqAbmxu8/faLv8SoCuMe7jYQn16jojRg3sAdMIYGFyWjdHWFqmiUOQG1uhf0tkQlG0l6GlJNArblYGNhUu6wbfzoAbcSZ78EjTtf4V0TGY8uDT0ugTpO+GzYtQ9ktwtgIJUFgB9GliROF1C2vUeZMxu67Qacs+6eZ5EDfYsN0ynLIzq4k3wsmXM8JM2r036M=

============================================================
PhD Symposium at iFM'19 on
Formal Methods: Algorithms, Tools and Applications
(PhD-iFM'19)
Bergen, Norway, December 3, 2019

http://ifm2019.hvl.no/phd-symposium/

Paper submission: Sep 22, 2019
Author notification: Oct 11, 2019
============================================================

=== Scope ===

The theory, implementation, integration or application of
formal methods in a broad sense.

=== Who can submit? ===

PhD students and young researchers at an early
career stage (up to 2 years after PhD completion).

=== Why to submit? ===

Participants will have the possibility to give short
presentations about their research projects.

- The doctoral symposium offers an excellent opportunity to
present your work in an international setting, and to get
feedback from senior researchers in the field.
- The doctoral symposium lets you exchange knowledge and
experiences with fellow PhD-students in a related topic.
- The selected contributions will be published as a technical
report of the Western Norway University of Applied Sciences.

Furthermore, we are happy to announce a keynote by

Andreas Griesmayer, Senior Research Engineer (Arm, Cambridge, UK)

=== What to submit? ===

You are welcome to submit an extended abstract of at most
3 pages, describing your research project which you would
like to present. Co-authors are allowed, but you should be
the first author. The results may have been accepted or
even published elsewhere. Multiple submissions by one author
are not permitted. Submissions should be written in English
and follow the EasyChair formatting guidelines, available at

http://www.easychair.org/publications/for_authors

Please submit your abstract electronically in pdf via the
EasyChair page

https://easychair.org/my/conference?conf=phdifm19

The submitted abstracts will undergo a lightweight reviewing
process. A symposium proceedings containing the accepted
abstracts will be available as a technical report of the
Western Norway University of Science and Technology, Norway.

=== Programme Committee ===

Jacopo Mauro, University of Southern Denmark, Denmark (chair)
Cesar Sanchez, IMDEA Software Institute, Spain (chair)

Erika Abraham, RWTH Aachen University, Germany
Carlo Furia, USI, Switzerland
Gordon Pace, U Malta, Malta
Gerardo Schneider, University of Gothenburg, Sweden
Martin Steffen, University of Oslo, Norway
Marielle Stoelinga, U Twente, Netherlands
--
Volker Stolz / http://ict.hvl.no/people/volker-stolz/

[Coq-Club] CfP PhD Symposium at iFM'19 on Formal Methods: Algorithms, Tools and Applications, ifm19, 08/16/2019