Our official launch event as an AIM Research Community
Our Grand Opening Symposium, celebrating our official launch as an AIM Research Community, will showcase several community members giving talks and facilitating tutorials on products associated with our ecosystem. We look forward to convening together via Zoom on September 8 & 15 for this virtual event. See you then!
In this talk, we will present the House of Graphs (https://houseofgraphs.org/), which can be a useful tool when studying graphs. The House of Graphs hosts complete lists of graphs of various graph classes, but its main feature is a searchable database of so called "interesting" graphs, which includes graphs that already occurred as extremal graphs or as counterexamples to conjectures. We will highlight the features of the website and demonstrate how users can perform queries on this database and how they can add new interesting graphs to it.
View Submission
In this talk I will discuss different techniques that software engineers use to manage complexity in software systems, and draw analogies to the kinds of complexity one might find in software systems that deal with mathematics.
View Submission