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