[macs-faculty] New England Systems Verification Day

Ran Canetti canetti at bu.edu
Tue Jun 27 12:13:08 EDT 2017


Indeed,  a great initiative!

I would very much like to participate, but that day is problematic for 
me too for  the same reason (thanks Sharon for noticing...)

if it can be moved to another date it would be great.

Thanks, Ran


On 6/27/2017 12:02 PM, Sharon Goldberg wrote:
> I would like to come to this, but its on Rosh Hashana. I suppose 
> others might have a conflict too. Is there a better day for this?
>
> Sharon
>
> On Mon, Jun 26, 2017 at 4:56 PM, Nickolai Zeldovich 
> <nickolai at csail.mit.edu <mailto:nickolai at csail.mit.edu>> wrote:
>
>     Hi all,
>
>     We are planning to organize a one-day workshop focusing on recent
>     progress in applying formal verification to hardware and software
>     systems.
>     The workshop will consist of talks about recent and ongoing
>     projects in
>     verifying systems, and discussions of approaches, important
>     challenges,
>     and directions for future work.  Tentatively, the topics include:
>
>     - Verification of cryptographic libraries.
>     - Verification of SGX and other secure hardware.
>     - Verification of OS kernels and subsystems.
>     - Verification of distributed systems.
>     - Verification of concurrent systems software.
>     - Verification of compilers.
>     - Verification using Coq, Z3, and other tools.
>
>     Although verification isn't a direct focus of the MACS project, one
>     reason we're inviting all of the MACS PIs is that formal verification
>     might be an interesting direction for future research after the MACS
>     project formally ends.
>
>     The tentative plan is to hold the workshop at MIT on Friday, September
>     22nd.  Would you be interested in participating and would this
>     date work?
>
>     Thanks,
>
>     Nickolai, Frans, and Adam.
>     _______________________________________________
>     macs-faculty mailing list
>     macs-faculty at cs.bu.edu <mailto:macs-faculty at cs.bu.edu>
>     http://cs-mailman.bu.edu/mailman/listinfo/macs-faculty
>     <http://cs-mailman.bu.edu/mailman/listinfo/macs-faculty>
>
>
>
>
> -- 
> Sharon Goldberg
> Computer Science, Boston University
> http://www.cs.bu.edu/~goldbe <http://www.cs.bu.edu/%7Egoldbe>
>
>
> _______________________________________________
> macs-faculty mailing list
> macs-faculty at cs.bu.edu
> http://cs-mailman.bu.edu/mailman/listinfo/macs-faculty

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://cs-mailman.bu.edu/pipermail/macs-faculty/attachments/20170627/ffae2f7e/attachment.html>


More information about the macs-faculty mailing list