Talks
-
Exploring Permutation Classes with TileScope
Dagstuhl Seminar on Pattern Avoidance, Statistical Mechanics and Computational Complexity · 2023
-
A case study — how Reykjavik University embraced Gradescope
AEMEA Gradescope summit · 2022
-
The Combinatorial Exploration Framework and its Consequences
Applications of Computer Algebra: Special Session on Algorithmic & Experimental Combinatorics · 2022
-
Using large random permutations to partition permutation classes
GASCom: Conference on random generation of combinatorial structures · 2022
-
Algorithmic solutions to problems in permutation patterns
Permutation Patterns · 2020 · plenary
-
Combinatorial Exploration: guided by humans, proven by computer
Joint ICE-TCS/GSSI Seminar, Reykjavik University · April 2019
-
Combinatorial Exploration
ICE-TCS Theory Day, Reykjavik University, Iceland · May 2019 · event page
In combinatorics, mathematicians often prove theorems by case analysis, reduction to a smaller instance, and other "tricks of the trade". We have developed a tool, called the CombSpecSearcher, which automates these methods, and is able to prove results featured in dozens of research papers. In this talk we will introduce this tool and apply it to enumerate a particular subset of permutations of length n.
-
Pattern avoidance in various domains
University of Iceland Mathematics Colloquium · October 2019
-
A historical walk through combinatorics
100th anniversary of the mathematics department at Reykjavik Junior College · October 2019
-
Combinatorial Exploration: Guided by humans, proven by computer
Brown University Mathematics Colloquium, Providence, RI · September 2019
Joint work withMichael Albert, Arnar Bjarni Arnarson, Ragnar Páll Árdal, Christian Bean, Anders Claesson, Unnar Freyr Erlendsson, Tomas Ken Shimomura-Magnusson, Émile Nadeau and Jay Pantone.
-
Understanding complicated things by dividing them into easier pieces
Reykjavik University Lecture Marathon, Iceland · April 2018
-
Combinatorial exploration of permutation classes
Permutation Patterns, Dartmouth University, USA · June 2018
Joint work withMichael Albert, Anders Claesson, Christian Bean and Jay Pantone. Presented by Christian Bean.
-
Automatic enumeration of grid classes
Permutation Patterns, Dartmouth University, USA · June 2018
Joint work withArnar Bjarni Arnarson and Unnar Freyr Erlendsson. Presented by Unnar Freyr Erlendsson.
-
Automatic enumeration of restricted permutations
Permutation Patterns, Reykjavik University, Iceland · June 2017
Joint work withMichael Albert, Ragnar Páll Árdal, Christian Bean, Anders Claesson and Jay Pantone. Presented by Christian Bean.
-
Permuta
Permutation Patterns, Reykjavik University, Iceland · June 2017 · software
Joint work withChristian Bean, Bjarki Gudmundsson, Cheyne Homberger, Hjalti Magnusson, Tomas Ken Shimomura-Magnusson, Jay Pantone and Murray Tannock. Presented by Ragnar Páll Árdal.
-
PermPAL
Permutation Patterns, Reykjavik University, Iceland · June 2017 · software
Joint work withÁlfur Birkir Bjarnason, Sigurjón Freyr Viktorsson and Unnar Freyr Erlendsson. Presented by Arnar Bjarni Arnarson.
-
Coincidence classification of length 3 mesh patterns
Permutation Patterns, Reykjavik University, Iceland · June 2017 · poster
Joint work withBjarki Gudmundsson. Presented by Tomas Ken Shimomura-Magnusson.
-
The poset of mesh patterns
Permutation Patterns, Reykjavik University, Iceland · June 2017 · poster
Joint work withJason Smith and Anders Claesson. Presented by Jason Smith.
-
Enumeration of permutation classes by conjectured structures
Dartmouth Combinatorics Seminar, Hanover, NH · November 2016
Joint work withMichael Albert, Christian Bean, Anders Claesson and Bjarki Gudmundsson.
-
Struct: Finding structure in permutation sets
Permutation Patterns, Washington DC, USA · June 2016
Joint work withMichael Albert, Christian Bean, Anders Claesson and Bjarki Gudmundsson. Presented by Christian Bean.
-
Algorithmic coincidence classification of mesh patterns
Permutation Patterns, Washington DC, USA · June 2016
Joint work withBjarki Gudmundsson and Tomas Ken Shimomura-Magnusson. Presented by Bjarki Gudmundsson.
-
Equivalence classes of mesh patterns with a dominating pattern
Permutation Patterns, Washington DC, USA · June 2016
Joint work withMurray Tannock. Presented by Murray Tannock.
-
Pattern avoiding permutations and non-crossing subgraphs of polygons
MIT Combinatorics Seminar, Boston, MA · October 2015
Joint work withChristian Bean and Murray Tannock.
-
Struct: automatic discovery of structure in permutation sets
Permutation Patterns, London, UK · June 2015 · software
Joint work withMichael Albert, Christian Bean, Anders Claesson and Bjarki Gudmundsson.
-
Avoiding a pair of vincular and covincular patterns
Permutation Patterns, London, UK · June 2015
Joint work withChristian Bean and Anders Claesson. Presented by Christian Bean.
-
Pattern avoidance and non-crossing subgraphs of polygons
Permutation Patterns, London, UK · June 2015
Joint work withChristian Bean and Murray Tannock. Presented by Murray Tannock.
-
Pattern avoiding permutations and non-crossing subgraphs of polygons
Department of Mathematics Colloquium, University of Hawaii at Manoa, Hawaii, USA · April 2015 · event page
Joint work withChristian Bean and Murray Tannock.
-
Pattern avoiding permutations
A three day seminar series, Brown University, RI, USA · March 2015
-
Pattern avoiding permutations and non-crossing subgraphs of polygons
New York Combinatorics Seminar, City University New York, USA · March 2015 · event page
Joint work withChristian Bean and Murray Tannock.
-
Experimenting with permutations: The tale of two algorithms
Rutgers Experimental Mathematics Seminar, Rutgers University, New Brunswick, USA · March 2015 · event page
Joint work withMichael Albert, Christian Bean, Anders Claesson and Bjarki Gudmundsson.
-
Struct: An algorithm for guessing the structure and enumeration of permutation sets (Preliminary Report)
Special Session on Enumerative Combinatorics at the 2015 Joint Mathematics Meetings, San Antonio, TX · January 2015
Joint work withMichael Albert, Christian Bean, Anders Claesson and Bjarki Gudmundsson.
-
Struct: An algorithm for guessing the structure and enumeration of permutation sets
ICE-TCS Seminar, Reykjavik University, Iceland · November 2014
Joint work withMichael Albert, Christian Bean, Anders Claesson and Bjarki Gudmundsson.
-
Guessing and proving theorems for permutation patterns
New York Combinatorics Seminar, City University New York, USA · June 2014
Joint work withAnders Claesson and Hjalti Magnusson.
-
Collatz meets Fibonacci
Permutation Patterns, East Tennessee State University, USA · July 2014 · poster
Joint work withMichael Albert and Bjarki Gudmundsson. Presented by Michael Albert.
-
Algorithms for discovering and proving theorems involving permutation patterns
The 26th International Conference on Formal Power Series & Algebraic Combinatorics, Chicago, USA · July 2014 · software
-
Permutations arising from the Collatz-conjecture and automatic discovery of patterns
MIT Combinatorics Seminar, Boston, MA · October 2013
-
BiSC: A learning algorithm for mesh patterns
The 25th International Conference on Formal Power Series & Algebraic Combinatorics, Paris, France · July 2013 · software
-
The interaction between equivalence relations on the symmetric group and pattern avoidance
Permutation Patterns, University Paris Diderot, Paris, France · July 2013
Joint work withAnders Claesson.
-
Bijective maps based on mesh patterns
Permutation Patterns, University Paris Diderot, Paris, France · July 2013
Joint work withSigríður Lína Viðarsdóttir. Presented by Sigríður Lína Viðarsdóttir.
-
Preimages of single-pass sorting operators
Permutation Patterns, University Paris Diderot, Paris, France · July 2013
Joint work withHjalti Magnusson. Presented by Hjalti Magnusson.
-
Donald Knuth: The great inventor
The Pearls of Computer Science Colloquium, Reykjavik University, Iceland · May 2013
-
Crazy bijections between planar maps, beta-trees and permutations
ICE-TCS Seminar, Reykjavik University, Iceland · March 2013
Joint work withSergey Kitaev, Pavel Salimov and Christopher Severs.
-
GRIM: An algorithm for the discovery of generalized permutation patterns
2013 Joint Mathematics Meetings, San Diego, CA · January 2013
Joint work withAnders Claesson.
-
Sorting and preimages of pattern classes
The 24th International Conference on Formal Power Series & Algebraic Combinatorics, Nagoya, Japan · August 2012
Joint work withAnders Claesson.
-
Which Schubert varieties are local complete intersections?
The 24th International Conference on Formal Power Series & Algebraic Combinatorics, Nagoya, Japan · August 2012 · poster
Joint work withAlexander Woo.
-
Automated discovery of permutation patterns
Permutation Patterns, University of Strathclyde, Glasgow, UK · June 2012
Joint work withAnders Claesson.
-
Proof by Computer
Reykjavik University Lecture Marathon, Iceland · March 2012
-
What is DIMACS (Discrete Math and Computer Science)?
The 3f RU Conference, Reykjavik University, Iceland · March 2012
-
Automatic discovery of permutation patterns
ICE-TCS Seminar, Reykjavik University, Iceland · February 2012
Joint work withAnders Claesson.
-
Restricted rooted non-separable planar maps. Preliminary Report
2012 Joint Mathematics Meetings, Boston, MA · January 2012
Joint work withSergey Kitaev, Pavel Salimov and Christopher Severs.
-
Refined inversion statistics on permutations
2012 Joint Mathematics Meetings, Boston, MA · January 2012
Joint work withJoshua Sack. Presented by Joshua Sack.
-
Maps, trees and patterns
Mathematics in Iceland 2011, Conference of the Icelandic Mathematical Society, Reykholt · November 2011
Joint work withSergey Kitaev, Pavel Salimov and Christopher Severs.
-
Sorting algorithms and permutation patterns
Computer and Information Sciences Seminar, University of Strathclyde, Glasgow, UK · October 2011
-
Patterns prohibiting sorting
ICE-TCS Seminar, Reykjavik University, Iceland · October 2011
-
Generalized permutation patterns and their applications
University of Washington Combinatorics Seminar, WA · June 2011
-
Marked mesh patterns and local complete intersection Schubert varieties
Permutation Patterns, California Polytechnic State University, CA · June 2011
Joint work withAlexander Woo.
-
Marked mesh patterns and connections with geometry
ICE-TCS Theory Day, Reykjavik University, Iceland · May 2011
-
Local complete intersection Schubert varieties. Preliminary Report
Joint Mathematics Meetings, New Orleans, Louisiana · January 2011
Joint work withAlexander Woo. Presented by Alexander Woo.
-
Counting special inversions in permutations
Mathematics Colloquium, California State University, Long Beach, California · December 2010
Joint work withJoshua Sack. Presented by Joshua Sack.
-
Counting special inversions in permutations
Mathematics Colloquium, University of Iceland, Reykjavik, Iceland · November 2010
Joint work withJoshua Sack.
-
Detecting singularities of Schubert varieties with permutation patterns
Permutation Patterns, Dartmouth College, NH · August 2010
-
A unification of permutation patterns related to Schubert varieties
Formal Power Series & Algebraic Combinatorics, San Francisco State University, CA · August 2010 · poster
-
Equivalence relations on permutations and pattern avoidance
Summer Meeting of the Canadian Mathematical Society, University of New Brunswick, Fredericton, Canada · June 2010
-
Toric permutations and pattern avoidance
10th Nordic Combinatorial Conference, Reykjavik University, Iceland · May 2010
-
Equivalence relations on permutations and pattern avoidance
ICE-TCS Seminar, Reykjavik University, Iceland · April 2010
-
The Icesave dispute from the viewpoint of game theory
Reykjavik University Lecture Marathon, Iceland · March 2010
Joint work withJón Þór Sturluson.
-
Patterns in algebraic geometry
Mathematics Colloquium, University of Iceland, Reykjavik, Iceland · March 2010
-
The umbral calculus
Reykjavik University Mathematics Undergraduate Seminar, Iceland · November 2009
-
Young tableaux and patterns in permutations
Conference of the Icelandic Mathematical Society, Leirubakki · September 2009
-
Teaching mathematics with Sage
Mathematics Colloquium, University of Iceland, Reykjavik, Iceland · March 2009
-
Teaching mathematics with Sage
Talk, Reykjavik University, Iceland · March 2009
-
Configuration schemes and their Serre functors
Graduate Conference in Algebra and Topology, SUNY Binghamton University, Binghamton, NY · November 2008
A subset of this work is joint with J. Wise.
-
Configuration schemes and their Serre functors
Graduate Student Presentation, PCMI Graduate Summer School on Analytic and Algebraic Geometry: Common Problems—Different Methods, Park City Mathematics Institute, Park City, UT · July 2008
A subset of this work is joint with J. Wise.
-
Sheaves on configuration schemes
Mathematics Colloquium, University of Iceland, Reykjavik, Iceland · January 2008
-
Sheaves on Configuration Schemes
Graduate Student Seminar, Brown University, Providence, RI · November 2007
-
Transcendence of $e$ and $\pi$
Graduate Student Seminar, Brown University, Providence, RI · March 2006
-
Introduction to Metric Spaces
Lecture, Commercial College of Iceland, Reykjavik, Iceland · April 2003