Horn formulas and directed hypergraphs
Host Rob Ellis Speaker Gyorgy Turan University of Illinois-Chicago http://www.math.uic.edu/people/profile?netid=gyt Description A Horn formula in propositional logic is a set of rules of the form a,b...
Host Rob Ellis Speaker Gyorgy Turan University of Illinois-Chicago http://www.math.uic.edu/people/profile?netid=gyt Description A Horn formula in propositional logic is a set of rules of the form a,b...
Host Department of Applied Math Speaker F.R. McMorris Professor Emeritus, IIT www.iit.edu/directory/people/fr-mcmorris Description The problem of aggregating the individual preferences of a group of...
Speaker Ameera Chowdhury Carnegie Mellon University http://www.math.cmu.edu/~ameera/ Description A Proof of the Manickam-Miklós-Singhi Conjecture for Vector Spaces Event Topic Discrete Applied Math...
Speaker Gruia Calinescu IIT Computer Science http://www.cs.iit.edu/~calinesc/ Description Motivated by applications to wireless sensor networks, we study the following problem. We are given a set S of...
Speaker Marcus Schaefer DePaul University http://ovid.cs.depaul.edu/ Description The beautiful (and old) Hanani-Tutte theorem states that a graph is planar if and only if it can be drawn so that any...
Speaker Jesus De Loera Department of Mathematics University of California Davis https://www.math.ucdavis.edu/~deloera/ Description Linear programming is undeniably a central software tool of applied...
Description Let G =(V,E) be a finite connected graph and π a k-tuple in V. Think of k customers, each one reporting a most preferred vertex. Location and consensus theory often involves finding the...
Description We introduce abstract convex geometries. Much as matroids can be thought of as "discrete vector spaces", convex geometries are "discrete convex hulls". There are specific convex sets of...
Description Group testing is a well researched and practically important topic (e.g. in biological research). The basic idea of group testing is to perfectly identify a small portion of 'special'...
Speaker Despina Stasi IIT Applied Math http://www.personal.psu.edu/~users/d/u/dus33/ Description In this talk we define and discuss the hydra number, a graph parameter arising from an optimization...