1
0
0
CSL 2017: Computer Science Logic, Aug 2017, Stockholm, Sweden
resources.illc.uva.nl
Viorica Sofronie-Stokkermans (University of Koblenz-Landau), ? Thomas Streicher (University of Darmstadt), ? Jean-Marc Talbot (University of Aix-Marseille), ?
Detail - FG DedSys - Gesellschaft für Informatik e.V.
fg-dedsys.gi.de
Viorica Sofronie-Stokkermans; Alexander Steen (co-chair) Uwe Waldmann; Organizers. Alexander Steen (University of Luxembourg) Claudia Schon (University Koblenz-Landau) Programm Detailed Program (tentative) Venue: University of Kassel (, Kassel, Germany) Room Co-located with KI 2019, see also KI program. Approx minutes walking distance from the KI main ...
LinkedIn: Viorica Sofronie-Stokkermans - Professor - University LinkedIn
Zobrazte si profil uživatele Viorica Sofronie-Stokkermans na LinkedIn, největší profesní komunitě na světě. Viorica má na svém profilu 4 pracovní příležitosti.
Swen Jacobs
www.react.uni-saarland.de
PhD Thesis, Saarland University, Thesis advisor: Viorica Sofronie-Stokkermans; Incremental Instance Generation in Local Reasoning in CAV 2009, LNCS 5643, pages , On Local Reasoning in Verification (with C. Ihlemann and V. Sofronie-Stokkermans) in TACAS 2008, LNCS 4963, pages ,
Prof. Dr. Viorica Sofronie-Stokkermans — University of ...
www.uni-koblenz-landau.de
Lehre. Winter Semester : Forschungsemester. Vertiefung Theoretische Informatik: findet im Sommersemester statt; Decision Procedures for Verification: wird im Wintersemester von Herrn Dr. Horbach gehalten; Formal …
Team — University of Koblenz · Landau
www.uni-koblenz-landau.de
Prof. Dr. Viorica Sofronie-Stokkermans Head of the Group. B 225 + sofronie at uni-koblenz.de. Secretary. Beate Körner Secretary. Office is closed on Wednesday. B 226 + kisekr at uni-koblenz.de. Research Assistants. Dennis Peuter Research Assistant ...
Viorica Sofronie-Stokkermans | University of Koblenz and Landau ...
typeset.io
› authors › vioric...
Automated Reasoning with Analytic Tableaux and Related Methods: 22nd...
books.google.lu
... Grenoble, France Renate Schmidt University of Manchester, UK Alex Simpson University of Edinburgh, Scotland, UK Viorica Sofronie-Stokkermans University ...
Frontiers of Combining Systems: 8th International Symposium, ...books.google.com › books
books.google.com.ua
Proceedings Cesare Tinelli, Viorica Sofronie-Stokkermans. Series Editors Randy Goebel, University of Alberta, Edmonton, Canada Jörg Siekmann, University of ...
27th International Workshop on Description Logics
ceur-ws.org
Viorica Sofronie-Stokkermans Max-Planck Institute, Germany Giorgos Stamou National Technical University of Athens, Greece Giorgos Stoilos National Technical University of Athens, Greece Umberto Straccia ISTI-CNR, Italy David Toman University of Waterloo, Canada Dmitry Tsarkov University of Manchester, UK Anni-Yasmin Turhan TU Dresden, Germany
Call for Papers - ijcar 2018
ijcar2018.org
... Hokkaido University Uli Sattler, The University of Manchester Renate A. Schmidt, The University of Manchester Stephan Schulz (Chair), DHBW Stuttgart Roberto Sebastiani (Chair), DISI University of Trento Viorica Sofronie-Stokkermans, University Koblenz-Landau Thomas Sturm, CNRS Geoff Sutcliffe, University of Miami ...
text file - PAS 2015
pas2015.cc4cm.org
... Austria Viorica Sofronie-Stokkermans, University of Koblenz, Germany Kaile Su, Griffith University, Bribane, Australia Wolfgang Windsteiger, Johannes Kepler ...
Open Positions — University of Koblenz · Landau
www.uni-koblenz-landau.de
``Formal methods and theoretical computer science'' (Prof. Dr. Viorica Sofronie-Stokkermans) and ``Computer Networks'' (Prof. Dr. Hannes Frey), . The position is available for 2 years. A further extension is planned. To receive full consideration, applications should be received by January 31, Applications sent after this date will be ...
Publications — University of Koblenz · Landau
www.uni-koblenz-landau.de
Viorica Sofronie-Stokkermans: Parametric Systems: Verification and Synthesis, Fundamenta Informaticae, To appear. Conference papers Dennis Peuter, Viorica Sofronie-Stokkermans: On Invariant Synthesis for Parametric Systems. Proc. CADE 2019, LNCS …
Schloss Dagstuhl : Seminar Homepage
www.dagstuhl.de
Viorica Sofronie-Stokkermans (Universität Koblenz-Landau, DE) Cesare Tinelli (University of Iowa – Iowa City, US) Auskunft zu diesem Dagstuhl-Seminar erteilt. Dagstuhl Service Team. Dokumente. Dagstuhl Report, Volume 7, Issue 9 Motivationstext Teilnehmerliste Gemeinsame Dokumente
Invited Speakers - PAS 2014
pas2014.cc4cm.org
Hoon Hong (North Carolina State University, USA) Michaël Rusinowitch (LORIA-INRIA-Lorraine, France) Viorica Sofronie-Stokkermans (University Koblenz-Landau, ... › invited
Logic and Programming | SYNASC 2017
synasc.ro
... Uppsala University, Sweden; Martina Seidl, Johannes Kepler University Linz, Austria; Viorica Sofronie-Stokkermans, University Koblenz-Landau, Germany ... › tracks › logic-an...
Viorica Sofronie-Stokkermans - Google Scholar Citations
scholar.google.fr
フォロー. Viorica Sofronie-Stokkermans. Professor, University Koblenz-Landau. 確認したメール アドレス: uni-koblenz.de - ホームページ · LogicAutomated ...
Viorica Sofronie-Stokkermans - Cites de Google Acadèmic
scholar.google.cat
Viorica Sofronie-Stokkermans. Professor, University Koblenz-Landau and Senior Researcher, Max-Planck-Institut für Informatik, Saarbrücken. Logic, Automated ...
Viorica Sofronie-Stokkermans - Citações do Google Académico
scholar.google.com.br
Professor, University Koblenz-Landau and Senior Researcher, Max-Planck-Institut für Informatik, Saarbrücken. Logic, Automated reasoning, SMT, Verification.
Prof. Dr. Viorica Sofronie-Stokkermans â University of Koblenz ·...
pingpdf.com
Logik für Informatiker · Grundlagen der Theoretischen Informatik · Vertiefung Theoretische Informatik. Winter Semester ...
Viorica Sofronie-Stokkermans - EasyChaireasychair.org › CADE-27 › person36
easychair.org
Organization: University Koblenz-Landau. Web page: http://userpages.uni-koblenz.de/~sofronie/. Pages in this Program ...
IJCAR 2018
www.ijcar2018.org
The 9th International Joint Conference on Automated Reasoning will take place July , 2018, as ... and invited talks. IJCAR is part of the Federated Logic Conference and is the merger of leading events in automated reasoning: ... Viorica Sofronie-Stokkermans: University Koblenz-Landau
VTSA 2015: Summer School on Verification Technology ...
resources.mpi-inf.mpg.de
For comments or questions send an email to Viorica Sofronie-Stokkermans. The summer school is organized by the University of Koblenz-Landau, Montefiore Institute, University of Luxembourg, INRIA Nancy, and the Max Planck Institute for Informatics Saarbrücken. Important Dates. Application Deadline: : Notification until: : Summer School: (Format is ...
prooftheory - [PT] IJCAR Call for Papers - arc - University of ...lists.bath.ac.uk › arc › prooftheory › msg00007
lists.bath.ac.uk
From: Viorica Sofronie-Stokkermans ; To: ; Cc: Viorica Sofronie-Stokkermans
[PT] Research assistant position, University Koblenz-Landau - arclists.bath.ac.uk › arc › prooftheory › msg00004
lists.bath.ac.uk
From: Prof. Dr. Viorica Sofronie-Stokkermans ; To: ; Cc: Prof. Dr. Viorica Sofronie-Stokkermans ...
CADE-26: Organization
www.cse.chalmers.se
Stephan Schulz, DHBW Stuttgart Roberto Sebastiani, University of Trento Viorica Sofronie-Stokkermans, University Koblenz-Landau Geoff Sutcliffe, University of ...
Call for Papers | FM 2015
fm2015.ifi.uio.no
... Università della Svizzera Italiana Viorica Sofronie-Stokkermans, Max-Planck Institute for Informatics Jun Sun, Singapore University of Technology and Design
Committees – IJCAR 2020ijcar2020.org › committees
ijcar2020.org
Program Committee. CO-CHAIRS. Nicolas Peltier (CNRS, LIG, Univ. Grenoble Alpes, Grenoble, France); Viorica Sofronie-Stokkermans (University ...
Computer Science Logic 2017, August | SMC
www.math-stockholm.se
Viorica Sofronie-Stokkermans (University of Koblenz-Landau), Thomas Streicher (University of Darmstadt), Jean-Marc Talbot (University of ...
Inductive reasoning for shape invariants — Heriot-Watt Research...
researchportal.hw.ac.uk
Editors, Nicolas Peltier, Viorica Sofronie-Stokkermans. Place of Publication, Oslo. Publisher, University of Oslo. Pages, Number of pages, 15. ISBN (Print) ...
ALCOP 2011
mathsites.unibe.ch
Lutz Schröder, Bremen University Alex Simpson, University of Edinburgh Viorica Sofronie-Stokkermans, MPI Saarbrücken Thomas Studer, University of Bern ...
Program Committee - FroCoS 2019
www.frocos2019.org
... Philipp Rümmer, Uppsala University, Sweden; Renate Schmidt, University of Manchester, UK; Viorica Sofronie-Stokkermans, University Koblenz-Landau, ...
IJCAR 2014
cs.nyu.edu
Viorica Sofronie-Stokkermans (University Koblenz-Landau, Germany) Geoff Sutcliffe (University of Miami, USA) Cesare Tinelli (The University of Iowa, USA) Uwe Waldmann (MPI-INF, Saarbrücken, Germany) Christoph Weidenbach (MPI-INF, Saarbrücken, Germany) Jian Zhang (Chinese Academy of Sciences, P.R. China).
Program Committee - tableaux 2019
www.tableaux2019.org
... Viorica Sofronie-Stokkermans, Universität Koblenz-Landau, Germany; Alwen Tiu, Australian National University, Australia; Sophie Tourret, Max-Planck-Institut ...
Alle Infos zum Namen "Viorica Sofronie-Stokkermans"
Verwandte Suchanfragen zu Viorica Sofronie-Stokkermans
Nicolas Peltier Christoph Weidenbach Heinrich Wansing | Matthias Thimm Franz Baader René Walendy | Ursula Zeeb |
Personen Vorname "Viorica" (99) Name "Sofronie-Stokkermans" (1) |
sortiert nach Relevanz / Datum