<div dir="ltr"><div class="gmail_quote gmail_quote_container"><div dir="ltr"><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Logica Universalis Webinar 2025 - March 12, 2025 - 4pm CET</div><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr" class="gmail_attr"><a href="https://link.springer.com/journal/11787/updates/27731708" target="_blank">https://link.springer.com/journal/11787/updates/27731708</a></div><br><div dir="ltr"><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Speaker: Răzvan Diaconescu </div><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr">Simion Stoilow Institute of Mathematics of the Romanian Academy</div><div dir="ltr"><div>Presenting the 2nd edition of the book  "Institution-independent Model Theory"</div><div>A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provides a precise general mathematical formulation for the intuitive concept of a logical system. Especially in computer science, where the development of a huge number of specification logics is observable, institution-independent model theory simplifies and sometimes even enables a concise model-theoretic analysis of the system. Besides incorporating important methods and concepts from conventional model theory, the proposed axiomatic top-down methodology allows for a structurally clean understanding of model-theoretic phenomena. Consequently, results from conventional concrete model theory can be understood more easily, and sometimes even new results are obtained. Moreover, all this is also applied to non-classical model theories.<br>This second edition introduces some novelties in the presentation style which aim to enhance the readability of the material and the proofs. Additional chapters have also been added.</div><div><a href="https://www.springer.com/series/7391" target="_blank">https://www.springer.com/series/7391</a></div><div><br></div><div>Associate Organization:  Hellenic-Romanian Logic and Computation Seminar </div><div><a href="http://imar.ro/~diacon/HRLogComp/HRLogicComputSeminar.html" target="_blank">http://imar.ro/~diacon/HRLogComp/HRLogicComputSeminar.html</a></div><div>presented by its organizer Petros Stefanas </div><div>National Technical University of Athens, Greece</div><div><br></div><div>Chair: Francesco Paoli</div><div>Editorial Board SUL (Studies in Universal Logic)</div><div><br></div><div>Everybody is welcome to join, register here:</div><div><a href="https://cassyni.com/events/MbFm8MerHKAn5dd8XfRTTK" target="_blank">https://cassyni.com/events/MbFm8MerHKAn5dd8XfRTTK</a><br><div><br></div><div>Jean-Yves Beziau </div><div>Editor-in-Chief Logica Universalis </div><div>Organizer of the Logica Universalis Webinar - LUW</div></div><div><br></div><div><br></div></div><div dir="ltr"><div><br></div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>