
Search Mathematics 
Enter your search string here
and click on Go! to continue 




IPM >
School of Mathematics >
IPMIsfahan




Welcome to the
Homepage of IPMIsfahan 

The Isfahan Branch
of the School of Mathematics 




Upcoming Lectures in IPMIsfahan 

▶ 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:0016:00 
(More Info on Logic Group Page)





Recent
Lectures in IPMIsfahan 

▶ 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:0016:00 
(More Info on Logic Group Page)

▶ Public Lectures: 
Independence in Combinatorics and in Algebra

Heike Mildenberger 
AlbertLudwigsUniversität Freiburg, Germany

Thursday, April 13, 2017 (24 Farvardin 1396) 11:0012: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:0016: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:0016: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:0016:00 
(More Info on Logic Group Page)

▶ Public Lectures: 
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:0012: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:0016:00 
(More Info on Logic Group Page)

▶ Public Lectures: 
Linkages and Their Behaviour

Mark Pollicott 
University of Warwick, UK 
Sunday, February 12, 2017 (24 Bahman 1395) 11:0012: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:0016:00 
(More Info on Logic Group Page)

▶ Weekly Seminar of Lie Algebra Group: 
Reflectable Base for Root System 
Mohammad Bagher Soltani 
IPMIsfahan 
Wednesday, January 4, 2017 (15 Dey, 1395) 16:0017:30 
(Lie Algebra Group Page)

▶ Weekly Seminar of Lie Algebra Group: 
Hopf Algebras 
Abbas Darehgazani 
IPMIsfahan 
Wednesday, December 28, 2016 (8 Dey, 1395) 16:0017:30 
(Lie Algebra Group Page)

▶ Weekly Seminar of Lie Algebra Group: 
Affine Group Scheme 
Abbas Darehgazani 
IPMIsfahan 
Wednesday, December 21, 2016 (1 Dey, 1395) 16:0017: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 KacMoody Theory II (KacMoody Groups) 
Amir Farahmand Parsa 
IPMIsfahan 
Wednesday, December 14, 2016 (24 Azar, 1395) 16:0017: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 KacMoody Theory I (KacMoody Algebras) 
Amir Farahmand Parsa 
IPMIsfahan 
Wednesday, December 07, 2016 (17 Azar, 1395) 16:0017:30 
(Lie Algebra Group Page)

▶ Weekly Seminar of Lie Algebra Group: 
Introduction to Orthogonal Symmetric Lie Algebras 
Amir Farahmand Parsa 
IPMIsfahan 
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 
IPMIsfahan 
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:0012:00



Sparse robust expander sp;p;
Hong Liu
University
of warwick
September 22,
2016
(1
Mehr 1395)
at 14:0015:00
Abstract:
I will present an embedding strategy
using a notion of sublinear
expander first introduced by Komlos
and Szemeredi. As applications, it
settles a conjecture of Mader in
1999 on large clique subdivisions in
graphs without 4cycles.
Sharp
bound on the number of maximal
sumfree subsets of integers
Maryam Sharifzadeh
University
of warwick
September 22,
2016
(1
Mehr 1395)
at 11:0012:00
Gruss
type inequalities for positive
linear maps
Mohammad Sal Moslehian
Ferdowsi University of Mashhad
September 14,
2016
(24 Shahrivar 1395)
at 16:0017: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:0017: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:0011: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
Smoluchowskitype 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:0012:00
Abstract:
Many
reallife 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:0017: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:0012:00





©©
Copyright 20002010
Institute for Research in Fundamental
Sciences (IPM)
All rights reserved.
Please submit your comments or questions
here, or contact
Webmaster.
@ IPM_Isfahan

