coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Training: Getting Started with Formal Verification

From: Ashish Darbari <ashish.darbari AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] Training: Getting Started with Formal Verification
Date: Wed, 12 Dec 2018 22:26:21 +0000
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=ashish.darbari AT gmail.com; spf=Pass smtp.mailfrom=ashish.darbari AT gmail.com; spf=None smtp.helo=postmaster AT mail-it1-f196.google.com
Ironport-phdr: 9a23:WrSN0BOw3o+mGZhHjtcl6mtUPXoX/o7sNwtQ0KIMzox0LfX5rarrMEGX3/hxlliBBdydt6oUzbKO+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxlLiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPdeRWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbYUwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0yRD+s7bpkSAXwhSgILT438G/ZhM9tgqxFvB2svAZwz5LObYyPKPZyYqHQcNUHTmRBRMZRUClBD5ugYosUD+oBPP1Yr4ngrFUAtxS+HxKjC/n1yj9Jm3T72rc10/8hEQHHxwwgH8gCv2nOo9XvL6gdS/q1zKjTwDXMavNZwzb96IzSfh89pvGMWKt9fMzMwkchEAPFi0+fqY3jPz6NzOsMvGmb7+1lVeKukG4otRt9rSSoxscpjITCm4Ebykjc+Cln3Io4Ice0RU17bNK+DZddtiCXO5FrTs4mQmxlvjsxxKcctp6hZicKzYwqxx7BZPyDdIiF+hfjW/yQITd8nX5lea6/iwur/Uiu1+HxUsi53ExFripCldnMuXQN2ALJ5sebTft9+1+t2TeJ1w/N9uFJOV44mbbfJpI7wbM9loAfvVnCEyL3gkn6kaube0Q89uit8evnY7HmppGGN49zjwHzKr4hmte/AeQ5KQgOX3KX9vmm27355kL2Wq9Kjvwtn6nWtZDVP8UbpqqjDwBJ1YYj7g6zDy2639QAgXkHMFVFdQqbgIjuIlHCOez3DfOig1u3izpr3PDHPrj5AprXNHTDkbHhfax860FG0gYzw8pftNpoDeQKJ+u2UUvsvvTZCAU4Okq62bXdBc15x78ZDGuUAq6CMIveuEWC7/guZe6Wa9w7ojH4ftE+5//1jTcVkEUXdLOolc8ec3C5BfQgL0yDa3P2g/8OFG4Lukw1S+m82w7KaiJae3vnB/F03To8Eo/zVd6SFLDou6SI2WKAJrMTY2lHDl6WFnKxLteLXv4NbGSZJcozy2VYB4jkcJco0FSVjCG/06Bud7OG9SgRtJal399wtbWKyEMCsAdsBsHY6FmjCmF5mmRSGW0z1aF75E1hkxKNiPkmxfNfEtNX6rVCVQJobZM=

Hi All

Axiomise is hosting a one-day training programme for anyone interested in learning how to get started with applying formal hardware verification in industry - aimed at graduate students as well as practising professionals. If you ever wanted an intensive one-day crash course to get started with formal for hardware verification then this course is ideal.

Price: £350 for students, £475 for professionals

Where: Reading, UK

When: 24 Jan 2019

More information: www.axiomise.com/formal_training

Ashish

Dr Ashish Darbari, FBCS, FIETE, DPhil (Oxon)
Founder & CEO
+44 207 096 0465
ashish.darbari AT axiomise.com
Axiomise Ltd. Company No: 11016128
71-75 Shelton Street
WC2H 9JQ

London, UK

[Coq-Club] Training: Getting Started with Formal Verification, Ashish Darbari, 12/12/2018