Automaták, formális nyelvtanok -- a gyakorlatban. Meg funkcionális programozás. Meg logika és informatikai alkalmazásai. Meg automaták és formális logika.
Monday, September 1, 2014
Voltam konferencián
...augusztusban, kétszer is. Előbb a DCFS 2014 volt Turkuban (ahol beszéltem is eredményekről), majd az MFCS 2014 Pesten (pontosabban Budán). Aki szakmai "élménybeszámolóra" kíváncsi, elérheti itt az előbbiét, itt az utóbbiét.
No comments:
Post a Comment