Difference between revisions of "Oameni si cursuri din Romania"

Revision as of 07:23, 14 July 2011

In ordine alfabetica a oraselor:

. Bacau

La Univ.din Bacau, actualmente rebotezata Univ."Vasile Alecsandri" din Bacau exista mai multe cursuri care folosesc limbajul Haskell: Limbaje Formale si Automate, Programare functionala.

Edusoft, editura care a sprijinit miscarea Ro/Haskell a functionat/ mai functioneaza in Bacau. Ea a fost prima editura acreditata CNCSIS care a scos pe piata un manual de Haskell (foto):

Cititi aici: Capitole de manual din cartea Introducere in Haskell 98 prin exemple

Tot la Univ."Vasile Alecsandri" din Bacau exista Laboratorul de limbaje unde se lucreaza la constructia DSL-urilor. Un produs al acestui laborator este limbajul didactic Rodin, produs pe o platforma inovatoare de dezvoltare a limbajelor modulare cu semantici modulare monadice.

La Facultatea de Stiinte studentii de la Matematica invata Haskell ca limbaj dedicat implementarii practice a teoriilor matematicienilor. <Download!> Detalii ...

. Bucuresti

In 2009, Universitatea Politehnica din Bucuresti avea deja in programa un curs de programare care in al 12-lea laborator (cam prin mai 2009) prezenta limbajul Haskell. Autor:.... vom completa.

La librariile din Bucuresti, cel putin la o parte din ele gasiti Practica interpretarii monadice.

Ar mai trebui scris despre Bucuresti.

. Brasov

2009 La Ro/Universitatea Transilvania Brasov s-a prezentat in 2009 o programa actualizata a unui curs de limbaje functionale predat de Dr.Anca Vasilescu. Ro/Haskell contribuie activ la realizarea documentatiilor si manualelor folosite la realizarea acestui curs.

