# Bms friday Colloquium

Gigantic poster for the BMS colloquium.

1 of 1

## Recommended

Dialectica amongst friends
Dialectica amongst friendsValeria de Paiva

Discrete Mathematics Lecture Notes
Discrete Mathematics Lecture NotesFellowBuddy.com

Negation in the Ecumenical System
Negation in the Ecumenical SystemValeria de Paiva

Intro to Discrete Mathematics

Course - Discrete Mathematics
Course - Discrete Mathematicsmetamath

Categorical Explicit Substitutions
Categorical Explicit SubstitutionsValeria de Paiva

## What's hot

Categorical Semantics for Explicit Substitutions
Categorical Semantics for Explicit SubstitutionsValeria de Paiva

Proof-Theoretic Semantics: Point-free meaninig of first-order systems
Proof-Theoretic Semantics: Point-free meaninig of first-order systemsMarco Benini

Point-free foundation of Mathematics
Point-free foundation of MathematicsMarco Benini

Reflections on understanding in mathematics
Reflections on understanding in mathematicsLamrabet Driss

Gödel’s incompleteness theorems
Gödel’s incompleteness theoremsSérgio Souza Costa

Category Theory for All (NASSLLI 2012)
Category Theory for All (NASSLLI 2012)Valeria de Paiva

Summary of Analogical Reinforcement Learning
Summary of Analogical Reinforcement LearningJin-Hwa Kim

Godels First Incompleteness Theorem
Godels First Incompleteness Theoremmmanning02474

Propositional logic & inference
Propositional logic & inferenceSlideshare

Logics of Context and Modal Type Theories
Logics of Context and Modal Type TheoriesValeria de Paiva

Cerutti--Introduction to Argumentation (seminar @ University of Aberdeen)
Cerutti--Introduction to Argumentation (seminar @ University of Aberdeen)Federico Cerutti

congruence lattices of algebras
congruence lattices of algebrasfilipke85

The logic of informal proofs
The logic of informal proofsBrendan Larvor

