Отправляет email-рассылки с помощью сервиса Sendsay

Система компьютерной алгебры GAP: New conferences

Dear Colleagues, this is the second announcement of the conference Advances in Group Theory and Applications 2009 which will take place in Porto Cesareo (Lecce - Italy) from June 8th to June 12th, 2009. The list of invited speakers includes: John Cossey (Canberra, Australia) Antonio Giambruno (Palermo, Italy) Eric Jespers (Brussels, Belgium) Leonid A. Kurdachenko (Dnepropetrovsk, Ukraine) Derek J.S. Robinson (Urbana, USA) Roland Schmidt (Kiel, Germany) Sudarshan K. Sehgal (Alberta, Canada) Stewart Stonehew...

2009-03-17 03:13:37 + Комментировать

Система компьютерной алгебры GAP: Logic-Based Program Synthesis and Transformation

CALL FOR PAPERS 19th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2009 http://www.cs.kuleuven.be/conference/lopstr09/ September 7-11, 2009, Coimbra, Portugal (co-located with PPDP 2009 and CSL 2009) Objectives: The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a...

2009-03-17 02:49:57 + Комментировать