fbpx

Conferinţa “Working Formal Methods Symposium – FROM 2017” la Facultatea de Matematică şi Informatică a Universității din București

Conferinţa “Working Formal Methods Symposium – FROM 2017” la Facultatea de Matematică şi Informatică a Universității din București

04 iulie 2017 în Evenimente, Știri

Institutul de Cercetare al Universităţii din Bucureşti, Facultatea de Matematică şi Informatică a Universităţii din Bucuresti şi Facultatea de Informatică a Universităţii „Alexandru Ioan Cuza” din Iaşi organizează, în perioada 5-8 iulie 2017, conferinţa Working Formal Methods Symposium – FROM 2017. Evenimentul va avea loc la Facultatea de Matematică şi Informatică din cadrul Universităţii din Bucureşti, în Amfiteatrul Pompeiu (str. Academiei, nr. 14, etajul II).

Conferinţa Working Formal Methods Symposium – FROM 2017 este prima dintr-o serie de evenimente care urmăreşte să reunească cercetători din domeniul metodelor formale.

La conferinţă vor participa în calitate de invited speakers Alexandru Baltag (ILLC, Amsterdam), Gabriel Ciobanu (Institutul de Informatică al Academiei Române, Iaşi), Ştefan Ciobâcă (Universitatea „Alexandru Ioan Cuza”, Iaşi), Florin Crăciun (Universitatea „Babeş-Bolyai” din Cluj-Napoca), Răzvan Diaconescu (Institutul ,,Simion Stoilow” al Academiei Române, Bucureşti), Cezara Drăgoi (École Normale Supérieure, Paris), Daniel Găină (Institute of Mathematics for Industry, Kyushu University), Radu Grosu (Vienna University of Technology), Florentin Ipate (Universitatea din Bucureşti), Gabriel Istrate (Universitatea de Vest din Timişoara), Marius Minea (Universitatea Politehnică din Timişoara), Ion Petre (Åbo Akademi University), Andrei Popescu (Middlesex University London), Grigore Roşu (University of Illinois at Urbana-Champaign), Vlad Rusu (INRIA Lille Nord Europe) şi Gabriel Sandu (University of Helsinki).

Comitetul ştiinţific al conferinţei FROM 2017 este alcătuit din Dorel Lucanu (co-preşedinte, Universitatea „Alexandru Ioan Cuza” din Iaşi), Victor Mitrana (Universitatea din Bucureşti), Viorica Sofronie-Stokkermans (co-preşedinte, Universitatea din Koblenz-Landau), Traian Şerbănuţă (Universitatea din Bucureşti) şi Gheorghe Ştefănescu (Universitatea din Bucureşti), iar cel de organizare este alcătuit din Andrei Arusoaie (Universitatea „Alexandru Ioan Cuza” din Iaşi), Denisa Diaconescu (Universitatea din Bucureşti), Ioana Leuştean (Universitatea din Bucureşti), Oana Peiu (reprezentant al Institutului de Cercetare al Universităţii din Bucureşti) şi Ana Ţurlea (Universitatea din Bucureşti).

Mai multe detalii despre conferinţa Working Formal Methods Symposium – FROM 2017 pot fi consultate pe pagina de internet a evenimentului: https://unibuc.ro/~conference/from2017/

Acest site folosește cookie-uri pentru o mai bună experiență de vizitare. Prin continuarea navigării, ești de acord cu modul de utilizare a acestor informații.

Privacy Settings saved!
Privacy Settings

When you visit any web site, it may store or retrieve information on your browser, mostly in the form of cookies. Control your personal Cookie Services here.


Cine suntem
Site-ul este deținut și administrat de Universitatea din București cu sediul în Bulevardul Mihail Kogălniceanu 36-46, București. Pentru a urmări mai ușor informațiile, trebuie să știţi că ne putem referi la instituția noastră folosind termenii „Universitatea din București”, „nouă”, „nostru” etc, iar la tine, ca utilizator și vizitator al site-ului, folosind termenii „utilizator”, „dumneavoastră”, etc. Această politică descrie informațiile pe care le colectăm atunci când vizitați www.unibuc.ro. Prin utilizarea acestui site web, sunteți de acord cu colectarea și utilizarea informațiilor dumneavoastră personale (în cazul în care acestea sunt furnizate) în conformitate cu această politică. Site-ul poate conține legături către și de pe site-uri web. Dacă urmați un link către oricare dintre aceste site-uri web, rețineți că acestea au propriile politici de confidențialitate. Universitatea București nu are nicio responsabilitate sau răspundere pentru aceste politici sau modul în care aceste site-uri web își gestionează datele. Verificați aceste politici înainte de a trimite orice informații personale acestor site-uri.
Informațiile colectate şi durata de stocare
În cazul în care utilizați site-ul nostru, vom colecta și procesa următoarele date personale despre dumneavoastră:
  • Informații pe care ni le oferiți atunci când completați un formular web sau solicitați trimiterea newsletter-ului. Informațiile pe care ni le furnizați pot include numele, adresa de e-mail, numărul de telefon, etc.
  • Informatiile pe care ni le oferiti in formularul de solicitare de informatii publice (ex. nume, prenume, e-mail) sunt colectate conform Legii nr. 544/2001
  • Informații pe care le colectăm despre dumneavoastră, prin intermediul fişierelor cookie pe care le folosim, în momentul în care accesați site-ul nostru. Pentru detalii suplimentare, consultați informarea privind cookie-urile.