How the philosophy of mathematical practice can be logic by other means (bris...
How the philosophy of mathematical practice can be logic by other means (bris...Brendan Larvor

Jarrar.lecture notes.aai.2011s.ch8.fol.introduction
Jarrar.lecture notes.aai.2011s.ch8.fol.introductionPalGov

### What's hot(17)

Categorical Semantics for Explicit Substitutions
Categorical Semantics for Explicit Substitutions

Proof-Theoretic Semantics: Point-free meaninig of first-order systems
Proof-Theoretic Semantics: Point-free meaninig of first-order systems

Point-free foundation of Mathematics
Point-free foundation of Mathematics

Reflections on understanding in mathematics
Reflections on understanding in mathematics

Set theory
Set theory

Gödel’s incompleteness theorems
Gödel’s incompleteness theorems

Hand out dm
Hand out dm

Category Theory for All (NASSLLI 2012)
Category Theory for All (NASSLLI 2012)

Summary of Analogical Reinforcement Learning
Summary of Analogical Reinforcement Learning

Godels First Incompleteness Theorem
Godels First Incompleteness Theorem

Propositional logic & inference
Propositional logic & inference

Logics of Context and Modal Type Theories
Logics of Context and Modal Type Theories

Cerutti--Introduction to Argumentation (seminar @ University of Aberdeen)
Cerutti--Introduction to Argumentation (seminar @ University of Aberdeen)

congruence lattices of algebras
congruence lattices of algebras

The logic of informal proofs
The logic of informal proofs

How the philosophy of mathematical practice can be logic by other means (bris...
How the philosophy of mathematical practice can be logic by other means (bris...

Jarrar.lecture notes.aai.2011s.ch8.fol.introduction
Jarrar.lecture notes.aai.2011s.ch8.fol.introduction

## Similar to Bms friday Colloquium

Representation theory of monoids
Representation theory of monoidsDaniel Tubbenhauer

A Study On The Development And Application Of Number Theory In Engineering Field
A Study On The Development And Application Of Number Theory In Engineering FieldKim Daniels

The logic(s) of informal proofs (tyumen, western siberia 2019)
The logic(s) of informal proofs (tyumen, western siberia 2019)Brendan Larvor

Bimodal set-theory-cambridge
Bimodal set-theory-cambridgejamesstudd

CSC375CSCM75Logic for Computer ScienceUlrich Berger.docx
CSC375CSCM75Logic for Computer ScienceUlrich Berger.docxfaithxdunce63732

BMS scolloquium
BMS scolloquiumIgor Rivin

Gromov and the ”ergo-brain”
Gromov and the ”ergo-brain”NeuroMat

Commonsense reasoning as a key feature for dynamic knowledge invention and co...
Commonsense reasoning as a key feature for dynamic knowledge invention and co...Antonio Lieto

A cognitive approach for Modelling and Reasoning on Commonsense Knowledge in...
A cognitive approach for Modelling and Reasoning on Commonsense Knowledge in...Antonio Lieto

Computing with matrix groups, or "how dense is dense"
Computing with matrix groups, or "how dense is dense"Igor Rivin

Pedagogical patterns for learning programming by mistakes (presentation) (1)
Pedagogical patterns for learning programming by mistakes (presentation) (1)Ljubomir Jerinic

Stability criterion of periodic oscillations in a (8)
Stability criterion of periodic oscillations in a (8)Alexander Decker

2012 09 duality and ontic structural realism bristol
2012 09 duality and ontic structural realism bristolIoan Muntean

Dialectica Categories Surprising Application: mapping cardinal invariants
Dialectica Categories Surprising Application: mapping cardinal invariantsValeria de Paiva

There Are Two Basic Principles That A System Can Be...
There Are Two Basic Principles That A System Can Be...Michelle Madero

Edwardian Proofs as Futuristic Programs
Edwardian Proofs as Futuristic ProgramsValeria de Paiva

### Similar to Bms friday Colloquium(18)

Representation theory of monoids
Representation theory of monoids

A Study On The Development And Application Of Number Theory In Engineering Field
A Study On The Development And Application Of Number Theory In Engineering Field

The logic(s) of informal proofs (tyumen, western siberia 2019)
The logic(s) of informal proofs (tyumen, western siberia 2019)

Bimodal set-theory-cambridge
Bimodal set-theory-cambridge

CSC375CSCM75Logic for Computer ScienceUlrich Berger.docx
CSC375CSCM75Logic for Computer ScienceUlrich Berger.docx

BMS scolloquium
BMS scolloquium

Gromov and the ”ergo-brain”
Gromov and the ”ergo-brain”

Commonsense reasoning as a key feature for dynamic knowledge invention and co...
Commonsense reasoning as a key feature for dynamic knowledge invention and co...

A cognitive approach for Modelling and Reasoning on Commonsense Knowledge in...
A cognitive approach for Modelling and Reasoning on Commonsense Knowledge in...

Computing with matrix groups, or "how dense is dense"
Computing with matrix groups, or "how dense is dense"

Pedagogical patterns for learning programming by mistakes (presentation) (1)
Pedagogical patterns for learning programming by mistakes (presentation) (1)

Standrewstalk
Standrewstalk

Stability criterion of periodic oscillations in a (8)
Stability criterion of periodic oscillations in a (8)

Crt
Crt

2012 09 duality and ontic structural realism bristol
2012 09 duality and ontic structural realism bristol

Dialectica Categories Surprising Application: mapping cardinal invariants
Dialectica Categories Surprising Application: mapping cardinal invariants

There Are Two Basic Principles That A System Can Be...
There Are Two Basic Principles That A System Can Be...

Edwardian Proofs as Futuristic Programs
Edwardian Proofs as Futuristic Programs

## More from Igor Rivin

Options: a cynical boy's guide
Options: a cynical boy's guideIgor Rivin

Finite mathematics
Finite mathematicsIgor Rivin

Billiards talk
Billiards talkIgor Rivin

Ike's nightmare
Ike's nightmareIgor Rivin

An up to date resume.
An up to date resume.Igor Rivin

Taleb interaction
Taleb interactionIgor Rivin

Bursting bubbles or what recovery?
Bursting bubbles or what recovery?Igor Rivin

Random 3-manifolds
Random 3-manifoldsIgor Rivin

Random 3-manifolds
Random 3-manifoldsIgor Rivin

Talk at Quantopian.com quant finance meetup.
Talk at Quantopian.com quant finance meetup.Igor Rivin

Geometry, combinatorics, computation with Zeolites
Geometry, combinatorics, computation with ZeolitesIgor Rivin

Gtc 2010 py_cula_better
Gtc 2010 py_cula_betterIgor Rivin

Asymptotic geometry of convex sets
Asymptotic geometry of convex setsIgor Rivin

Generic properties of infinite groups
Generic properties of infinite groupsIgor Rivin

Conformal matching
Conformal matchingIgor Rivin

### More from Igor Rivin(17)

Options: a cynical boy's guide
Options: a cynical boy's guide

Montreal
Montreal

Finite mathematics
Finite mathematics

Billiards talk
Billiards talk

Ike's nightmare
Ike's nightmare

An up to date resume.
An up to date resume.

Taleb interaction
Taleb interaction

Bursting bubbles or what recovery?
Bursting bubbles or what recovery?

Random 3-manifolds
Random 3-manifolds

Random 3-manifolds
Random 3-manifolds

Talk at Quantopian.com quant finance meetup.
Talk at Quantopian.com quant finance meetup.

Geometry, combinatorics, computation with Zeolites
Geometry, combinatorics, computation with Zeolites

Hot topics
Hot topics

Gtc 2010 py_cula_better
Gtc 2010 py_cula_better

Asymptotic geometry of convex sets
Asymptotic geometry of convex sets

Generic properties of infinite groups
Generic properties of infinite groups

Conformal matching
Conformal matching

National Institute of Standards and Technology (NIST) Cybersecurity Framework...
National Institute of Standards and Technology (NIST) Cybersecurity Framework...MichaelBenis1

Automation Ops Series: Session 1 - Introduction and setup DevOps for UiPath p...
Automation Ops Series: Session 1 - Introduction and setup DevOps for UiPath p...DianaGray10

Geospatial Synergy: Amplifying Efficiency with FME & Esri
Geospatial Synergy: Amplifying Efficiency with FME & EsriSafe Software

Relationship Counselling: From Disjointed Features to Product-First Thinking ...
Relationship Counselling: From Disjointed Features to Product-First Thinking ...Product School

Synergy in Leadership and Product Excellence: A Blueprint for Growth by CPO, ...
Synergy in Leadership and Product Excellence: A Blueprint for Growth by CPO, ...Product School

Artificial Intelligence, Design, and More-than-Human Justice
Artificial Intelligence, Design, and More-than-Human JusticeJosh Gellers

CloudStack Tooling Ecosystem – Kiran Chavala, ShapeBlue
CloudStack Tooling Ecosystem – Kiran Chavala, ShapeBlueShapeBlue

How to write an effective Cyber Incident Response Plan
How to write an effective Cyber Incident Response PlanDatabarracks

ASTRAZENECA. Knowledge Graphs Powering a Fast-moving Global Life Sciences Org...
ASTRAZENECA. Knowledge Graphs Powering a Fast-moving Global Life Sciences Org...Neo4j

TrustArc Webinar - TrustArc's Latest AI Innovations
TrustArc Webinar - TrustArc's Latest AI InnovationsTrustArc

Unleash the Solace Pub Sub connector | Banaglore MuleSoft Meetup #31
Unleash the Solace Pub Sub connector | Banaglore MuleSoft Meetup #31shyamraj55

ChatGPT's Code Interpreter: Your secret weapon for SEO automation success - S...
ChatGPT's Code Interpreter: Your secret weapon for SEO automation success - S...SearchNorwich

Harnessing the Power of GenAI for Exceptional Product Outcomes by Booking.com...
Harnessing the Power of GenAI for Exceptional Product Outcomes by Booking.com...Product School

How We Grew Up with CloudStack and its Journey – Dilip Singh, DataHub
How We Grew Up with CloudStack and its Journey – Dilip Singh, DataHubShapeBlue

Progress Report: Ministry of IT under Dr. Umar Saif Aug 23-Feb'24
Progress Report: Ministry of IT under Dr. Umar Saif Aug 23-Feb'24Umar Saif

New ThousandEyes Product Features and Release Highlights: February 2024
New ThousandEyes Product Features and Release Highlights: February 2024ThousandEyes

PrismCRM-RealEstate-SalesCRM_byCode5Company
PrismCRM-RealEstate-SalesCRM_byCode5CompanyMustafa Kuğu

Centralized TLS Certificates Management Using Vault PKI + Cert-Manager
Centralized TLS Certificates Management Using Vault PKI + Cert-ManagerSaiLinnThu2

AI improves software testing to be more fault tolerant, focused and efficient
AI improves software testing to be more fault tolerant, focused and efficientKari Kakkonen

Elevating Cloud Infrastructure with Object Storage, DRS, VM Scheduling, and D...
Elevating Cloud Infrastructure with Object Storage, DRS, VM Scheduling, and D...ShapeBlue

National Institute of Standards and Technology (NIST) Cybersecurity Framework...
National Institute of Standards and Technology (NIST) Cybersecurity Framework...

Automation Ops Series: Session 1 - Introduction and setup DevOps for UiPath p...
Automation Ops Series: Session 1 - Introduction and setup DevOps for UiPath p...

Geospatial Synergy: Amplifying Efficiency with FME & Esri
Geospatial Synergy: Amplifying Efficiency with FME & Esri

Relationship Counselling: From Disjointed Features to Product-First Thinking ...
Relationship Counselling: From Disjointed Features to Product-First Thinking ...

Synergy in Leadership and Product Excellence: A Blueprint for Growth by CPO, ...
Synergy in Leadership and Product Excellence: A Blueprint for Growth by CPO, ...

Artificial Intelligence, Design, and More-than-Human Justice
Artificial Intelligence, Design, and More-than-Human Justice

CloudStack Tooling Ecosystem – Kiran Chavala, ShapeBlue
CloudStack Tooling Ecosystem – Kiran Chavala, ShapeBlue

How to write an effective Cyber Incident Response Plan
How to write an effective Cyber Incident Response Plan

ASTRAZENECA. Knowledge Graphs Powering a Fast-moving Global Life Sciences Org...
ASTRAZENECA. Knowledge Graphs Powering a Fast-moving Global Life Sciences Org...

TrustArc Webinar - TrustArc's Latest AI Innovations
TrustArc Webinar - TrustArc's Latest AI Innovations

Unleash the Solace Pub Sub connector | Banaglore MuleSoft Meetup #31
Unleash the Solace Pub Sub connector | Banaglore MuleSoft Meetup #31

ChatGPT's Code Interpreter: Your secret weapon for SEO automation success - S...
ChatGPT's Code Interpreter: Your secret weapon for SEO automation success - S...

Harnessing the Power of GenAI for Exceptional Product Outcomes by Booking.com...
Harnessing the Power of GenAI for Exceptional Product Outcomes by Booking.com...

How We Grew Up with CloudStack and its Journey – Dilip Singh, DataHub
How We Grew Up with CloudStack and its Journey – Dilip Singh, DataHub

Progress Report: Ministry of IT under Dr. Umar Saif Aug 23-Feb'24
Progress Report: Ministry of IT under Dr. Umar Saif Aug 23-Feb'24

New ThousandEyes Product Features and Release Highlights: February 2024
New ThousandEyes Product Features and Release Highlights: February 2024

PrismCRM-RealEstate-SalesCRM_byCode5Company
PrismCRM-RealEstate-SalesCRM_byCode5Company

Centralized TLS Certificates Management Using Vault PKI + Cert-Manager
Centralized TLS Certificates Management Using Vault PKI + Cert-Manager

AI improves software testing to be more fault tolerant, focused and efficient
AI improves software testing to be more fault tolerant, focused and efficient

Elevating Cloud Infrastructure with Object Storage, DRS, VM Scheduling, and D...
Elevating Cloud Infrastructure with Object Storage, DRS, VM Scheduling, and D...

### Bms friday Colloquium

• 1. BMS Friday Colloquium Friday 2 December 2011 at 14:15 Tea before the lecture begins at 13:00 BMS Loft, Urania, An der Urania 17, 10787 Berlin Igor Rivin (Temple University) Probability, Geometry and Algorithms of Matrix Groups Igor Rivin will start with about the simplest situation imaginable: Consider a collection C of invertible matrices (you can assume the entries are integers), and consider the group G(C) they generate. In this talk he will discuss some naive (and not so naive) questions one could ask about G(C), and the sort of answers one might get, or hope to get. Here is a selection of the questions: 1. What is G(C) as an abstract group? 2. How does G(C) sit in the ambient matrix group? For example, if all we know is that the matrices are 3 × 3 invertible matrices with integer entries, the natural candidates for the ambient group are SL(3, Z or SL(3, R Z) R). 3. What can we say about the generic element of G(C)? For example, what do its eigenvalues look like? What can we say about its cha- racteristic polynomial? It turns out that all of the questions above are intimately connected to central questions in number theory, group theory, probability theory, combinatorics, and, not least, geometry. A lot of the tech- niques have been developed only in the last few years, and our understanding is still quite limited. Igor Rivin will give a (very sub- jective) snapshot of what he knows, and what sort of techniques are being used. Igor Rivin is Professor of Mathematics at Temple University. He is a world-renowned mathematician, whose contributions include solu- tions of long-outstanding problems in geometry, probability theo- ry, combinatorics, dynamics, and other fields. From September to December 2011, Igor Rivin holds the BMS Professorship. www.math-berlin.de
Current LanguageEnglish
Español
Portugues
Français
Deutsche