Workshop la SYNASC

Despre conferința SYNASC am mai scris de multe ori pe pagina asta.

Un lucru remarcabil care se intâmplă anul ăsta este un workshop satelit, First International Workshop on Satisfiability Checking and Symbolic Computation.

Cum vedeți este un workshop asociat unui proiect european (de tip Coordination and Support Action) care iși propune să aducă impreună două comunități: cea de symbolic computation și cea de SAT solving.

Nu am vreo implicare (deocamdată  🙂 ) in workshop-ul ăsta, dar mi se pare remarcabil faptul că prima ediție a unui eveniment care promite multe are loc in România (mai mult, in universitatea la care lucrez).

Drept pentru care mă grăbesc să vi-l recomand.

 

 

Anunțuri
Acest articol a fost publicat în Uncategorized. Pune un semn de carte cu legătura permanentă.

Lasă un răspuns

Completează mai jos detaliile tale sau dă clic pe un icon pentru a te autentifica:

Logo WordPress.com

Comentezi folosind contul tău WordPress.com. Dezautentificare / Schimbă )

Poză Twitter

Comentezi folosind contul tău Twitter. Dezautentificare / Schimbă )

Fotografie Facebook

Comentezi folosind contul tău Facebook. Dezautentificare / Schimbă )

Fotografie Google+

Comentezi folosind contul tău Google+. Dezautentificare / Schimbă )

Conectare la %s