Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Call for Papers - Workshop on Instruction Set ...


view this post on Zulip Email Gateway (Aug 22 2022 at 20:00):

From: "Fernandez, Matthew" <matthew.fernandez@intel.com>
Dear colleagues,

I note that one is expressly instructed NOT to send CFPs to this list, but the status quo seems to be that CFPs do come through here. If there is a more appropriate way to post a CFP to the Isabelle community please let me know. If a list admin wants to reject this message, I understand, but if not please consider the following conference workshop opportunity.

The inaugural Workshop on Instruction Set Architecture Specification
(SpISA2019) will take place on September 13th, 2019 in Portland, Oregon,
USA. SpISA2019 will be collocated with the Tenth International
Conference on Interactive Theorem Proving (ITP2019).

Paper Submission


SpISA2019 is devoted to the specification of instruction set
architectures in a formal setting, and to the formal proofs of code
correctness and other properties with respect to such specifications. We
welcome contributions from academia and industry. Topics of interest
include:

Submissions will undergo single-blind peer review. They should be no
more than 4 pages in length including bibliographic references and are
to be submitted in PDF format via EasyChair via the following link:

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

Important Dates


Paper submission: June 30, 2019
Author notification: July 25, 2019
Workshop: September 13, 2019

Contact


Matthew Fernandez <matthew.fernandez@intel.com>
John Harrison <jrh013@gmail.com>

view this post on Zulip Email Gateway (Aug 22 2022 at 20:01):

From: Lawrence Paulson <lp15@cam.ac.uk>
Just to clarify: relevant CFPs are perfectly welcome here. That means anything related to automated theorem proving or formal verification. But you’d be amazed at what gets submitted.

Posts must be from real people: never from special conference accounts or indirectly from other lists.

Larry Paulson


Last updated: Mar 28 2024 at 20:16 UTC