A one day workshop on computational universal algebra will be held on Friday, October 4, 2013 (before the AMS sectional meeting) at the University of Louisville, Natural Sciences Building, Room 212D. (parking info)
- Featured Speakers
- Ralph Freese (University of Hawaii) — The Universal Algebra Calculator (abstract, slides)
- Alexander Hulpke (Colorado State University) — Finding subgroups (abstract, slides)
- Peter Jipsen (Chapman University) — Computing with finite ordered algebraic structures (abstract, Sage notebook)
- Matthew Valeriote (McMaster University) — Testing for certain idempotent Maltsev conditions (abstract, slides)
The Workshop Program lists the scheduled time of each talk and is now available.
The aim of the workshop is to give researchers and graduate students an opportunity to learn from and spend time with experts in computing for algebra research. To receive updates about this workshop, please enter your name and email address in the box below.
Title: Workshop on Computational Universal Algebra
Date: Friday, October 4, 2013 (9:30am–6pm)
Location: Natural Sciences Building, Room 212D, University of Louisville, Louisville, KY
Parking: 3rd Street Lot Parking Instructions
Prerequisites: All are welcome to attend the workshop. There are no formal prerequisites. To get the most out of the lectures and tutorials, however, you should be familiar with some area of algebra or logic, such as universal algebra, lattice theory, group theory, computability, etc. Computers will not be provided, and they are not required, but participants are advised to bring their own laptops if they wish to experiment with the techniques presented in the tutorials.
There will be a limited amount of time during the workshop to help people configure the relevant software and programming environments on personal computers, so ideally you will have already downloaded and experimented with the UACalc and/or GAP and/or Sage before the workshop. If you have any problems or questions, please feel free to contact the organizers (e.g., by submitting a comment in the form below, even if you have already submitted this form before).
The AMS Southeastern Sectional Meeting, and in particular the Special Session on Finite Universal Algebra, takes place the weekend immediately following the workshop, October 5–6, in the same location, at the University of Louisville.
- Related Links