Upload
others
View
3
Download
0
Embed Size (px)
Citation preview
Mid-term meeting (University of Salerno)
SYSMICSSYntax meets Semantics: Methods, Interactions, and Connections in Substructural logics.
Contents
❖ Quick facts.
❖ Implementation.
❖ Scientific report.
❖ Financial report.
❖ Deviations
Quick facts
SYSMICS in figures
❖ 5 continents ❖ 12 Countries❖ 23 Universities❖ 70 researchers❖ 500,000 euros❖ 120 trips
A project on which the sun never sets…
SYSMICS in figures
Time span 3 years, from March 2016 to February 2019.
Networking events 2 conferences, 4 workshops, 2 schools.
Where we are
We are here
Secondments
❖ More than 40 secondments.
❖ Most of the destinations visited.
❖ More than 50 secondments by the end of the year.
❖ Enthusiastic responses.
Networking
❖ Kick off Conference (Barcelona, > 60 participants, high gender balance, 1 open lecture).
❖ 1st school (Affiliated to TALC, Olomuc, > 40 participants, scholarships for ES researchers, sponsored by ASL).
❖ 1st Workshop (Salerno, 30 participants, mid-term meeting).
What’s nextWorkshops Vienna, March 2018.
AL (A-sub-L) Cagliari, May 2018.
outside EU??, October 2018.
School Affiliated to LATD and AiML, Bern, August 2018.
Closing conference Amsterdam, January 2019.
Implementation
Steering committee
Formed by all local coordinators.
Luca SpadaAntonio Ledda
Stefano Aguzzoli Jan Kühr
Petr CintulaCarles Noguera
Agata CiabattoniLluis Godo
Ramon JansanaNick Bezhanishvili
Brunella GerlaPilar Dellunde
George MetcalfeClint van Alten
Patricio Diaz VarelaGuram Bezhanishvili
Constantine TsinakisNick Galatos
Kazushige TeruiTomasz Kowalski
Rajeev GoreAlwen FernantoWalter Carnielli
Project Assistant
Serafina Lapenta (better known as Sara)University of Salerno
Website
http://logica.dmi.unisa.it/sysmics (or just google "sysmics")
What's on the website
• "Leaving" and "coming back" forms.
• Info on the Work Packages.
• List of participants.
• Info on the upcoming events.
• Info on financial matters.
• F.A.Q.
Mailing list
• Inform the participants about general news regarding the project.
• Publicise new technical reports and deliverables.
• Inform about the networking events
• Send general updates (Reporting periods, new regulations, etc.)
What to do in case of secondmentThe seconded researcher acts as follows
❖ 9-12 months in advance:
❖ contacts the host.
❖ 3-4 months in advance:
❖ informs the PA of the secondment plan.
❖ 1-3 months in advance:
❖ fills in the "leaving" form on the website.
❖ 0-1 month later:
❖ fills in the "coming back" form on the website.
Typical secondment activities
❖ Seminars.❖ Short courses.❖ Technical reports.❖ Participation in
conferences or workshops.❖ Seminars in the sending
institution.
Dissemination
❖ Most important conferences in the areas.
❖ Publication on well established journals.
❖ Organisation of successful conferences and schools (in partnership with well known events).
❖ No copyright, no patents (as customary in Mathematics).
Open access
❖ Preprints uploaded on ArXiv.org or other green access repository.
❖ Preprint uploaded on personal webpages.
Outreaching activities
❖ Divulgative papers
❖ Open lectures
❖ Press releases
❖ Advertisements on MeetUp groups
Scientific Report
Mathematical Logic❖ Originates from a foundational crisis in Mathematics
at the beginning of last century.
❖ David Hilbert, Kurt Gödel, Alan Turing, Alonzo Church, and many many other.
❖ A mathematical study of the mathematical methods themselves.
❖ Soon understood its power as a formal way for handling information.
Mathematical Logic❖ Enormous growth in just one century:
Computability theory
Model Theory
Set Theory
Proof theory
Non-classical logics
Constructive mathematics
Applications to Mathematics:axiom systems, limits of Mathematics, new methods,…
Applications to Computer Science:Artificial intelligence, automated
reasoning, programme verification,…
Mathematical Logic
❖ Different kinds of information need different logical systems: intuitionistic logic, modal logics, linear logic, relevance logics, many-valued logics.
❖ Compromise between the expressive power and the efficient implementability.
❖ Substructural logics encompass many of the above logics. They can be though of as resource aware logics.
Mathematical Logic❖ Mainly two methods of investigating (substructural)
logics:
1. Proof theoretical: Gentzen style calculus and its generalisation, Tableaux methods, game semantics, etc.
2. Algebraic methods: abstract approaches, completeness w.r.t. specific structures, residuated lattices, etc.
High level of specialisation, limited interaction and poor collaboration between the two areas.
SYNTAXProof theoretic methods
SEMANTICSAlgebraic methods
SYNTAXProof theoretic methods
SEMANTICSAlgebraic methods
Syntax meets Semantics
Work packages
WP1 – Management
WP2 – Scientific events and outreaching activities
WP3 – Schools
Work packages
WP4 – Abstract Algebraic Logic
WP5 – Analytic calculi for
substructural logics
WP6 – Structure Theory of
Residuated Lattices
WP7 – Canonical Formulas and Bounded
proofs
WP8 – Duality theory with algorithmic
applications
WP9 – Residuated lattices with operators and alternative
consequences
Deliverables
❖ Progress report (submitted).
❖ Reports on the networking events (2 already submitted).
❖ One technical reports for each Work Packages (first to be submitted soon).
15 deliverables in total
Switch presentations
Financial Description
Funds Standard division in RISE projects.
Overhead78400
Networking201600
Secondments224000
Funds Division agreed in our project.
Overhead44800
Networking145600
Secondments313600
Reimbursement per month
2000 + 368 + 432
Minimum reimbursement
allowed by the EUFixed additional
amount taken from the funds for networking
Overheads: in some case taken by our
university, otherwise given to the seconded
researcher
Networking and implementation costs
❖ €30.000: Project assistant for three years (generously co-funded by the University of Salerno)
❖ €25.000: Kick-off conference
❖ €14.000: 1st School (4 lecturers + scholarships)
❖ €15.000: 1st Workshop (15 invited speakers)
Deviations (past and future)
Past deviations
The only deviation involved some rescheduling of the secondments. We did not change Work Packages, Deliverables nor Milestone.
The changes were of three kinds (the vast majority sitting in item 1).
1) Changes in the dates or destination of secondments;
2) Change in the affiliation of researchers;
3) Addition of new researchers using secondments freed by other members of the project.
Prospected new partnersNicholas J.J. Smith is head of the Department of Philosophy of the University of Sydney and president of the Australasian Association of Logic.
He obtained his MA and PhD in Princeton University. His research interests are in logic, philosophy of language, probability and decision theory, metaphysics, epistemology, history of analytic philosophy.
He has extensively developed a degree-based approach to vagueness that shows the crucial role that substructural logics play in the formalisation of reasoning in presence of complicated phenomena.
His expertise and cooperation will allow to export his approach to other forms of graded properties by exploiting the mathematical study of substructural logics developed in the project.
Prospected new partnersPeter Jipsen is professor of Mathematics at the School of Computational Sciences, Chapman University. He is a member of the Chapman Centre of Excellence in Computation, Algebra and Topology.
He obtained his PhD at Vanderbilt University under the supervision of Bjarni Jónsson. His research interests are in logic, general algebra, and computational aspects of algebra. He is a leading expert of residuated lattices.
He has extensively developed the theory of residuated frames as an essential tool in the investigation of residuated lattices.
His expertise on algebra in computer science will allow to find further applications of the abstract study of substructural logics developed in the project.
Time for your questions!