Symmetric Circuits and Fixed-Point Logics
در مورد خانوادهای از مسایل بود که با مدارها قابل مدل کردن بودند و کلاس P را تقسیم میکردند. هدف این بود که تقارن مسئله را حفظ کنند و برای این کار به جای مدل ماشین تورینگ از مدل جدولهای رابطهای پایگاه داده استفاده میکردند.
http://www.cl.cam.ac.uk/~ad260/talks/aachen3.pdf
ارائههای دیگری هم هستند از این فرد:
http://www.cl.cam.ac.uk/~ad260/talks.html
--------------------------------------------------------
اولین ارائه هم در مورد الگوریتمهای پارامتر ثابت بود که یک ویکیپدیا برایش معرفی کرد:
http://fpt.wikidot.com/
قسمتهایی که به ویژه خودم از صحبتهایش دوست داشتم این بود که اشاره کرد پیدا کردن الگوریتمهای پارامتر ثابت بیشتر از اینکه به وجود پارامتری در مسئله بستگی داشته باشد که مقدارش کوچک است به ساختارهای ترکیبیاتی مسئله بستگی دارد.