[http://cs.unitbv.ro/calendar/docs/ti/Anul-2/Sem-1/ProgramareFunctionala.pdf Locatia de origine a documentului. <Download!>]

8 iulie 2011 Masterul de Tehnologii Informatice la Universitatea Transilvania va utiliza printre altele materiale din"Introducere in Haskell 98 prin exemple" impreuna cu o serie de alte exemple care ar fi (deja?) alese din lucrarile unor universitari, dintre care Graham Hutton pare a fi favorit. Doua exemplare din "Practica Interpretarii Monadice" au fost oferite din partea comunitatii, domnului prof. Deaconu si doamnei prof. A.S., impreuna cu urarile noastre de succes ! Le dorim sa aiba un master intru totul functional !!

Programa de master la care face referinta stirea a fost / era disponibila aici: http://www.unitbv.ro/LinkClick.aspx?fileticket=OhluLN-o3hg%3d&tabid=163

. Cuj Napoca

De completat... cu date despre cercetarile in Haskell. Ai au avut loc importante congrese cu participarea (internationala) a unor mari nume din domeniu. Revedeti rubricile de stiri. Profesori de la Cluj au avut relatii de cercetare cu alte universitati din Europa (Grecia., etc), privind monadele si Haskell-ul.

Studentii nostri, vesnic in cautare pe Google ne-au anuntat ca la U.T.Cluj ar fi existand un curs de programare functionala semnat de dl. Adrian Groza in care se vorbeste despre ML dar si despre Haskell.

Desi s-a lucrat cu Haskell la semantici in perioada 1998-2005 lucrarile profesorului Eneia Todoran din Cluj nu au fost de gasit (pentru o vreme ??) pe serverele Univ. de la Cluj. A trebuit sa le descoperim pe site-ul coautorului sau: Prof.N.Papaspyrous.

Tematica: Haskell, semantici, CPS (Continuation passing style) CSC si altele. De asemenea exista la Cluj o echipa de cosemnatari mai tineri care se ocupa deja de Haskell.

Un interesant volum despre semantici semnat de Prof Emeia Todoran a fost deja inclus in colectia de la pagina Carti publicate in limba romana.

Surprinde totusi reactia profesorului Todoran pe care l-am contactat de a nu isi anunta implicarea in publicarea volumului in limba romana. L-o fi publicat deja ? Sau cercetarile sunt doar pentru partenerii greci ?

De completat...

. Iasi

La Univ. "Al.I.Cuza" Iasi domnul conf. univ. Mihai Gontineac foloseste Haskell ca limbaj asociat unor cursurilor de Algebra Superioara care sunt insotite de lectii de programare functionala. De asemenea cursurile de Limbaje Formale si Automate folosesc Haskell. [<Download! o pg.> ]

Programare Functionala - O introducere utilizand limbajul Haskell - E.Book.

Este primul manual de Haskell inregistrat oficial la Biblioteca Nationala, chiar daca pe piata a aparut cvasi-simultan cu volumul Introducere in Haskell 98 prin exemple

Activitatea conf. M.Gontineac (link extern) http://www.math.uaic.ro/~gonti/Didactics.htm

Interesant: la Iasi sunt si alti profesori specialisti in Haskell, care predau cursuri de Haskell, predau cursuri de compilatoare, dar surpriza, NU fac cercetare despre compilatoare in Haskell. Sau nu stim noi ?

De asemenea, exista cercetatori la Institutul de Cercetari al Academiei.

De completat ...

. Alte orase

Arad
Baia Mare
Ploiesti
Galati
Constanta
Sibiu - Universitatea Romana-Germana ??

. Alte proiecte

Recenzii de carti si cursuri au facut:

....

Asteptam date in plus pentru completarea acestei pagini. Puneti-le pe web, le vom prezenta aici.

Pagina in dezvoltare.

@@ Line 7: / Line 7: @@
 La [[Univ.din Bacau]], actualmente rebotezata [[Univ."Vasile Alecsandri" din Bacau]] exista mai multe cursuri care folosesc limbajul Haskell: [[Limbaje Formale si Automate]], [[Programare functionala]].
-Edusoft, editura care a sprijinit miscarea [Ro/Haskell] a functionat/ mai functioneaza in Bacau. Ea a fost prima editura acreditata CNCSIS care a scos pe piata un manual de Haskell (foto):
+Edusoft, editura care a sprijinit miscarea [[Ro/Haskell]] a functionat/ mai functioneaza in Bacau. Ea a fost prima editura acreditata CNCSIS care a scos pe piata un manual de Haskell (foto):
-http://www.haskell.org/sitewiki/images/0/0f/Cartea-lui-Dan-Popa-coperta-1.png
+http://www.haskell.org/wikiupload/0/0f/Cartea-lui-Dan-Popa-coperta-1.png
 Cititi aici: [[Capitole de manual]] din cartea [[Introducere in Haskell 98 prin exemple]]
 Tot la [[Univ."Vasile Alecsandri" din Bacau]] exista [[Laboratorul de limbaje]] unde se lucreaza la constructia DSL-urilor. Un produs al acestui laborator este limbajul didactic [[Rodin]], produs pe o platforma inovatoare de dezvoltare a limbajelor modulare cu semantici modulare monadice.
+La Facultatea de Stiinte studentii de la Matematica invata Haskell ca limbaj dedicat implementarii practice a teoriilor matematicienilor.
+[http://cursfs.ub.ro/programe_analitice/fundamentele_programarii5.pdf <Download!>] Detalii ...
 ==. Bucuresti ==
@@ Line 24: / Line 29: @@
 ==. Brasov ==
-La [[Ro/Universitatea Transilvania Brasov]] s-a prezentat in 2009 o programa actualizata a unui curs de limbaje functionale predat de [[Dr.Anca Vasilescu]].
+'''2009 '''La [[Ro/Universitatea Transilvania Brasov]] s-a prezentat in 2009 o programa actualizata a unui curs de limbaje functionale predat de [[Dr.Anca Vasilescu]].
 Ro/Haskell contribuie activ la realizarea documentatiilor si manualelor folosite la realizarea acestui curs.
 http://www.haskell.org/sitewiki/skins/common/images/icons/fileicon-pdf.png
-[http://www.haskell.org/sitewiki/images/b/b6/ProgramareFunctionala-BV.pdf  <Descarcati programa! Download! .PDF>]
+[http://www.haskell.org/wikiupload/b/b6/ProgramareFunctionala-BV.pdf  <Descarcati programa! Download! .PDF>]
+[http://cs.unitbv.ro/calendar/docs/ti/Anul-2/Sem-1/ProgramareFunctionala.pdf
+Locatia de origine a documentului. <Download!>]
+''' 8 iulie 2011'''   Masterul de Tehnologii Informatice la Universitatea Transilvania va utiliza printre altele materiale din"[[Introducere in Haskell 98 prin exemple]]" impreuna cu o serie de alte exemple care ar fi (deja?) alese din lucrarile unor universitari, dintre care Graham Hutton pare a fi favorit. Doua exemplare din "Practica Interpretarii Monadice" au fost oferite din partea comunitatii, domnului prof. Deaconu si doamnei prof. A.S., impreuna  cu urarile noastre de succes !
+Le dorim sa aiba un master intru totul functional !!
+Programa de master la care face referinta stirea a fost / era disponibila aici:
+http://www.unitbv.ro/LinkClick.aspx?fileticket=OhluLN-o3hg%3d&tabid=163
 ==. Cuj Napoca ==
 De completat... cu date despre cercetarile in Haskell.
-Ai au avut loc importante congrese cu participare internationala
+Ai au avut loc importante congrese cu participarea (internationala)
 a unor mari nume din domeniu. Revedeti rubricile de stiri.
-Profesori de la Cluj au avut relatii de cercetare cu alte universitati din Europa (Grecia ??), privind monadele si Haskell-ul.
+Profesori de la Cluj au avut relatii de cercetare cu alte universitati din Europa (Grecia., etc), privind monadele si Haskell-ul.
+Studentii nostri, vesnic in cautare pe Google ne-au anuntat ca la U.T.Cluj ar fi existand un curs de programare functionala semnat de dl. Adrian Groza in care se vorbeste despre ML dar si despre Haskell.
+Desi s-a lucrat cu Haskell la semantici in perioada 1998-2005
+lucrarile profesorului [[Eneia Todoran]] din Cluj nu au fost de gasit (pentru o vreme ??) pe serverele Univ. de la Cluj. A trebuit sa le descoperim pe site-ul coautorului sau: [http://www.softlab.ntua.gr/~nickie/Papers/ Prof.N.Papaspyrous.]
+Tematica: Haskell, semantici, [[CPS]] ([[Continuation passing style]]) CSC si altele. De asemenea exista la Cluj o echipa de cosemnatari mai tineri care se ocupa deja de Haskell.
+Un interesant volum despre semantici semnat de Prof Emeia Todoran a fost deja inclus in colectia de la pagina [[Carti publicate in limba romana]].
+Surprinde totusi reactia profesorului Todoran pe care l-am contactat de a nu isi anunta implicarea in publicarea volumului in limba romana. L-o fi publicat deja ? Sau cercetarile sunt doar pentru partenerii greci ?
 De completat...
+----
 ==. Iasi ==
 La [[Univ. "Al.I.Cuza" Iasi]] domnul conf. univ. [[Mihai Gontineac]]
-foloseste Haskell ca limbaj asociat unor cursurilor de Algebra Superioara care sunt insotite de lectii de programare functionala. De asemenea cursurile de LFA folosesc Haskell. [[http://www.haskell.org/sitewiki/images/5/55/LFAlaIasi.pdf <Download! o pg.> ]]
+foloseste Haskell ca limbaj asociat unor cursurilor de Algebra Superioara care sunt insotite de lectii de programare functionala. De asemenea cursurile de [[Limbaje Formale si Automate]] folosesc Haskell. [[http://www.haskell.org/wikiupload/5/55/LFAlaIasi.pdf <Download! o pg.> ]]
-http://www.haskell.org/sitewiki/images/1/18/Haskell-Gontineac-coperta-mica.jpg
+http://www.haskell.org/wikiupload/1/18/Haskell-Gontineac-coperta-mica.jpg
 [http://www.math.uaic.ro/~gonti/Cursuri/ProgramareFunctionala/ProgrFunct.pdf Programare Functionala - O introducere utilizand limbajul Haskell - E.Book.]
 Este primul manual de Haskell inregistrat oficial la Biblioteca Nationala, chiar daca pe piata a aparut cvasi-simultan cu volumul [[Introducere in Haskell 98 prin exemple]]
+Activitatea conf. M.Gontineac (link extern) http://www.math.uaic.ro/~gonti/Didactics.htm
+Interesant: la Iasi sunt si alti profesori specialisti in Haskell, care predau cursuri de Haskell, predau cursuri de compilatoare, dar surpriza, NU fac cercetare despre compilatoare in Haskell. Sau nu stim noi ?
+De asemenea, exista cercetatori la Institutul de Cercetari al Academiei.
+De completat ...
 ==. Alte orase ==
@@ Line 57: / Line 89: @@
 * Galati
 * Constanta
+* Sibiu - Universitatea Romana-Germana ??
 ==. Alte proiecte ==
+* Recenzii de carti si cursuri au facut:
+....
 ----