Dear the related persons on logic and Foundation of Mathematics:

It seems that we will need a new axiom for our mathematics. Please look the
draft and please kindly give me your kind suggestions or comments.
*viXra:1908.0100 <http://vixra.org/abs/1908.0100>* *submitted on 2019-08-06
20:03:01*,
Fundamental of Mathematics; Division by Zero Calculus and a New Axiom
With best regards,
Sincerely yours,

Saburou Saitoh
2019.8.23.10:18




2019年8月23日(金) 9:13 O'Leary, John W <john.w.ole...@intel.com>:

> FINAL CALL FOR PARTICIPATION
>
> ITP 2019
>
> The Tenth International Conference on Interactive Theorem Proving
>
> 8 to 13 September 2019 in Portland, Oregon, USA
>
>
>
> https://itp19.cecs.pdx.edu/
>
>
>
> Main conference: 9 September to 12 September
>
> Affiliated events: 8 September and 13 September
>
>
>
> ITP is the premier international conference for researchers from all
>
> areas of interactive theorem proving and its applications.
>
>
>
> INVITED SPEAKERS
>
>
>
> Kevin Buzzard  (Imperial College, London)
>
> June Andronick (Data61|CSIRO and The University of New South Wales)
>
> Martin Dixon   (Intel)
>
>
>
> CONTRIBUTED PAPERS
>
>
>
> The program committee accepted 29 regular papers and 4 short papers
>
> this year:
>
>
>
> https://itp19.cecs.pdx.edu/accepted-papers/
>
>
>
> AFFILIATED EVENTS
>
>
>
> The following affiliated events will take place on either side of the
>
> main conference:
>
>
>
> * Coq Workshop 2019 (Sunday, 8 September)
>
>
>
> * SpISA 2019: Workshop on Instruction Set Architecture Specification
>
>   (Friday, 13 September)
>
>
>
> * ProofGround: Interactive Proving Contests (Friday, 13 September)
>
>
>
> CONTACT
>
>
>
> Up-to-date information and online registration and accommodation
>
> information can be found at
>
>
>
>   https://itp19.cecs.pdx.edu/
>
>   itp19 at cecs.pdx.edu
> _______________________________________________
> hol-info mailing list
> hol-info@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/hol-info
>
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

Reply via email to