|
|
|
▶ Current Event:
|
|
University of Isfahan and IPM-Isfahan Second Seminar on Representations of Algebras (ISRA-II)
|
(More Info)
|
|
|
▶ Current Event:
|
|
University of Isfahan and IPM-Isfahan Workshop and Seminar on Linkage Theory
|
(More Info)
|
|
|
▶ Announcement:
|
Application for postdoc positions
|
Deadline: Extended until October 27, 2017 (Aban 05, 1396) at 24:00
|
(More Info)
|
|
|
|
|
Upcoming Lectures in IPM-Isfahan |
|
▶ Public Lecture:
|
Singularity and Control |
Majid Gazor |
Isfahan University of Technology
|
Thursday, December 7, 2017 (Azar 16, 1396) 11:00 - 12:00 |
(More Info)
|
▶ Weekly Seminar on Harmonic Analysis:
|
Measurable Functions Vanishing at Infinity |
Rasoul Nasr-Isfahani |
Isfahan University of Technology and IPM-Isfahan
|
Monday, December 4, 2017 (Azar 13, 1396) 13:00 - 15:00 |
(More Info)
|
|
|
|
|
Recent
Lectures in IPM-Isfahan |
|
▶ Lecture in Applied Mathematics:
|
Numerical Methods for Volterra Integral Equations of Lighthill-Type |
Teresa Diogo |
Center for Computational and Stochastic Mathematics (CEMAT),
Instituto Superior Tecnico, University of Lisbon, Portugal
|
Thursday, December 2, 2017 (Azar 11, 1396) 10:00 - 10:40 |
(More Info)
|
▶ Lecture in Applied Mathematics:
|
Collocation-Variation Difference Schemes for differential-Algebraic Equations |
Mikhail V. Bulatov |
Institute for System Dynamics and Control Theory, SBRAS, Irkutsk, Russia
|
Thursday, December 2, 2017 (Azar 11, 1396) 09:00 - 09:40 |
(More Info)
|
▶ Logic Group:
|
Constructing Real Numbers in Intuitionistic Mathematics |
Mojtaba Aghaei |
Isfahan University of Technology
|
Thursday, November 16, 2017 (Aban 25, 1396) at 14:00 |
(More Info on Logic Group Page)
|
▶ Logic Group:
|
Constructibility and Rosserizability of Some Proofs of the Godel's First Incompleteness Theorem |
Payam Seraji |
IPM-Isfahan
|
Thursday, November 2, 2017 (Aban 11, 1396) at 14:00 |
(More Info on Logic Group Page)
|
▶ Combinatorics Group:
|
Graph Burning |
Elham Roshanbin |
University of British Columbia, Canada
|
Thursday, October 26, 2017 (Aban 4, 1396) 10:30-11:30 |
(More Info)
|
▶ Public Lecture:
|
Forcing Quasirandomness with Triangles |
Mathias Schacht |
University of Hamburg, Germany
|
Thursday, May 20, 2017 (30 Ordibehesht 1396) 10:00-11:00 |
(More Info)
|
▶ Public Lecture:
|
Totally Symmetric and Trivially Autotopic Partial Latin Squares |
Rebecca J. Stones |
Nankai University, Tianjin, China
|
Thursday, May 11, 2017 (21 Ordibehesht 1396) 11:00-12:00 |
(More Info)
|
▶ Short Course on Mathematical,
Philosophical and Computational Logic: |
Misunderstanding Gödel's Incompleteness Theorems in Physics and Philosophy |
Amir Ehssan Karbasizadeh |
University of Isfahan
|
Thursday, May 11, 2017 (21 Ordibehesht 1396) 14:00-16:00 |
(More Info on Logic Group Page)
|
▶ Combinatorics Group:
|
A Proof of an Extremal Conjecture on Hypergraphs |
Akbar Davoodi |
Thursday, May 04, 2017 (14 Ordibehesht 1396) at 11:30 |
(More Info on Logic Group Page)
|
▶ Short Course on Mathematical,
Philosophical and Computational Logic:
|
Proofs of Gödel's Incompleteness Theorems |
Payam Seraji |
Thursday, May 04, 2017 (14 Ordibehesht 1396) 14:00-16:00 |
(More Info on Logic Group Page)
|
▶ Short Course on Mathematical,
Philosophical and Computational Logic:
|
First Order Arithmetic and Gödel's Incompleteness Theorems |
Amir Khamseh |
Thursday, April 27, 2017 (07 Ordibehesht 1396) 14:00-16:00 |
(More Info on Logic Group Page)
|
▶ Short Course on Mathematical,
Philosophical and Computational Logic:
|
Computable Functions: Unlimited Register Machines and Church's Thesis |
Amir Khamseh |
Thursday, April 20, 2017 (31 Farvardin 1396) 14:00-16:00 |
(More Info on Logic Group Page)
|
▶ Public Lecture: |
Independence in Combinatorics and in Algebra
|
Heike Mildenberger |
Albert-Ludwigs-Universität Freiburg, Germany
|
Thursday, April 13, 2017 (24 Farvardin 1396) 11:00-12:00 |
(More Info)
|
▶ Short Course on Mathematical,
Philosophical and Computational Logic: |
An Introduction to Turing Machines and Computability Theory |
Payam Seraji |
Thursday, April 13, 2017 (24 Farvardin 1396) 14:00-16:00 |
(More Info on Logic Group Page)
|
▶ Short Course on Mathematical,
Philosophical and Computational Logic: |
Resolution Proof System for First Order Logic |
Meghdad Ghari |
IPM |
Thursday, March 9, 2017 (19 Esfand 1395) 14:00-16:00 |
(More Info on Logic Group Page)
|
▶ Short Course on Mathematical,
Philosophical and Computational Logic: |
Predicate Logic; Philosophical and Critical Review |
Morteza Haj Hosseini |
University of Isfahan |
Thursday, February 23, 2017 (5 Esfand 1395) 14:00-16:00 |
(More Info on Logic Group Page)
|
▶ Public Lecture: |
Spectral Synthesis on Double Coset Hypergroups |
László Székelyhidi |
Debrecen University, Hungary
University of Botswana, Botswana
|
Tuesday, February 21, 2017 (3 Esfand 1395) 11:00-12:00 |
(More Info)
|
▶ Short Course on Mathematical,
Philosophical and Computational Logic: |
First Order Logic and Mathematical Structures |
Ali Valizadeh |
Amirkabir University of Technology |
Thursday, February 16, 2017 (28 Bahman 1395) 14:00-16:00 |
(More Info on Logic Group Page)
|
▶ Public Lecture: |
Linkages and Their Behaviour
|
Mark Pollicott |
University of Warwick, UK |
Sunday, February 12, 2017 (24 Bahman 1395) 11:00-12:00 |
(More Info)
|
▶ Short Course on Mathematical,
Philosophical and Computational Logic: |
History and Philosophical Foundations of Logic
|
Hamid Alaeenezhad |
Tarbiat Modares University |
Thursday, February 9, 2017 (21 Bahman 1395) 14:00-16:00 |
(More Info on Logic Group Page)
|
▶ Weekly Seminar of Lie Algebra Group: |
Reflectable Base for Root System |
Mohammad Bagher Soltani |
IPM-Isfahan |
Wednesday, January 4, 2017 (15 Dey, 1395) 16:00-17:30 |
(Lie Algebra Group Page)
|
▶ Weekly Seminar of Lie Algebra Group: |
Hopf Algebras |
Abbas Darehgazani |
IPM-Isfahan |
Wednesday, December 28, 2016 (8 Dey, 1395) 16:00-17:30 |
(Lie Algebra Group Page)
|
▶ Weekly Seminar of Lie Algebra Group: |
Affine Group Scheme |
Abbas Darehgazani |
IPM-Isfahan |
Wednesday, December 21, 2016 (1 Dey, 1395) 16:00-17:30 |
(Lie Algebra Group Page)
|
▶ Seminar of the Logic Group: |
Propositional Logic; Critical Study
(More Info)
(Logic Group Page) |
Morteza Haj Hosseini |
University of Isfahan |
Thursday, December 15, 2016 (25 Azar, 1395) at 14:00 |
▶ Weekly Seminar of Lie Algebra Group: |
A Brief Introduction to Kac-Moody Theory II (Kac-Moody Groups) |
Amir Farahmand Parsa |
IPM-Isfahan |
Wednesday, December 14, 2016 (24 Azar, 1395) 16:00-17:30 |
(Lie Algebra Group Page)
|
▶ Short Course on Mathematical,
Philosophical and Computational Logic: |
An Investigation on Truth Functionality of Logical Constants in Propositional Logic and Their Counterparts in Natural Language
(More Info on Logic Group Page)
|
Ali Kalantari |
University of Isfahan |
Thursday, December 8, 2016 (18 Azar 1395) at 13:30 |
▶ Weekly Seminar of Lie Algebra Group: |
A Brief Introduction to Kac-Moody Theory I (Kac-Moody Algebras) |
Amir Farahmand Parsa |
IPM-Isfahan |
Wednesday, December 07, 2016 (17 Azar, 1395) 16:00-17:30 |
(Lie Algebra Group Page)
|
▶ Weekly Seminar of Lie Algebra Group: |
Introduction to Orthogonal Symmetric Lie Algebras |
Amir Farahmand Parsa |
IPM-Isfahan |
Wednesday, November 23, 2016 (3 Azar, 1395) 16:00 - 17:30 |
(Lie Algebra Group Page)
|
▶ Short Course on Mathematical,
Philosophical and Computational Logic: |
Decision Procedures for Satisfiability and Validity in Propositional Logic
(More Info)
(Logic Group Page) |
Meghdad Ghari |
IPM-Isfahan |
Thursday, November 24, 2016 (4 Azar, 1395) at 13:30 |
|
|
Applications of ultraproducts of finite structures to combinatorics

