Model Theory of Operator Algebras: Workshop and Conference Irvine, California
September 20--24, 2017
The model-theoretic study of operator algebras is one of the newest and most exciting areas of modern model theory and has already found applications to purely operator-algebraic problems. The goal of this meeting is to help further bridge the gap between the model-theoretic and operator-algebraic communities. The invited speakers are: H. Ando, B. Blackadar, C. Eagle, I. Farah, S. Hardy, S. Popa, D. Sherman, and D.V. Voiculescu. The following tutorials will be offered (with speakers in parentheses): C*-algebras (T. Sinclair), Continuous model theory (B. Hart), and Von Neumann algebras (A. Ioana). Please direct any questions to email@example.com. For further information visit the webpage below.
TABLEAUX 2017/FroCoS 2017/ITP 2017 Brasilia, Brazil
September 25--29, 2017
This event brings together the Twenty-sixth International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Eleventh International Symposium on Frontiers of Combining Systems, and Eighth Conference on Interactive Theorem Proving and Related Issues. The Co-Chairs of the TABLEAUX 2017 Program Committee are C. Nalon and R. Schmidt. The Co-Chairs of the FroCoS 2017 Program Committee are C. Dixon and M. Finger. The Co-Chairs of the ITP 2017 Program Committee are M. Ayala-Rincon and C. Munoz. The members of the combined Organizing Committee are J. Marcos, C. Nalon, D. Nantes Sobrinho, and E. Pimentel. For further information, visit either http://tableaux2017.cic.unb.br or http://frocos2017.cic.unb.br/ or http://itp2017.cic.unb.br/.
[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]