coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] CFS: Programming Languages for Quantum Computing

From: Kartik Singhal <ks AT uchicago.edu>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] CFS: Programming Languages for Quantum Computing
Date: Mon, 14 Oct 2019 21:05:48 -0500
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=ks AT uchicago.edu; spf=Pass smtp.mailfrom=ks AT uchicago.edu; spf=None smtp.helo=postmaster AT mail-io1-f54.google.com
Ironport-phdr: 9a23:1xIMMxJm6Lmq18Ww09mcpTZWNBhigK39O0sv0rFitYgRL/vxwZ3uMQTl6Ol3ixeRBMOHsqkC1LCd7vqocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhEmTSwbalwIRmoogncttcaipZ+J6gszRfEvmFGcPlMy2NyIlKTkRf85sOu85Nm7i9dpfEv+dNeXKvjZ6g3QqBWAzogM2Au+c3krgLDQheV5nsdSWoZjBxFCBXY4R7gX5fxtiz6tvdh2CSfIMb7Q6w4VSik4qx2ThLjlSUJOCMj8GzPisJ/kK1Vrx28qRJxzY7afoOaOvl5cK7GYdMaXG9BUtpRVyBdHI+xaZYEAeobPeZfqonwv14AogGkBQmwBePvySJDiGL33a083OQhERvJ3Ag9FN8Js3TUt874NLoOXuC1zanH0S/Mb/xR2Tvn9ofHbw0hrOiKULltf8TRzkwvGBnEjlWWsYHlIi+a1uQMs2eH9eVgWuWvh3Q5pA5svziiwNonhIrRho8N1FzI6SF0zJw2KNC4UkJ3fN+pHZpKuyyaOIZ6WscvTmJytCokyrALt4S3cSwLxZg92hLTdfyKfo6V6Rz5TumROy13hHd9dbK/mRmy9U+gx/X5Vsau0VZKqjNJktjLtnwQzhDT5MiKR/Rn8keu3jaP0A/T6uVaLkwuiaXbLJshzqYxlpoVr0vDAjf7lFvqgKKSbEkp+eil5/76brjnp5KQLY95hw7mPqQrgMO/AOA4MgYUX2ic/OSxzL7j/VbiTbVXkvI2kqjZv4zAKsQUoa61GRFa3Zs+6xqnFTepzMwYnWUbLFJCYB+Ik4/pO0jXLP/kCfe/nk+jnSxwx/HGO73hGo/CImLCkLfnZ7Z96lRTxBA9zdBFtNpoDeQKJ+u2UUvsvvTZCAU4Okq62bXJEtJ4g6AXQ36OAeeiMaXdsVaMrrYsOMGRb48Usz/yLL4o6+O43ixxokMUYaT8hchfU3u/BPkzexzEM0qpuc8IFCIxhiR7TOHujwffAztaZnL3XqVloz9mVMSpCoDMQo3ri7uEjn/iQs9mI1teA1XJKk/GMp2eUq5QOj+ZIs5qmzMDE7WtVt15jED8hErB07Nia9Hs1GgdvJPn2sJy4rSPxww59T1/BsualWyBUjMtkw==

Hi Robert

> On Oct 14, 2019, at 5:32 PM, Robert Rand
> <rnrand AT gmail.com>
> wrote:
>
> Abstract submission deadline Mon 28 Oct 2019

Quick clarification question. Does Mon Oct 28 mean Monday midnight or Sunday
(Oct 27) midnight?

I was under the impression it was Monday night, but when I go to the
submission site it says "27 Oct 2019 11pm your time". Is that accurate?

--
Kartik
http://ks.cs.uchicago.edu

[Coq-Club] CFS: Programming Languages for Quantum Computing, Robert Rand, 10/15/2019
- Re: [Coq-Club] CFS: Programming Languages for Quantum Computing, Kartik Singhal, 10/15/2019