(Bundesnotarkammer). The project is aimed at providing
automated support for notarial procedures using methods from formal
logic, machine learning, and computational linguistics.
The position at the Theoretical Computer Science lab, supervised by Lutz
Schröder, is concerned with formal logical modelling
(University of Padua)
Agata Renans (Ruhr-Universität Bochum)
Jacopo Romoli (Heinrich Heine University Düsseldorf)
AREA CHAIRS LOGIC AND COMPUTATION (LOCO)
Natasha Alechina (Utrecht University)
Alessandra Palmigiano (Vrije Universiteit Amsterdam)
Lutz Straßburger (Inria Saclay & É
sandra Palmigiano (Vrije Universiteit Amsterdam)
Lutz Straßburger (Inria Saclay & École Polytechnique)
ESSLLI Steering Committee
Darja Fiser (University of Ljubljana) (chair)
Phokion Kolaitis (University of California, Santa Cruz) (vice-chair)
Roman Kuznets (TU Wien)
Petya Osenova (Bulgari
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
PhD Fellowship - Labex Digicosme - Paris-Saclay (LIX, LMF)
Urgent: deadline for application = June 10th 2021
We are looking for a candidate for the PhD proposal
"REASONING ABOUT
/ausgeschriebene-professuren/#collapse_3
or in English:
https://www.fau.eu/university/careers-at-fau/professorships/#collapse_3
Best,
Lutz
smime.p7s
Description: S/MIME Cryptographic Signature
Erlangen-Nürnberg,
located at the Chair of Theoretical Computer Science. The position is
within the new DFG project "Coalgebraic Model Checking", with Stefan
Milius and Lutz Schröder as PIs and with Daniel Hausmann collaborating
on a second project position. The aim of the project is
<https://www.lix.polytechnique.fr/~lutz/orgs/TYDI2018.html>
Aim and Scope:
--
Deep inference is a paradigm for designing deductive proof
systems. The inference rules in such systems can perform arbitrary
rewriting inside formulas. This is very different from what one
nical part of the
project proposal can be made available on request.
The project is supervised by Sergey Goncharov and Lutz Schröder. The
positions are in the TV-L E13 or E14 pay scale depending on
qualification of the applicant; the project duration is three years.
Please enquire or apply
of a postdoc position on structural and
computational proof theory. The position is financed by
the ANR within the project FISP.
<https://www.lix.polytechnique.fr/~lutz/orgs/FISP.html>
The postdoc will be hosted by INRIA and the Laboratoire d'Informatique
(LIX) at the Ecole Polytechnique, one of the
vice, please contact us as
soon as possible at <wenps2...@easychair.org>.
ORGANISING AND PROGRAMME COMMITTEE
Paola Bruscoli (Bath)
Anupam Das (ENS Lyon)
Willem Heijltjes (Bath)
Lutz Strassburger (Inria)
FUNDING
EPSRC Project EP/K018868/1 "Efficient and Natural Proof Systems"
) - chair
James Laird (University of Bath)
Chuck Liang (Hofstra Unviersity)
Michel Parigot (CNRS - Université Paris 7)
Elaine Pimentel (UFMG)
Revantha Ramanayake (Vienna University of Technology)
Luca Roversi (University Torino)
Lutz Strassburger (Inria) - chair
Christine
) - chair
James Laird (University of Bath)
Chuck Liang (Hofstra Unviersity)
Michel Parigot (CNRS - Université Paris 7)
Elaine Pimentel (UFMG)
Revantha Ramanayake (Vienna University of Technology)
Luca Roversi (University Torino)
Lutz Strassburger (Inria) - chair
) - chair
James Laird (University of Bath)
Chuck Liang (Hofstra Unviersity)
Michel Parigot (CNRS - Université Paris 7)
Elaine Pimentel (UFMG)
Revantha Ramanayake (Vienna University of Technology)
Luca Roversi (University Torino)
Lutz Strassburger (Inria) - chair
Christine
(University of Bath)
Chuck Liang (Hofstra Unviersity)
Michel Parigot (CNRS - Université Paris 7)
Elaine Pimentel (UFMG)
Revantha Ramanayake (Vienna University of Technology)
Luca Roversi (University Torino)
Lutz Strassburger (Inria) - chair
Christine Tasson (Laboratoire PPS)
Alwen
of a postdoc position on structural and
computational proof theory. The position is financed by
the ANR within the project STRUCTURAL.
http://www.lix.polytechnique.fr/~lutz/orgs/structural.html
The postdoc will be hosted by INRIA and the Laboratoire d'Informatique
(LIX) at the Ecole Polytechnique, one
research on one of the topics
currently studied in the Parsifal team, in particular within the projects
- STRUCTURAL (http://www.lix.polytechnique.fr/~lutz/orgs/structural.html),
- ProofCert (http://team.inria.fr/parsifal/proofcert/), and
- RAPT (http://www.lix.polytechnique.fr/~kaustuv/rapt/)
Starting
to
lutz.schroe...@cs.fau.de. There is no particular application deadline;
positions will be filled when suitable candidates are found.
Best regards,
Lutz
--
--
Prof. Dr. Lutz Schröder
Chair of Theoretical Computer Science
Department of Computer Science
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[Thanks for circulating the call for papers below, which may be of
interest to readers of the types list through the relationship of types
to formal methods. -- Lutz
position on structural and
computational proof theory. The position is financed by
the ANR within the project STRUCTURAL
http://www.lix.polytechnique.fr/~lutz/orgs/structural.html
The postdoc will be hosted by the Laboratoire d'Informatique (LIX) at
the Ecole Polytechnique, one of the Grand Ecoles
* Dominique Mery, LORIA and Universite Henri Poincare Nancy 1,
France
* Jun Pang, University of Luxembourg, Luxembourg
* David Robertson, University of Edinburgh, UK
* Lutz Schröder, DFKI Bremen and University of Bremen, Germany
* Jens H. Weber, University of Victoria
University of Science and
Technology, Taiwan.
ORGANIZING COMMITTEE
* Alexander García Castro, University of Bremen, Germany/University of
Arkansas, USA. Email: alexgarc...@gmail.com
* Lutz Schröder, German Research Center for Artificial Intelligence
(DFKI). Email: lutz.schroe...@dfki.de
* Carlos
the lab is available at
http://www.dfki.de/web/research/sks
The DFKI is an equal opportunities employer. Women are especially
encouraged to apply. Handicapped applicants with equal qualification
will be given preferential treatment.
Applications should be sent to PD Dr. Lutz Schröder, DFKI,
Enrique
Further details can be found on the webpage
http://www.lix.polytechnique.fr/~lutz/orgs/SD09.html
Kind regards,
Lutz Strassburger
)
http://www.lix.polytechnique.fr/~lutz/orgs/SD09.html
July 20 - 24, 2009
organized as part of
the European Summer School on
Logic, Language and Information
ESSLLI 2009 http://esslli2009.labri.fr
)
http://www.lix.polytechnique.fr/~lutz/orgs/SD09.html
July 20 - 24, 2009
organized as part of
the European Summer School on
Logic, Language and Information
ESSLLI 2009 http://esslli2009
)
http://www.lix.polytechnique.fr/~lutz/orgs/SD09.html
July 20 - 24, 2009
organized as part of
the European Summer School on
Logic, Language and Information
ESSLLI 2009 http://esslli2009
26 matches
Mail list logo