[UAI] Post-doc position at TU Wien on (D)QBF (Correction)

There is an opening for a postdoc position ("university assistant") at TU Wien within the Algorithms and Complexity research unit. Candidates should have a research focus on quantified propositional logic (quantified and dependency quantified Boolean formulas), including practical aspects (solve

[UAI] FLoC Workshop on Logic-Based Methods in Machine Learning (LMML 2022) Call for Spotlight Talks

. ORGANIZERS Alexey Ignatiev, Monash University, Melbourne, Australia Stefan Szeider, TU Wien, Vienna, Austria FURTHER INFORMATION https://ac.tuwien.ac.at/LMML2022/ https://www.floc2022.org ___ uai mailing list uai@engr.orst.edu https

[UAI] Fully-funded PhD Position on Innovative Applications of SAT Techniques

attractive full-time salary and traveling allowance. Successful applicants will work under the supervision of Prof. Stefan Szeider on one of the research topics: * Computer Search in Discrete Mathematics * Formal Methods in Computational Social Choice * SAT-Based Methods for Explainable AI

[UAI] 10 PhD Positions in Computer Science at TU Wien, Vienna, Austria

each pursue research on one of the available projects (see http://www.vcla.at/msca/topics/) and be supervised by: * Agata Ciabattoni * Thomas Eiter * Georg Gottlob * Magdalena Ortiz * Stefan Szeider * Georg Weissenbacher * Stefan Woltran * Florian Zuleger After filling 10 positions in the first

[UAI] MFCS 2022 - First Call for Papers

) Paweł Rzążewski (Warsaw University of Technology) Alexandra Silva (Cornell University, co-chair) Friedrich Slivovsky (Vienna University of Technology) Ana Sokolova (University of Salzburg) Stefan Szeider (TU Wien, general chair) ORGANIZING COMMITTEE Jan Dreier (TU Wien) Robert Ganian (TU Wien

[UAI] Fully-funded PhD position on SAT-based Methods for explainable AI, Vienna, Austria

. Interested applicants can find instructions on how to apply at http://www.vcla.at/msca/apply/ The application deadline is December 30, 2021 (strict!) Informal inquiries are welcome and should be directed to Stefan Szeider -- Stefan Szeider, professor https://www.ac.tuwien.ac.at/people/szeider

[UAI] 20 PhD Positions in Computer Science at TU Wien, Vienna, Austria [reminder]

candidates will be supervised by: * Ezio Bartocci * Pavol Cerny * Agata Ciabattoni * Thomas Eiter * Robert Ganian * Georg Gottlob * Laura Kovács * Matteo Maffei * Magdalena Ortiz * Stefan Szeider * Georg Weissenbacher * Stefan Woltran * Florian Zuleger Two calls will accomplish the recruitment of

[UAI] 20 PhD Positions in Computer Science at TU Wien, Vienna, Austria

candidates will be supervised by: * Ezio Bartocci * Pavol Cerny * Agata Ciabattoni * Thomas Eiter * Robert Ganian * Georg Gottlob * Laura Kovács * Matteo Maffei * Magdalena Ortiz * Stefan Szeider * Georg Weissenbacher * Stefan Woltran * Florian Zuleger Two calls will accomplish the recruitment of

[UAI] Two PhD Positions on Innovative Applications of SAT Techniques, Vienna, Austria

, and come with an attractive full-time salary and traveling allowance. Successful applicants will work under the supervision of Prof. Stefan Szeider on one of the research topics: * Computer Search in Discrete Mathematics * Formal Methods in Computational Social Choice * SAT-Based Methods for

[UAI] Pre-Call for 20 PhD Positions in Computer Science at TU Wien, Vienna, Austria

candidates will be supervised by: * Ezio Bartocci * Pavol Cerny * Agata Ciabattoni * Thomas Eiter * Robert Ganian * Laura Kovács * Matteo Maffei * Magdalena Ortiz * Stefan Szeider * Georg Weissenbacher * Stefan Woltran * Florian Zuleger Two calls will accomplish the recruitment of the 20 positions

[UAI] 6-Year PostDoc Position in Algorithms at TU Vienna, Austria

://www.ac.tuwien.ac.at/jobs/#junprof For informal inquiries, please contact Univ.Prof.Dr. Stefan Szeider . Stefan Szeider www.ac.tuwien.ac.at ___ uai mailing list uai@engr.orst.edu https://it.engineering.oregonstate.edu/mailman/listinfo/uai

[UAI] Full Professor in AI Techniques at TU Wien, Austria

TU Wien (Vienna University of Technology) invites applications for a full Professorship in AI Techniques. Potential research topics include: • Heuristic problem solving and search • Question Answering • Algorithmic Decision Making • Probabilistic Models and Reaso

[UAI] PhD position on Speeding up Algorithms with Machine Learning (TU Wien, Vienna, Austria)

There is an opening for a fully funded PhD position on the topic of Speeding up Algorithms with Machine Learning (ML) Methods at TU Wien, Vienna, Austria. The PhD student will join Prof. Stefan Szeider’s research group (https://www.ac.tuwien.ac.at) to develop and implement new methods for lever

[UAI] PhD position on Speeding up Algorithms with Machine Learning (TU Wien, Vienna, Austria)

There is an opening for a fully funded PhD position on the topic of Speeding up Algorithms with Machine Learning (ML) Methods at TU Wien, Vienna, Austria. The PhD student will join Prof. Stefan Szeider’s research group (https://www.ac.tuwien.ac.at) to develop and implement new methods for lever

[UAI] 16 PhD Positions in Austria - Logical Methods in Computer Science

Three Austrian universities TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program on Logical Methods in Computer Science (LogiCS). LogiCS has been established in 2014 and currently includes 44 students. http://logic-cs.at/phd/

[UAI] Call for nominations: VCLA International Student Awards 2018 in Memory of Helmut Veith

The Vienna Center for Logic and Algorithms of TU Wien calls for the nomination of authors of outstanding theses and scientific works in the field of Logic and Computer Science, in the following two categories: * Outstanding Master Thesis Award * Outstanding Undergraduate Thesis Award (Bachelor

[UAI] ALGO 2017 Final Call for Participation (normal registration till August 31)

website https://algo2017.ac.tuwien.ac.at/ The ALGO 2017 organizing committee: Stefan Szeider (chair) Robert Ganian (co-chair) Martin Nöllenburg (co-chair) Doris Dicklberger Wolfgang Dvorak Ronald de Haan Fabian Klute Andreas Müller Nysret Musliu Sebastian Ordyniak Karin Prater Günther Raidl Mihaela

[UAI] ALGO 2017 First Call for Participation

Fabian Klute Andreas Müller Nysret Musliu Martin Nöllenburg (co-chair) Sebastian Ordyniak Günther Raidl Mihaela Rozman Stefan Szeider (chair) Stefan Woltran ___ uai mailing list uai@ENGR.ORST.EDU https://secure.engr.oregonstate.edu/mailman/listinfo/uai

[UAI] LogiCS/RiSE Summer School on Logic, AI and Verification, July 3-5, 2017, TU Wien, Vienna, Austria

Call for participation to the LogiCS/RiSE Summer School on Logic, AI and Verification The doctoral college Logical Methods in Computer Science (LogiCS, http://logic-cs.at/phd/) and the Austrian Society for Rigorous Systems Engineering (RiSE, http://arise.or.at/) will host a summer school on Log

[UAI] PhD position in QBF solving at Vienna University of Technology, Austria

There is an opening for a funded PhD position in Quantified Boolean Formula (QBF) solving at the Vienna University of Technology, Vienna, Austria. The PhD student will join Stefan Szeider's research group to develop and implement new methods for leveraging variable independence in QBF solvers,

[UAI] Funded Doctoral Positions in Austria (LogiCS)

LogiCS - Doctoral College on Logical Methods in Computer Science Funded Doctoral Positions in Computer Science TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program LogiCS. The LogiCS doctoral college focuses on interdisciplina

[UAI] FLoC 2014 Final Call for Workshops (The Sixth Federated Logic Conference, July 2014, Vienna, Austria)

ve). General questions should be sent to floc14...@easychair.org Please consult the FLoC 2014 Workshop Guide http://vsl2014.at/floc-ws/ FLoC 2014 WORKSHOP CHAIR Stefan Szeider http://www.szeider.net Vienna University of Technology ___ uai mailing list uai@E

[UAI] FLoC 2014 Call for Workshops (The Sixth Federated Logic Conference, July 2014, Vienna, Austria)

014 WORKSHOP CHAIR Stefan Szeider http://www.szeider.net Vienna University of Technology ___ uai mailing list uai@ENGR.ORST.EDU https://secure.engr.oregonstate.edu/mailman/listinfo/uai

[UAI] COMMA 2012 - Computational Models of Argument - Final Call for Participation

The conference will be held in the main building of Vienna University of Technology, Karlsplatz 13, 1040 Vienna, Austria. ORGANIZING COMMITTEE * Program Chair: Bart Verheij (University of Groningen, The Netherlands) * Conference Chairs: Stefan Szeider and Stefan Woltran (Vienna University of

[UAI] COMMA 2012 - Computational Models of Argument - Call for Participation

COMMITTEE * Program Chair: Bart Verheij (University of Groningen, The Netherlands) * Conference Chairs: Stefan Szeider and Stefan Woltran (Vienna University of Technology, Austria) * Demonstrations Coordinator: Adam Wyner (University of Liverpool, United Kingdom) CONTACT comm

[UAI] Postdoc Positions in in Probabilistic Reasoning at the Vienna University of Technology, Austria

Postdoc Position in Probabilistic Reasoning Vienna University of Technology, Austria Postdoc positions are available at the Institute of Information Systems, Vienna University of Technology, Austria. The positions are supported by the European Research Council (ERC) Starting Grant "The parameter

[UAI] SAT 2010 - Call for Participation

- SAT 2010 - 13th International Conference on Theory and Applications of Satisfiability Testing Edinburgh, UK, July 11-14, 2010 http://ie.technion.ac.il/SAT10/ as part of FLoC 2010 -

[UAI] SAT 2010 Final Call for Papers (Theory and Applications of Satisfiability Testing)

| -- CONFERENCE CHAIRS Ofer Strichman, Technion, Israel Stefan Szeider, TU Vienna, Austria INVITED SPEAKERS Yehuda Naveh, IBM Haifa Research Lab, Israel Ramamohan Paturi, University of California, USA IMPORTANT DATES Abstract Submission

[UAI] SAT 2010 Second Call for Papers (Theory and Applications of Satisfiability Testing)

| -- CONFERENCE CHAIRS Ofer Strichman, Technion, Israel Stefan Szeider, TU Vienna, Austria INVITED SPEAKERS Yehuda Naveh, IBM Haifa Research Lab, Israel Ramamohan Paturi, University of California, USA IMPORTANT DATES Abstract Submission

[UAI] Two Postdoc Positions at TU Vienna

n. Further details on the requirements and information on how to apply can be found at http://www.kr.tuwien.ac.at/drm/jobs Stefan Szeider http://www.szeider.net ___ uai mailing list uai@ENGR.ORST.EDU https://secure.engr.oregonstate.edu/mailman/listinfo/uai