Difference between revisions of "Oameni si cursuri din Romania"

From HaskellWiki
Jump to navigation Jump to search
(adding news about teaching Haskell in Cluj Napoca, Ro)
m
 
(9 intermediate revisions by 2 users not shown)
Line 1: Line 1:
[[Category:Ro]][[Category:Bv]][[Category:Buc]][[Category:Is]][[Category:Bc]]
+
[[Category:Ro]][[Category:Bc]]
   
 
In ordine alfabetica a oraselor:
 
In ordine alfabetica a oraselor:
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]].
 
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]]
 
Cititi aici: [[Capitole de manual]] din cartea [[Introducere in Haskell 98 prin exemple]]
   
Line 29: Line 29:
 
==. Brasov ==
 
==. 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.
 
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/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
 
[http://cs.unitbv.ro/calendar/docs/ti/Anul-2/Sem-1/ProgramareFunctionala.pdf
 
Locatia de origine a documentului. <Download!>]
 
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 ==
 
==. Cuj Napoca ==
Line 43: Line 49:
 
Ai au avut loc importante congrese cu participarea (internationala)
 
Ai au avut loc importante congrese cu participarea (internationala)
 
a unor mari nume din domeniu. Revedeti rubricile de stiri.
 
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.
 
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...
 
De completat...
  +
----
   
 
==. Iasi ==
 
==. Iasi ==
   
 
La [[Univ. "Al.I.Cuza" Iasi]] domnul conf. univ. [[Mihai Gontineac]]
 
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. [[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.]
 
[http://www.math.uaic.ro/~gonti/Cursuri/ProgramareFunctionala/ProgrFunct.pdf Programare Functionala - O introducere utilizand limbajul Haskell - E.Book.]
   
Line 60: Line 76:
   
 
Activitatea conf. M.Gontineac (link extern) http://www.math.uaic.ro/~gonti/Didactics.htm
 
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 ==
 
==. Alte orase ==
Line 67: Line 89:
 
* Galati
 
* Galati
 
* Constanta
 
* Constanta
  +
* Sibiu - Universitatea Romana-Germana ??
   
 
==. Alte proiecte ==
 
==. Alte proiecte ==

Latest revision as of 22:55, 29 June 2021


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):

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. <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.

fileicon-pdf.png <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 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.> ]

Haskell-Gontineac-coperta-mica.jpg 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.