mid-term meeting (university of...

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!