Stocarea datelor de natură personală se realizează pe servere situate în România, atâta timp cât avem consimțămȃntul dumneavoastră.
Cum utilizăm datele personale pe care le furnizați sau le colectăm
Folosim datele personale despre dumneavoastră în următoarele moduri:
  • datele personale furnizate de dumneavoastră prin formularele noastre web vor fi folosite în scopul procesării cererilor dumneavoastră. Prin trimiterea solicitării sunteți de acord cu prelucrarea datelor dumneavoastră de către Universitatea din București.
  • în cazul în care sunteți de acord cu primirea de informații prin newsletter, vă vom trimite noutǎți despre următoarele subiecte:
  • informații despre evenimentele şi activităţile organizate în cadrul Universităţii din Bucureşti
  • informațiile tehnice pe care le colectăm prin utilizarea cookie-urilor vor fi utilizate în scopurile stabilite în “Informarea privind cookie-urile”.
Transferuri internaționale
În vederea oferirii serviciului de newsletter, datele dumneavoastră de identificare și contact sunt transmise către MailerLite, cu sediul în Lituania. Detalii privind măsurile de protectie a datelor adoptate de către MailerLite se găsesc la adresa https://www.mailerlite.com/terms-of-service  şi pe site-ul https://www.privacyshield.gov/welcome Site-ul nostru web utilizează Google Analytics, un serviciu pentru analiza web, precum şi Google Adwords, furnizate de Google. Google Analytics utilizează fișiere de tip cookie pentru a ajuta un anumit site web să analizeze modul în care utilizați respectivul site web. Informațiile generate de fișierele de tip cookie cu privire la utilizarea de către dumneavoastră a site-ului web vor fi transmise și stocate de Google pe servere care pot fi localizate în UE, SEE şi/sau Statele Unite. Google va utiliza aceste informații în scopul evaluării utilizării de către dumneavoastră a site-ului web, elaborând rapoarte cu privire la activitatea site-ului web și furnizând alte servicii referitoare la activitatea site-ului web și la utilizarea internetului. De asemenea, Google poate transfera aceste informații către terți în cazul în care are această obligaţie conform legii sau în cazul în care acești terți prelucrează informațiile în numele Google. Google nu va asocia adresa dumneavoastră IP cu alte date deținute de Google. Informații detaliate cu privire la Google și protecția datelor cu caracter personal (inclusiv modul în care puteți controla informațiile trimise către Google) pot fi găsite la: https://policies.google.com/privacy/partners. Din site-ul nostru web puteţi să distribuiţi un articol utilizând un buton de distribuire în reţelele de socializare (de exemplu: Facebook, Twitter, Youtube). Informații detaliate cu privire la protecția datelor cu caracter personal oferită de aceste organizatii pot fi gasite la adresele: https://www.facebook.com/policy.php https://twitter.com/en/privacy https://www.youtube.com/yt/about/policies/#community-guidelines
Accesați datele dumneavoastră personale
Aveți dreptul să cereți o copie a informațiilor deținute de noi  prin formularea unei solicitări de acces. Pentru a solicita o copie a datelor deținute despre dumneavoastră sau pentru a vă actualiza informațiile, contactați Universitatea din București la adresa de e-mail dpo@unibuc.ro. Datele de natură personală deținute de către Universitatea din București sunt supuse condițiilor din Regulamentul UE 679/2016 care oferă persoanelor vizate dreptul de acces la toate tipurile de informații înregistrate, deținute de operatorul de date, sub rezerva anumitor limitări.
Drepturile persoanei vizate
Conform Regulamentului 679/2016 - GDPR, aveţi dreptul de a solicita Universitaţii din București, în calitate de operator de date de natură personală, rectificarea, ştergerea sau restricţionarea prelucrării datelor personale referitoare la dumneavoastră. De asemenea, aveţi dreptului de a vă retrage consimţământul în orice moment, fără a afecta legalitatea prelucrării efectuate pe baza acestuia, înainte de retragere. Dacă nu mai doriți să primiți newsletter-ul, vă puteţi dezabona prin trimiterea unui e-mail la adresa contact@pr.unibuc.ro sau prin folosirea linkului de dezabonare din cadrul newsletter-ului.
Dreptul de a depune o plângere în faţa Autorităţii de supraveghere
Conform Regulamentului 679 /2016 - GDPR, aveți dreptul de a depune o plângere la Autoritatea Naţională de Supraveghere a Prelucrării Datelor cu Caracter Personal. Mai multe detalii se pot obține accesȃnd adresa http://www.dataprotection.ro/.
  • _ga
  • _gid
  • _gat

Decline all Services
Accept all Services