ISSAC'98 - calcolo simbolico e algebrico

Dal 13 al 15 agosto 1998 a Rostock (Germania) si terrà ISSAC'98, l'annuale convegno internazionale sul calcolo simbolico e algebrico. L'avvenimento intende offrire ai partecipanti l'opportunità di saperne di più sui nuovi sviluppi e di presentare le ricerche originali in tutti gli aspetti del calcolo matematico simbolico.

Nel corso del convegno sono previste varie attività, fra cui la presentazione di lavori di ricerca e inchieste, sessioni di manifesti, corsi di apprendimento con tutor, esposizioni organizzate da venditori e dimostrazioni di software. Ecco alcuni degli argomenti affrontati durante la conferenza:

- algoritmi simbolici-numerici per polinomi;
- software e ambienti per la soluzione dei problemi;
- metodi applicativi, formali e paralleli;
- algebra matriciale ed equazioni alle differenze finite;
- equazioni integro-differenziali;
- Applicazioni e basi Groebner.

Durante l'avvenimento, inoltre, vi saranno tre sessioni con tutor su: integrazione simbolica, verso la tipizzazione "soft" nei sistemi algebrici informatici e interazione fra analisi numerica e algebra informatica. Si terrà altresì una riunione sull'iniziativa del benchmarking nell'algebra informatica.

Per maggiori informazioni, rivolgersi a:

University of Rostock
Department of Computer Science
Sig. Alfred Widiger
21 Albert Einstein Strasse
D-18059 Rostock
Tel. +49-381-4983361; Fax +49-381-4983366
E-mail: wid@informatik.uni-rostock.de
URL: http://wwwteo.informatik.uni-rostock.de/ISSAC98/(si apre in una nuova finestra)