MACS

Mathematical Aspects of Computer Science

Program Schedule

Click here to download the abstract booklet

Wednesday
April 15
th, 2015

Thursday
April 16
th, 2015

Friday
April 17
th, 2015

 9-9:10 opening

9:10-10:20

Programs, domains, and logic

Very Elementary domain theory: The origins of the subject via lambda calculus

On domain algebras

Achim Jung

Slides

Saleh Aliyari

Slides

Achim Jung

Slides

10:20-10:50

Break

Break

Break

10:50-12

Domain theory: a framework for non-Hausdorff model theory

The metamathematics of domain theory and beyond

Synthetic domain theory for -sets

Massoud Pourmahdian

 

Amir Daneshgar

Slides

Mojgan Mahmoudi

 

12-14

Lunch

Lunch

Closing-Lunch

14-15:10

Domain theory and differential calculus

Domain theory and Integral calculus

Abbas Edalat

Slides

Abbas Edalat

Slides

15:15-15:45

Break

Break

15:45-16:15

Congruences and isomorphism theorem on directed complete partially ordered sets

Computable analysis and its applications

Halimeh Moghbeli

Nazanin Roshandel Tavana

16:20-16:50

Injectivity and retractness of directed complete poset acts

Discussion

Mahdieh Yavari

16:50:17:40







List of Participants

University First Name Last Name
Sharif University of Technology Hossein Aghili
Semnan University Mahdi Ali-Akbari
IPM Saleh Aliyari
University of Tabriz Sahar Ardalan
School of Computer Science, IPM Ebrahim Ardeshir Larijani
IPM and University of Isfahan Javad Asadollahi
Shahid Beheshti University Kia  Babashahi
Shahid Beheshti University Somayeh Chopoghloo
Sharif University of Technology Amir Daneshgar
Hakim Sabzevari University Seifollah Delavari
Shahid Beheshti University M. Mehdi Ebrahimi
Imperial College London, UK Abbas Edalat
Isfahan University of Technology Farshad Fallah
Shahid Beheshti Univercity Jamal Farokhi
Shahid Beheshti University Arman Ferdowsi
Semnan University Mahdie Haddadi
University of Tehran Rakhshan Harifi
Amirkabir University of Technology Seyyed Naser Hashemi
University of Birmingham, UK Achim Jung
Shahid Beheshti University Khadijeh Keshvardoust
Sharif University of Technology Meysam  Madani 
Semnan University  Ali  Madanshekaf
Shahid Beheshti University Mojgan Mahmoudi
IPM Mehrdad Maleki
Payame Noor University Maryam Mast Zohouri
Shahid Beheshti University  Mehri  Mobini 
Amirkabir University of Technology & IPM  Alireza  Mofidi 
Hakim Sabzevari University Gholamreza Moghadasi
Jiroft University Halimeh Moghbeli
Shahid Madani University, Azarbaijan Reihaneh  Naghipour
Shahid Beheshti University Mohammad Nasirifar
University of Maragheh Firooz Pashaie
Isfahan University of Technology Behnam Pooladrag
IPM and Amirkabir University of Technology Massoud Pourmahdian
Institute for Advanced Studies in Basic Sciences Mohsen Rahimi Piranfar
Islamic Azad University, Science and Research Branch  Hamid Rasouli
University of Tehran Arman Rezayati
Amirkabir University of Technology  Nazanin  Roshandel Tavana 
University of Zanjan Hossein Sadeghi
University of Isfahan Mehdi Shahani
University of Maragheh Leila Shahbaz
Shahid Bahonar University Amir reza Shirali Nasab
Shahid Beheshti University Zahra Toosi
Shahid Beheshti University Mahdieh Yavari

Registration



Registration Desk
 will be located in the IPM-Isfahan building in the University of Isfahan (beside the guest house), and will be open 8-9 am on April 15th.
 

 

Extended deadlines for Abstract Submission and Registration:
  • (Extended) Abstract submission: March 28, 2015
  • Registration: April 4, 2015
  • Author notification: April 11, 2015

Accommodation:
  • Isfahan University Guest House: 031-37932317
  • Safir Hotel: 031-32222640 (www.safirhotel.net)

The people who have registered and have not yet reserved room, can apply for room by sending email to math-cs@ipm.ir.


Registration fee (including all meals):
  • Academic members: 800,000 Rials
  • Graduate Students: 400,000 Rials

This does not include accommodation fee.


Contact email:

math-cs@ipm.ir


Bank acount informations

Please send the registration fee to the following bank account, write its transaction number in the registration form, and bring the original receipt with yourself to the workshop.

  • Account number: 2172149001004
  • Bank Melli Iran (Siba account)
  • Name of the account holder: IPM پژوهشگاه دانشهاي بنيادي

Rergistration is now closed

Contact

desc

Workshop place:

IPM-Isfahan Branch, University of Isfahan, Isfahan, Iran
P. O. Box: 81745-157
Phone: 0098 (31) 3793 2319
Email: math-cs@ipm.ir