A one day workshop on computational universal algebra was held on Friday, October 4, 2013 at the University of Louisville Natural Sciences Building, Room 212D.
You can download the abstracts and slides for the talks to your local machine using the ZIP or TAR buttons on the left.
For Git users. If you want to suggest changes to this content, please use the GitHub button. Then fork the repository, make your changes, and submit a pull request. You can also clone the repository with the following command:
To see the original workshop advertisement, please visit http://universalalgebra.wordpress.com/meetings/2013-workshop-on-computational-universal-algebra/
git clone email@example.com:UniversalAlgebra/WCUA2013.git
Tutorial: William DeMeo (University of South Carolina) UACalc at the command line and in the cloud
William DeMeo (University of South Carolina)
Ralph Freese (University of Hawaii)
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
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)
After your page is generated, you can check out the new branch:
$ cd your_repo_root/repo_name $ git fetch origin $ git checkout gh-pages