Subject: Ssreflect Users Discussion List
List archive
- 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):
The reason for this early announcement is that the deadline for workshop proposals is next Monday, July 19:
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.