University of Hertfordshire Algorithms Group
MATHEMATICAL COMPUTER SCIENCE & APPLICATIONS SEMINAR

Hatfield, College Lane Campus
Schedule for Summer 2009 to present

Listing Previous Meetings from Spring 2007 to present

[click on presentation title for abstract and exact location]

2 June 2009 (Seminar Room C214, 10 a.m. Tuesday)
"Synthesis of Symbiotic Security Services"
Daniel Schreckling (University of Passau, Institute of IT-Security and Security Law, Germany)
Summer 2008 and into next academic year: (weekly seminars Thursday mornings 10:00-12:00 in STRI meeting room)
Seminar on q-theory, Krohn-Rhodes algebraic automata theory, Semigroup Theory and Computation
Prof. C. L. Nehaniv, Dr. Attila Egri-Nagy, Dr. Gábor Horváth

Topics:
lattices, categories, Galois connections and adjoint functors, q-theory;
stable and unstable semigroups;
derived semigroupoid theorem;
axioms for complexity of sequential machines and finite-type objects;
Rhodes expansion & the Fundamental Lemma of Complexity
lattice of pseudovarieties of relations morphisms, and continuous operators

[contact organizers if you'd like to attend.]
10 April 2008 (Seminar Room F326, Wright Building, 2:30-5+ pm Thursday)
"Algebra and Computation: Analogues of the Decimal Expansion for Automata, Semigroups, and Groups with Applications to Computer-Generated Coordinate Systems for Understanding"
Prof. C. L. Nehaniv & Dr. Attila Egri-Nagy (Algorithms, Adaptive Systems & BioComputation Research Groups, School of Computer Science, University of Hertfordshire)
followed at 4 pm by the colloqium lecture in the same room:
"Prime Decomposition Theorem for Finite Idempotent Semirings using the Triangular Product of B. I. Plotkin"
Prof. John L. Rhodes (Mathematics Department, University of California, Berkeley, U.S.A.)
24 May 2007 (Seminar Room C450, 1-3 pm Thursday)
"Time, Sequential Machines, and Feedback-Free Decompositions"
Prof. Chrystopher L. Nehaniv (School of Computer Science, University of Hertfordshire)
10 May 2007 (Seminar Room D120, 1-3 pm Thursday)
"Krohn-Rhodes Methods in Algebraic Automata Theory for Understanding Biological Reactions"
Dr. Attila Egri-Nagy (Royal Society / Wolfson BioComputation Lab, University of Hertfordshire)

Seminar Schdedule and Abstracts On-line: http://homepages.feis.herts.ac.uk/~nehaniv/mcsa/
Seminar Organizers: Profs. Chrystopher L. Nehaniv, Bruce Christianson, Alexander Shafarenko
Email queries to C.L.Nehaniv@herts.ac.uk

University of Hertfordshire Algorithms Group MATHEMATICAL COMPUTER SCIENCE & APPLICATIONS SEMINAR Hatfield, College Lane Campus Schedule for Summer 2009 to present

Listing Previous Meetings from Spring 2007 to present

[click on presentation title for abstract and exact location]

University of Hertfordshire Algorithms Group
MATHEMATICAL COMPUTER SCIENCE & APPLICATIONS SEMINAR

Hatfield, College Lane Campus
Schedule for Summer 2009 to present