This is the research seminar of the Instiute of Algebra, where we discuss ongoing research activities of ourselves and visitors. Students considering to do a bachelor's or master's or phd thesis at the institute are welcome to participate in the seminar in order to get a flavor of what we are doing. As a JKU student, you can get credits for attending the seminar if you give a talk. If you want to do this, please contact Manuel Kauers in order to discuss possible topics. Even if you don't want to give a talk but only listen to what we are doing, please register for the seminar in KUSSS. (No negative credits will be issued for people dropping out during the semester, or for attendees who don't want to contribute a talk.)
Unless otherwise stated, the seminar takes place on Thursdays, 13.4515.15 in S2 044.
04.10.2018 13:45  Manuel Kauers,
Onsager's solution of the Ising model could have been guessed

S2 044 
11.10.2018 13:45  Matteo Gallet,
The number of realizations of a rigid graph on a sphere

S2 044 
18.10.2018 13:45  Stephanie Schwaiger,
Using "Larch" and "Waldmeister"

S2 044 
18.10.2018 14:15  Paul Kainberger,
Using Group Theory for solving Rubik's Cube

S2 044 
18.10.2018 14:45  Erhard Aichinger,
A note on a theorem of Chevalley and Warning

S2 044 
25.10.2018 13:45  Thibaut Verron,
Tate algebras and GrÃ¶bner bases

S2 044 
08.11.2018 13:45  Georg Regensburger,
Elementary and sign vectors of a real subspace and applications to metabolic networks

S2 044 
15.11.2018 13:45  Jakob Moosbauer,
Solving Equations over nilpotent rings

S2 044 
22.11.2018 14:30  Daniela Kaufmann,
Gatelevel Arithmetic Circuit Verification using GrÃ¶bner Bases

S2 044 
22.11.2018 13:45  Martina Seidl,
Proof Systems for Quantified Boolean Formulas

S2 044 
29.11.2018 13:45  Jiayue (Barbara) Qi,
Grouptheoretical method for matrix multiplication

S2 044 
06.12.2018 14:30  Guenter Pilz,
Block designs and their use in statistics and medicine

S2 044 
06.12.2018 13:45  Lukas Weigert,
Maximum Clique Problem

S2 044 
13.12.2018 13:45  Michela Ceria, University of Milan
DIY for Groebner bases: multivariate Ore extensions and effective rings

S2 044 
10.01.2019 13:45  Stefano Fioravanti,
Solving equations and checking identities in finite groups

S2 044 
10.01.2019 14:30  Sebastian Kreinecker,
Essential arities of finitary operations

S2 044 
17.01.2019 13:45  Maximilian Jaroschek,
Counting Lonely Lattice Points

S2 044 
24.01.2019 13:45  Manfred Buchacher,
Inhomogeneous restricted lattice walks

S2 044 
31.01.2019 13:45  Thomas Cluzeau, University of Limoges
Equivalence of linear systems and applications to stability issues for multidimensional systems

S2 044 