Stream: Archive Mirror: Isabelle Users Mailing List

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

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:

• Specifications of traditional machine architectures (ARM, MIPS,
  PowerPC, RISC-V, x86, ...)

• Specifications of virtual machines (JVM, LLVM, Webasm, ...)

• Domain-specific languages for specifying ISAs
• ISA semantics in interactive theorem provers
• Proof methodologies (symbolic simulation, interactive proof, ...)
• Formal applications of instruction set simulators
• Compiler correctness with respect to formal ISA specifications

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>

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: Nov 21 2024 at 12:39 UTC