![]() |
RESEARCH GROUP MEMBERS
RESEARCH ACTIVITIES
![]() Graph Coloring | ![]() The Mizar project | ||
![]() Formal Methods | ![]() Algorithms for classes of graphs | ||
![]() Interconnection Networks | ![]() Algebraic and Numerical Algorithms | ||
![]() Genetic Algorithms |
SEMINARS
The Algorithmics Research Group holds regular seminars.
For more information on Algorithmics Research Group Seminars, or to be added to the mailing list, contact davidm@cs.ualberta.ca
RESEARCH LABORATORY
The Laboratory for Algorithmics Research has recently been relocated to Room 2-17 of the Computing Science Centre; the new space is still under construction. The lab offers abundant workspace for Algorithmics faculty and students, as well as housing seven unix workstations and a colour printer. The Algorithmics Laboratory also serves as the meeting place for the University of Alberta Programming Club.
SOFTWARE
ADDITIONAL INFORMATION
For more information, contact theory@cs.ualberta.ca.
![]() University of Alberta | ![]() Computing Science | ![]() Algorithmics |