Serafina Lapenta Curriculum Vitae Education 2011–2015 PhD, University of Basilicata, Potenza, Evaluation: Excellent. 2009–2011 Laurea Specialistica – Master Degree, University of Basilicata, Potenza, 110/110 cum laude. Thesis title: La dimostrazione elementare del Teorema di Completezza del Calcolo Proposizionale di Lukasiewicz a infiniti valori 2006–2009 Laurea Triennale – Bachelor Degree, University of Basilicata, Potenza, 110/110 cum laude. PhD Thesis Title MV-algebras with product: connecting the Pierce-Birkhoff conjecture with Łukasiewicz logic Supervisor Professor Antonio Di Nola. Description In this thesis we defined the notion of MV-algebras with both a scalar and a ring product in connection with the Pierce-Birkhoff conjecture. Experience Aug 2016– Post-doc researcher, University of Salerno, Fisciano. Present Research project: Łukasiewicz modal logic via algebras and dualities. Aug 2015– Post-doc researcher, University of Salerno, Fisciano. Aug 2016 Research project: Riesz Spaces and Łukasiewicz logic. Publications Papers in Journals FHL17 Flaminio T., Hosni H., Lapenta S., Convex MV-algebras: many-valued logics meet decision theory, Studia Logica (2017) DOI: 10.1007/s11225-0169705-9. LLDMV16 Lapenta S., Leuştean I., Notes on divisible MV-algebras, arXiv:1605.01230 [math.LO], accepted for publication on Soft Computing, DOI:10.1007/s00500-0162339-z. Dipartimento di Matematica,Via Giovanni Paolo II, 132 84084 Fisciano (SA) T (+39)089963358 • B [email protected] Í serafinalapenta.weebly.com 1/5 LLTP16 Lapenta S., Leuştean I., Scalar extensions for the algebraic structures of Łukasiewicz logic, Journal of Pure and Applied Algebra 220 (2016) 1538– 1553. LLStInd16 Lapenta S., Leuştean I., Stochastic independence for probability MValgebras, Fuzzy Sets and Systems 298 (2016) 194–206. LL15 Lapenta S., Leuştean I., Towards understanding Pierce-Birkhoff conjecture via MV-algebras, Fuzzy Sets and Systems 276, 114–130, 2015. Book chapters LL16 Lapenta S., Leuştean I., A general view on normal form theorems for Łukasiewicz logic with product, to appear in Dieter Probst and Peter Schuster (eds.), “Concepts of Proof in Mathematics, Philosophy, and Computer Science”. Ontos Mathematical Logic. Walter de Gruyter, Berlin. Submitted papers { Lapenta S., Leuştean I, A general view on the algebraic semantics of Lukasiewicz logic with product,submitted, arXiv:1411.4987v3 [math.LO]. { Di Nola A., Lapenta S., Leuştean I., An analysis of the logic of Riesz Spaces with strong unit, submitted. Work in progress { Di Nola A., Lapenta S., Leuştean I., Infinitary logic and compact Hausdorff Spaces, in preparation. Communication skills and attendance to scientific events Conferences and workshops SCD2016 A general view on MV-algebras with product and normal form theorems, Soft Computing Days, Beijing (China), November 26th - 30th 2016 invited talk. LATD2016 Riesz MV-algebras and Divisible MV-algebras: logic, analysis and polyhedral geometry LATD 2016, Phalaborwa (South Africa) - June 28th 30th 2016 - contributed talk. ManyVal’15 On MV-algebras with convexity operators - ManyVal’15, Les Diabletets, Switzerland, December 10th - 13th 2015, contributed talk. TiLXV Towards an algebraic approach to convex combination - Trends in Logic XV: Logic for social behaviour, Delft, The Netherlands - June 28th - July 3rd 2015. Beyond2014 Baker-Beynon duality for Riesz MV-algebras - Beyond True and False 2014, Florence, Italy - December 3rd - 5th 2014, invited talk. LATD2014 On tensor product in Łukasiewicz logic - LATD 2014, TU Wien, Wien, Austria - July 16th - 19th 2014, contributed talk. LATD2014 MV-algebras with product and the Pierce-Birkhoff conjecture LATD 2014, TU Wien, Wien, Austria - July 16th - 19th 2014, contributed talk. Dipartimento di Matematica,Via Giovanni Paolo II, 132 84084 Fisciano (SA) T (+39)089963358 • B [email protected] Í serafinalapenta.weebly.com 2/5 AILA2014 An extension to the notion of MV-algebras: f MV-algebras - XXV AILA Conference, Scuola Normale Superiore, Pisa, Italy - April 14th - 17th 2014, contributed talk. ManyVal’13 f MV-algebras and piecewise polynomial functions - ManyVal’13, Prague, Czech Republic - September 3rd - 7th 2013, contributed talk. Seminars UniMol Łukasiewicz logic and its widespread in mathematics - Dipartimento di Bioscienze e Territorio, University of Molise, Isernia (IT) - April 5th 2016. USTINF From logic to functional analysis via Riesz MV-algebras - Institute of Computer Science, Czech Academy of Science, Prague - December 14th 2016, invited seminar. UJ MV-algebras, normal form theorems and decision theory - University of Johannesburg, Johannesburg - June 13th 2016. ILLC MV-algebras and the Pierce-Birkhoff conjecture - Algebra|Coalgebra Seminar, ILLC, Amsterdam - April 20th 2016. UB On MV-algebras with convexity operators - Logic Seminar at University of Bucharest, Romania - November 26th 2015, invited seminar. UNIMI Un approccio algebrico alle combinazioni convesse - Logic Seminar at Università di Milano, Italy - June 12th 2015, invited seminar. IMAR Baker-Baynon duality in Riesz MV-algebras - Institute of Mathematics of the Romanian Academy (IMAR), Bucharest, Romania - March 18th 2014, invited seminar. UB On product in Lukasiewicz logic - Universitatea di Bucuresti, Bucharest, Romania - July 11th 2013, invited seminar. ROMA3 MV-algebras and MV-modules - University Roma 3, Roma, Italy - November 9th 2012, SELP seminar. Summer Schools Aug 25-31 Scuola Estiva di Logica organized by Associazione Italiana di Logica e sue 2013 Applicazioni (AILA). Aug 19-25 Scuola Estiva di Logica organized by Associazione Italiana di Logica e sue 2012 Applicazioni (AILA). Grants and Projects { INdAM-Cofund 2010, ranked 1st , fellowship declined; { Project manager and member of the Marie Curie - RISE project SYSMICS, grant agreement n. 689176, http://logica.dmi.unisa.it/sysmics; { Member of the coordinating unit for the Italian National Research Project (PRIN2010-11) entitled Metodi logici per il trattamento dell’informazione. Dipartimento di Matematica,Via Giovanni Paolo II, 132 84084 Fisciano (SA) T (+39)089963358 • B [email protected] Í serafinalapenta.weebly.com 3/5 Visiting periods Dec 2016 1 week, Prague, UTIA, visiting Prof. Petr Cintula and Prof. Carles Noguera. Jun 2016 1 month, Johannesburg, Wits University, visiting Prof. Clint Van Alten (SYSMICS project). Apr 2016 1 week, Amsterdam, ILLC, visiting Prof. Nick Bezhanishvili. Jan 2016 1 week, Milan, University of Milan, visiting Prof. Hykel Hosni and Dr. Tommaso Flaminio. Nov 2015 1 week, Bucharest, University of Bucharest visiting Prof. Ioana Leuştean. Jun 2015 1 week, Varese, University of Insubria, visiting Dr. Tommaso Flaminio. Mar 2014 2 weeks, Bucharest, University of Bucharest visiting Prof. Ioana Leuştean. Feb-Jul 2013 6 months, Bucharest, University of Bucharest, visiting Prof. Ioana Leuştean. Teaching 2016–2017 Coordinator of a mathematics laboratory within the Piano Lauree Scientiche for the University of Basilicata. The laboratory focused of logic and deduction in mathematics, and its targets were high school students. Jen–Feb 2017 Help Teaching at University of Basilicata. Course Calculus – Degree course in Geology. 2016–2017 Cultore della Materia for SSD MAT/01. Member of the examination committee for the classes: { Matematica 1 - faculty of Engineering, held by Prof. Luca Spada, { Matematica 1 - faculty of Chemistry and Biology, held by Prof. Luca Spada, { Matematica Discreta, held by Prof. Giacomo Lenzi. Nov 2016 Help Teaching at University of Salerno. Course Calculus – Degree course in Biology. 2015–2016 T.A. for the class Universal Algebra at University of Salerno, held by Prof. Di Nola. 2015–2016 Cultore della Materia for SSD MAT/01. Member of the examination committee for the classes: { Matematica per l’economia e Matematica finanziaria, held by Prof. Luca Spada, { Matematica Discreta, held by Prof. Giacomo Lenzi, { Logica Matematica, held by Prof. Antonio Di Nola. Nov 2015 Help Teaching at University of Salerno. Course Calculus – Degree course in Biology. 2013–2014 Tutor at University of Basilicata. Course: Calculus – Degree course in Computer Science. Organization of events { TACL2015, School and Conference, http://logica.dmi.unisa.it/tacl/. Dipartimento di Matematica,Via Giovanni Paolo II, 132 84084 Fisciano (SA) T (+39)089963358 • B [email protected] Í serafinalapenta.weebly.com 4/5 { Soft Computing Days 2016, https://sites.google.com/site/softcomputingdays/. Service I have been reviewer for the following journals/conference proceedings: Soft Computing, Mathematical Logic Quarterly, Journal of Logic and Computation, Bulletin of the Section of Logic, Discussiones Mathematicae - General Algebra and Applications, Proceedings of the Tblilisi Symposium, FUZZ-IEEE. Memberships From 2013 Associazione Italiana Logica e sue applicazioni (AILA). From 2013 MathFuzzLog, the working group on Mathematical Fuzzy Logic. Awards May 2012 Laureati Eccellenti 2011, awarded on the basis of outstanding academic performance. 2011 Premio di laurea 2011, from ARDSU (money award) awarded on the basis of outstanding academic performance. Languages Italian Mothertongue English Intermediate French Basic Conversationally fluent Basic words and phrases only Fisciano, April 11th 2017. Dipartimento di Matematica,Via Giovanni Paolo II, 132 84084 Fisciano (SA) T (+39)089963358 • B [email protected] Í serafinalapenta.weebly.com 5/5