Skip to Content.
Sympa Menu

ssreflect - [ssreflect] ITP / FLOC 2018 workshop application deadline

Subject: Ssreflect Users Discussion List

List archive

[ssreflect] ITP / FLOC 2018 workshop application deadline


Chronological Thread 
  • From: Jeremy Avigad <>
  • To: , isabelle-users <>, , , , , lean-user <>, "" <>
  • Cc: Assia Mahboubi <>
  • Subject: [ssreflect] ITP / FLOC 2018 workshop application deadline
  • Date: Thu, 15 Jun 2017 09:32:35 -0400
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None ; spf=None ; spf=None
  • Ironport-phdr: 9a23:/ARV4Bee1HvJq6vCofz263tylGMj4u6mDksu8pMizoh2WeGdxc26ZhON2/xhgRfzUJnB7Loc0qyN4v+mATRIyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSijewZbF/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbDVwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4rx1QxH0ligIKz858HnWisNuiqJbvAmhrAF7z4LNfY2ZKOZycqbbcNgHR2ROQ9xRWjRBDI2ybIUBEvQPMvpDoobnu1cDtwGzCRWwCO7tzDJDm3/43bc90+QkCQzI2BIvH8gQv3TRrNT+KbsfUf60zKnH1zrMcu5d1DDn54jWcxAhruuDUq9rfMXNzEkvChnJgUuNpoz4Jj6Y0PkGvWac7+plT+2vimgnphl/ojirwccjlpfFip4Ixl3H7yl5x5w1JdK+RUVmYtCkCINduiOVOodsX88uXWFltDw5x7EYo5K3YSoHxZUhyhXCcfKIaZKI7QjmVOuJITd3mnZleLWniha360egy+n8WtCz0FZWsiZJi9fMum0P2hHS8MSHRfx9/kCu2TaLyQ/f8P1LIUcxlabDKp4hxKA/loYLvEnBESL6glj6gLGWe0k++eWk9f7rbqjkq5KdL4N0jxvxMqUqmsyxG+Q4NQ0OUnCB9uSi1b3j8lf2T6hRg/IslKnWrYraKtoVp6KjHwBV15sj5wyhADi7zdQUhWMHI05deBKbk4jpPEnDIOvjDfelnVusnjNryO7aMb39GZjNNXjCkLL5fbln8UJcyQwzzcpe551OEL0BLujzCQfNs4nYCRt8Mgq6xM7jCc5hzcUFXn+VCaKXN7ndvBmO6/5ra+iXbYUYvDLwbuU+6uT1xSs4glYXcK2t0N4Kc32iBdxtJwOSaH+qi9xHDGRc+kI1S/Wvg1mfWxZSYWyzVuQy/HVzEJy9JYzYQsa2mr3H1yC+WtVfaWxPIlSNCmvzMY6EUvMJZTiJZNRs1nQfTqKsRYss3g2GsRTgjrthNOvdvCwer5PqktZvo6XXmBg0sCFvAt7Vh2WARmcxg3gFXRc526dwpUFy0FCeybM+iPtdQ5gbrdNOVwAmMobN8/1iBuzyVwXbb/+GT1GpRtipGzYsVsl3yNgLKQ4pG9KniQzExzu2EqcYi7yGA4Yl2q3b2Hf1KslnzGvez+8qiFxwEeVVMmjzpKNl+g3CT6fXkkqQm+7+fLod0yfB3GyG0CyDsFwOA104arnMQX1KPhielt/+/E6XCub2Ubk=

Friends, 

In *2018*, Interactive Theorem Proving (ITP) will be held on July 9-12 in Oxford, UK as part of the the Federated Logic Conference (FLOC):

  http://www.floc2018.org/
  http://www.floc2018.org/wp-content/uploads/2017/01/FLoC-2018-poster.pdf

The reason for this early announcement is that the deadline for workshop proposals is next Monday, July 19:

  http://www.floc2018.org/workshops/

Applications are made to the FLOC organizing committee, but you have to list an affiliated conference. We would welcome any ITP affiliated workshops; so if you are interested in organizing one, please let us know.

Best wishes,

Jeremy Avigad and Assia Mahboubi
Program Committtee Chairs, ITP 2018


  • [ssreflect] ITP / FLOC 2018 workshop application deadline, Jeremy Avigad, 06/15/2017

Archive powered by MHonArc 2.6.18.

Top of Page