Darío García
University
of Leeds
November 3,
2016
(13
Aban 1395)
at 11:00-12:00
|
|
|
Sparse robust expander sp;p;

Hong Liu
University
of warwick
September 22,
2016
(1
Mehr 1395)
at 14:00-15:00
Abstract:
I will present an embedding strategy
using a notion of sub-linear
expander first introduced by Komlos
and Szemeredi. As applications, it
settles a conjecture of Mader in
1999 on large clique subdivisions in
graphs without 4-cycles.
Sharp
bound on the number of maximal
sum-free subsets of integers

Maryam Sharifzadeh
University
of warwick
September 22,
2016
(1
Mehr 1395)
at 11:00-12:00
Gruss
type inequalities for positive
linear maps

Mohammad Sal Moslehian
Ferdowsi University of Mashhad
September 14,
2016
(24 Shahrivar 1395)
at 16:00-17:00
Abstract:
The
Gruss inequality as a reverse of Chebyshev
inequality has been developed by several
mathematicians in different contents such as
inner product spaces, Hilbert modules,
quadrature formulae and linear functionals.
In this talk, we investigate several new
Gruss type inequalities for positive linear
maps on finite or infinite dimensional
C*-algebras.
Symmetries of partial
Latinrectangles via graphs
Rebecca
J. Stones
Nankai University, China
July
31,
2016
(10
Mordad 1395)
at 16:00-17:00
Abstract:
Partial Latin rectangles are matrices
without repeated s ymbols in any row or
column, allowing the possibility of empty
cells . In this talk, we extend the nation
of "Latin square graphs" to partial Latin
rectangles, which we use to study the
symmetry groups of partial Latin
rectangles.
Generalized
Smoluchowski Equations and Scalar
Conservation Laws(Photos)
Fraydoun Rezakhanlou
University
of California, Berkeley
July 17,
2016
(27
Tir 1395)
at 10:00-11:00
Abstract:
By a
classical result of Bertoin, if initially a
solution to Burgers' equation is a Levy
process without positive jumps, then this
property persists at later times. According
to a theorem of Groeneboom, a white noise
initial data also leads to a Levy process at
positive times. Menon and Srinivasan
observed that in both aforementioned results
the evolving Levy measure satisfies a
Smoluchowski-type equation. They also
conjectured that a similar phenomenon would
occur if instead of Burgers' equation, we
solve a general scalar conservation law with
a convex flux function. Though a Levy
process may evolve to a Markov process that
in most cases is not Levy. The corresponding
jump kernel would satisfy a generalized
Smoluchowski equation. Along with Dave
Kaspar, we show that a variant of this
conjecture is true for monotone solutions to
scalar conservation laws.
Geometric graphs and graph limits
(Photos)
Mahya
Ghandehari
University of Delaware, USA
Jun 16,
2016
(27 Khordad
1395) at
11:00-12:00
Abstract:
Many
real-life networks can be modeled by
stochastic processes with a spatial
embedding. For example, in a social network,
vertices may be considered as members of a
social space, where the coordinates
represent the interests and background of
the users, and the probability of a link
occurring between two vertices decreases as
their metric distance increases. A
fundamental question is to determine whether
a given network is compatible with a spatial
model. We show how to recognize graph
sequences produced by random graph processes
that have a natural embedding into the real
line, using techniques from the theory of
graph limits as pioneered by Lovasz, Szegedy
and others. This talk is based on work joint
with Huda Chuangpishit, Matt Hurshman,
Jeannette Janssen, and Nauzar Kalyaniwalla.
Embedding partial Latin squares in
Cayley tables
Ian M. Wanless
Monash University (Melbourne,
Australia)
Jun 6,
2016
(17 Khordad 1395)
at 16:00-17:00
Abstract:
Sudoku
puzzles are examples of a combinatorial
object called a partial latin square (PLS).
In 1974 Denes and Keedwell asked for each n
what is the smallest PLS that cannot embed
into any group's Cayley table of order n. In
2012 Hirsch and Jackson asked what is the
smallest PLS that can be embedded in an
infinite group but not into any finite
group. We answer both these questions and a
couple of related ones.
On the annihilation of cohomology
Shokrollah
Salarian
University of
Isfahan and
IPM
Jun 2,
2016
(13 Khordad 1395)
at 11:00-12:00
|
|
|
|