Update 2013/11/19: The list of participants was added.
Update 2013/10/12: A new project page is now online and should make it easier for those who don’t use Git to download all the workshop materials at once.
Update 2013/10/07: Thanks to all of the speakers and participants for making the workshop a great success! Thanks also to Steve Seif and the Mathematics Department at the University of Louisville for their generous support and hospitality, and to Joel Evans and Jake Wildstrom for technical assistance.
Update 2013/10/07: The slides for the talks given at the workshop have been posted. See the links in the original advertisement below. (If you wish to download all the talks and abstracts at once, you can clone the git repository, or visit the workshop’s GitHub page.)
List of Participants
Original Workshop Advertisement
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)
- Tutorial
- William DeMeo (University of South Carolina) — UACalc at the command line and in the cloud (abstract, docs)
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.
- Organizers
- William DeMeo (University of South Carolina)
- Ralph Freese (University of Hawaii)
- Related Links
Workshop Program
Below is the program for the 2013 Workshop on Computational Universal Algebra, held on Friday, October 4, at the University of Louisville, Natural Sciences Building, Room 212D.
09:30–10:20 Ralph Freese
10:20–10:40 tea/coffee break
10:40–11:30 Alexander Hulpke
11:40–12:30 Peter Jipsen
12:30–14:30 lunch
14:30–15:20 Matthew Valeriote
15:20–15:40 tea/coffee break
15:40–16:30 Freese/DeMeo (UACalc gui/repl tutorials)
16:45–18:00 open forum, Q&A, computer time
19:00–21:00 dinner (optional; discuss future workshops)
universal algebra 