Skip to main navigation Skip to Content

IPM

  • Director's Message
  • About IPM
  • The Constitution of IPM
  • Contact US
  • فارسي
  • Home
  • People
    • Administrative Board
    • Senior Fellows of IPM
    • Scientific Council of IPM
    • Academic Staff
  • Schools
    • Astronomy
    • Cognitive Sciences
    • Computer Science
    • Mathematics
    • Nano Science
    • Particles and Accelerators
    • Philosophy
    • Physics
  • Centers and Units
    • Grid Computing Group
    • Iranian Light Source Facility
    • Iranian National Observatory
    • IRNIC
    • Library
    • Network Center
  • Publications
    • Akhbar
    • Papers
    • Books
  • Bulletin Board
    • New Bulletins
    • Archive 2012
    • Archive 2011
  • Calendar
  • E - Catalog















Home
  • “ Schools ”

    IPM
    • Astronomy
    • Cognitive Sciences
    • Computer Science
    • Mathematics
    • Nano-Science
    • Particles and Accelerators
    • Philosophy
    • Physics

    “ Centers and Units ”

    IPM
    • GCG Computing Group
    • Information Center
    • Iranian Light Source Facility
    • Iranian National Observatory
    • IRNIC
    • Library
    • Network Center

    “ Research Groups ”

    IPM
    • Bioinformatics
    • Combinatorics and Computing
    • Commutative Algebra
    • Logic
    • IPM HPC Laboratory

    “ Useful Links ”

    IPM
    • Gallery of Visitors
    • Contact Us
    • Gallery of Photos

    “ E-Services ”

    IPM
    • Webmail
    • Official Automation System
    • Library
    • Telephone Book
  • “ Bulletin Board ”

    School of Mathematics  School of Mathematics
    Logic Seminars
     
     
    Logic Seminars

    Nov. 30, 2006-Jan. 18, 2007
    School of Mathematics, IPM

    Title of Talks


    • S. M. Bagheri, Tarbiat Modarres University and IPM
      An Algebraization of Model Theory.

    • Nov. 30, 2006
    • Moj. Moniri, IPM and Tarbiat Modarres University
      Characterizing Computable Beatty Sequences.

    • Dec. 7, 2006
    • M. Alizadeh, IPM
      Algebraic Models for Basic Predicate Logics.

    • Dec. 14, 2006
    • M. Pourmahdian, IPM and Amirkabir University of Technology
      Continuous Probability Structures.

    • Dec. 21, 2006
    • Sh. Mohsenipour, IPM
      Tarki's Problem and Models of Arithmetic.

    • Dec. 28, 2006
    • Mor. Moniri, IPM and Shahid Beheshti University
      Model Theory for Bounded Theories

    • Jan. 4, 2007
    • Sh. Mohsenipour, IPM
      Set Theory and Commutative Algebra.

    • Jan. 11, 2007
    • M. Alizadeh, IPM
      Subintuitionistic Logics.

    • Jan. 18, 2007


    Information:

    Starting date: Thursday Nov. 30, 2006
    Time: 14:00-16:00, every Thursday
    Place: School of Mathematics, Niavaran Bldg., Niavaran Square, Tehran, Iran

     
     
    back to top
footer
  • -IPM
  • -20 Years
  • -INO
  • -ILSF
  • -GCG
  • -Iranet
  • -LIBRARY
  • -NIC
  • -BIO
  • -CCG
  • -Logic
prev next

Exploring IPM

  • People
    • Administrative Board
    • Senior Fellows of IPM
    • Scientific Council of IPM
    • Academic Staff
  • Schools
    • Astronomy
    • Cognitive Sciences
    • Computer Science
    • Mathematics
    • Nano Science
    • Particles and Accelerators
    • Philosophy
    • Physics
  • Centers
    • Deputy for Research
    • Grid Computing Group
    • Information Center
    • Iranian Light Source Facility
    • Iranian National Observatory
    • IRNIC
    • Library
    • Network Center
  • Groups
    • Bioinformatics
    • Combinatorics and Computing
    • Logic
    • Commutative Algebra
    • IPM HPC Laboratory
  • E-Services
    • Library Catalog
    • Official Automation System
    • Official Automation System (dabir)
    • Telephone Book
    • Webmail
  • Publications
    • Akhbar
    • Papers
    • Books

 COPYRIGHT 2012 © ALL RIGHTS RESERVED

Please submit your comments or questions here, or contact Webmaster  |  ipmic@ipm.ir