[TYPES/announce] ISR 2024: first call for participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 14th International School on Rewriting (ISR 2024) August 25 - September 1, Obergurgl, Austria https://urldefense.com/v3/__http://cl-informatik.uibk.ac.at/isr24/__;!!IBzWLUs!RB2wCNzOUOOp_kS2DnxJjoukklPbrgCI8fUfN-5okaeM7fJ0GRfBskqIV8nicKwF6FERaAAPDfW0BBNDq9b8dYYpypPPpnEPOnKgxy6sPqSI$ * early registration deadline: May 1 ISR 2024 is aimed at master and PhD students, researchers and practitioners interested in the study of rewriting concepts and their applications. It offers three parallel tracks, taught by well-known experts: - Track A: comprehensive introduction to first-order term rewriting lecturer: Aart Middeldorp - Track B: comprehensive introduction to type theory and lambda calculus lecturers: Herman Geuvers and Niels van der Weide - Track C: advanced courses on - Interoperability of Proof Systems using Lambdapi lecturer: Frederic Blanqui - Randomized Programming and Rewriting lecturer: Ugo Dal Lago - Tools in Rewriting lecturer: Nao Hirokawa - Termination and Complexity in Higher-Order Term Rewriting lecturer: Cynthia Kop - SAT/SMT Solving and Applications in Rewriting lecturer: Sarah Winkler Each track consists of 20 slots of 90 minutes. Further details (including registration information) can be found on the website of ISR 2024: https://urldefense.com/v3/__http://cl-informatik.uibk.ac.at/isr24/__;!!IBzWLUs!RB2wCNzOUOOp_kS2DnxJjoukklPbrgCI8fUfN-5okaeM7fJ0GRfBskqIV8nicKwF6FERaAAPDfW0BBNDq9b8dYYpypPPpnEPOnKgxy6sPqSI$ ISR 2024 is organized by Aart Middeldorp, Georg Moser and Rene Thiemann.
[TYPES/announce] postdoc position (6 years) in CL group in Innsbruck
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 6 year postdoc position in computational logic == The University of Innsbruck invites applications for a 6 year postdoctoral position in the Computational Logic research group. Candidates must hold a PhD degree in computer science. A strong background in computational logic is required and knowledge of term rewriting is a welcome additional qualification. The ideal candidate enjoys working with students at all levels. Candidates are expected to conduct research leading to a habilitation and contribute to teaching and administration. Knowledge of German is not essential. The position is a full-time "B1/3 position" with teaching obligations of 4 hours per semester. The annual gross salary is approximately EUR 55,000. The official job advert (reference MIP-11910) appeared at https://lfuonline.uibk.ac.at/public/karriereportal.details?asg_id_in=11910 Applications (including CV, publication list, and two letters of recommendation) must be submitted electronically at https://lfuonline.uibk.ac.at/public/karriereportal.bewerben?page=w_id=11910 no later than 28 May 2021. The starting date for the position is 1 October 2021. Informal inquiries may be addressed to aart.middeldorp at uibk.ac.at The city of Innsbruck, which hosted the Olympic Winter Games in 1964 and 1976, is superbly located in the beautiful surroundings of the Tyrolean Alps. The combination of the Alpine environment and urban life in this historic town provides a high quality of living. Further information is available from the following links: Computational Logic: http://cl-informatik.uibk.ac.at/ Department of Computer Science: http://informatik.uibk.ac.at/ University of Innsbruck: http://www.uibk.ac.at/ City of Innsbruck: http://www.innsbruck.at/
[TYPES/announce] 4 year PhD position in Innsbruck (application deadline: 27 May 2020)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The University of Innsbruck invites applications for a 4 year PhD position in the Computational Logic research group. Candidates must hold a master degree in computer science or mathematics. Knowledge of term rewriting and automated deduction is desired. Candidates close to obtaining a master degree are also invited to apply. Knowledge of German is not required. The position is an official university position with 15 September 2020 as starting date. The main task will be to pursue research leading to a dissertation. The position comes with teaching obligations of 2 hours per semester. The minimum gross salary (stipulated by collective agreement) for this position amounts to € 1.465 per month (14 times). The official job advert (code MIP-11245) appeared at http://orawww.uibk.ac.at/public/karriereportal.details?asg_id_in=11245 Applications (including CV, list of presentations, motivation letter, possible research topics) must be submitted electronically at https://orawww.uibk.ac.at/public/karriereportal.bewerben?page=w_id=11245 We look forward to receiving your online application (code MIP 11245) until May 27, 2020 Informal inquiries may be addressed to aart.middeldorp at uibk.ac.at The city of Innsbruck, which hosted the Olympic Winter Games in 1964 and 1976, is superbly located in the beautiful surroundings of the Tyrolean Alps. The combination of the Alpine environment and urban life in this historic town provides a high quality of living. Further information is available from the following links: Computational Logic: http://cl-informatik.uibk.ac.at/ University of Innsbruck: http://www.uibk.ac.at/ City of Innsbruck: http://www.innsbruck.at/
[TYPES/announce] 3 year postdoc position in Innsbruck (application deadline: 1 August 2017)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Computational Logic research group is looking for a postdoctoral researcher in connection with the FWF (Austrian Science Fund) project "FORTissimo: Automating the First-Order Theory of Rewriting". The project runs for 3 years starting from 1 September 2017. Salary is paid according to the FWF funding scheme for postdocs (40 hours) and amounts to approximately EUR 50K per year (gross). Candidates must hold a PhD degree in computer science or mathematics. Knowledge of automata theory and rewriting is helpful, experience with and a liking of working with proof assistants (preferably Isabelle/HOL) is desirable. Candidates close to obtaining a PhD degree are also invited to apply. Knowledge of German is not required. The main task of a successful applicant will be to collaborate with other project members in order to extend the Isabelle Formalization of Rewriting with the decision procedure for the first-order theory of rewriting for left-linear and right-ground rewrite systems. Applications (including CV and names and contact details of two references) must be send by email to Aart Middeldorp no later than 1 August 2017. Informal inquiries are welcome. The city of Innsbruck, which hosted the Olympic Winter Games in 1964, 1976 and 2012 (YOG), is superbly located in the beautiful surroundings of the Tyrolean Alps. The combination of the Alpine environment and urban life in this historic town provides a high quality of living. The Computational Logic in Innsbruck is one of the leading research groups in the area of rewriting and formalization in the world. Further information is available from the following links: FORTissimo: http://cl-informatik.uibk.ac.at/research/projects/fortissimo/ Computational Logic: http://cl-informatik.uibk.ac.at/ University of Innsbruck: http://www.uibk.ac.at/ City of Innsbruck: http://www.innsbruck.at/
[TYPES/announce] postdoc position (5 years) in Innsbruck
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 5 year postdoc position in computational logic == The University of Innsbruck invites applications for a 5 year postdoctoral position in the Computational Logic research group. Candidates must hold a PhD degree in computer science. A strong background in computational logic (in particular automated and interactive theorem proving, SMT solving, term rewriting, type theory) is desired. The ideal candidate enjoys working with students at all levels. Candidates are expected to conduct research leading to a habilitation and contribute to teaching and administration. Knowledge of German is not essential. The position is a full-time "B1/3 position" with teaching obligations of 4 hours per semester. The annual gross salary is approximately EUR 50,000. The official job advert (reference MIP-9118) appeared at http://orawww.uibk.ac.at/public/karriereportal.details?asg_id_in=9118 Applications (including CV, publication list, and two letters of recommendation) must be submitted electronically at https://orawww.uibk.ac.at/public/karriereportal.bewerben?page=w_id=9118 no later than 2 February 2017. The starting date for the position is 1 March 2017. Informal inquiries may be addressed to aart.middeldorp at uibk.ac.at The city of Innsbruck, which hosted the Olympic Winter Games in 1964 and 1976, is superbly located in the beautiful surroundings of the Tyrolean Alps. The combination of the Alpine environment and urban life in this historic town provides a high quality of living. Further information is available from the following links: Computational Logic: http://cl-informatik.uibk.ac.at/ Department of Computer Science: http://informatik.uibk.ac.at/ University of Innsbruck: http://www.uibk.ac.at/ City of Innsbruck: http://www.innsbruck.at/
[TYPES/announce] postdoc position (6 years) in Innsbruck
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 6 year postdoc position in computational logic == The University of Innsbruck invites applications for a 6 year postdoctoral position in the Computational Logic research group. Candidates must hold a PhD degree in computer science. A strong background in computational logic (in particular term rewriting) is desired. The ideal candidate enjoys working with students at all levels. Candidates are expected to conduct research leading to a habilitation and contribute to teaching and administration. Knowledge of German is not essential. The position is a full-time B1/3 position with teaching obligations of 4 hours per semester. The annual gross salary is approximately EUR 50,000. The official job advert (reference MIP-8628) appeared at http://orawww.uibk.ac.at/public/karriereportal.details?asg_id_in=8268 Applications (including CV, publication list, and two letters of recommendation) must be submitted electronically at https://orawww.uibk.ac.at/public/karriereportal.bewerben?page=wa_id=8268 no later than 30 June 2015. The starting date for the position is 1 October 2015. Informal inquiries may be addressed to aart.middeldorp at uibk.ac.at The city of Innsbruck, which hosted the Olympic Winter Games in 1964 and 1976, is superbly located in the beautiful surroundings of the Tyrolean Alps. The combination of the Alpine environment and urban life in this historic town provides a high quality of living. Further information is available from the following links: Computational Logic: http://cl-informatik.uibk.ac.at/ Institute of Computer Science: http://informatik.uibk.ac.at/ University of Innsbruck: http://www.uibk.ac.at/ City of Innsbruck: http://www.innsbruck.at/
[TYPES/announce] postdoctoral researcher position in Innsbruck
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The University of Innsbruck invites applications for a 6 year position as postdoctoral researcher at the Computational Logic research group. Candidates must hold a PhD degree in computer science. A strong background in computational logic (in particular SMT, automated and interactive theorem proving) is desired. The ideal candidate complements existing strengths and enjoys working with students at all levels. Candidates are expected to conduct research leading to a habilitation and contribute to teaching and administration. Knowledge of German is not essential. The position is a full-time B1/3 position with teaching obligations of 4 hours per semester. The annual gross salary is approximately EUR 46,000. The official job advert appeared in the Mitteilungsblatt of the University on 3 August 2011 (code MIP-6659) http://orawww.uibk.ac.at/public_prod/owa/karriereportal.home Applications (including CV, publication list, and two references) may be mailed to the address stated there or, by email, to aart.middeldorp at uibk.ac.at no later than 24 August 2011. Informal inquiries are also welcome at the same email address. The preferred starting date is 2 November 2011. The city of Innsbruck, which hosted the Olympic Winter Games in 1964 and 1976, is superbly located in the beautiful surroundings of the Tyrolean Alps. The combination of the Alpine environment and urban life in this historic town provides a high quality of living. The University of Innsbruck has a long tradition dating back to the 16th century and offers a wide spectrum of research and teaching activities with interesting opportunities for interdisciplinary collaboration. Further information is available from the following links: Computational Logic: http://cl-informatik.uibk.ac.at/ Institute of Computer Science: http://informatik.uibk.ac.at/ University of Innsbruck: http://www.uibk.ac.at/ City of Innsbruck: http://www.innsbruck.at/ --- Univ.-Prof. Dr. Aart Middeldorp Institute of Computer Science, University of Innsbruck Technikerstr. 21a, 6020 Innsbruck, Austria phone: +43 512 507 6430 fax: +43 512 507 9887 attachment: Aart_Middeldorp.vcf
[TYPES/announce] WRS 2008 - Call for Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *CALL FOR PARTICIPATION* * * * WRS 2008 * * * * Reduction Strategies in Rewriting and Programming * * 8th International Workshop * * * * Castle of Hagenberg, Austria * * July 14, 2008 * * * *http://cl-informatik.uibk.ac.at/events/wrs2008/ * * * PROGRAM http://cl-informatik.uibk.ac.at/events/wrs2008/program/ REGISTRATION http://cl-informatik.uibk.ac.at/events/wrs2008/registration/ LOCATION, TRAVEL, ACCOMMODATION: http://www.risc.uni-linz.ac.at/about/conferences/rta2008/location.html EARLY REGISTRATION DEADLINE: June 30, 2008
[TYPES/announce] WRS 2008 - 2nd CFP
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 2nd Call for Papers ** W R S 2008 ** http://cl-informatik.uibk.ac.at/events/wrs08/ 8th International Workshop on Reduction Strategies in Rewriting and Programming July 14, 2008, Castle of Hagenberg, Austria Important Dates --- Title abstract: April 21, 2008 Paper submission: April 28, 2008 Notification: May 26, 2008 Final version: June 16, 2008 Background -- The workshop promotes and stimulates research and collaboration in the area of strategies. It encourages the presentation of new directions, developments, and results as well as surveys and tutorials on existing knowledge in this area. WRS 2008 collocates with RTA 2008, the 19th International Conference on Rewriting Techniques and Applications. For more information, consult the WRS 2008 website. Topics -- Topics of interest include, but are not restricted to: * foundations for the definition and semantic description of reduction strategies * strategies in rewriting, lambda calculi, narrowing, constraint solving * strategies in programming languages * strategies and tactics in theorem and termination proving * properties of strategies and corresponding computations * interrelations, combinations and applications of computation under different evaluation strategies * analysis and optimization techniques for reduction strategies * rewrite systems, tools and implementations with flexible strategies * strategies suitable to software engineering problems and applications * tutorials and systems related to strategies Program Committee - * Elvira Albert (Madrid) * Gabrielle Keller (Sydney) * Helene Kirchner(Nancy) * Temur Kutsia (Linz) * Ian Mackie (Paris) * Aart Middeldorp(Innsbruck) chair * Pierre-Etienne Moreau (Nancy) * Michael Norrish(Canberra) * Femke van Raamsdonk(Amsterdam) * Kristoffer Rose(Yorktown Heights) * Amr Sabry (Bloomington) * Masahiko Sakai (Nagoya) Submission -- There are two categories of submissions: (A) Submissions to the formal proceedings These submissions must describe unpublished work. Accepted submissions of this category will be published both in the informal and in the formal proceedings. The formal proceedings will be published after the workshop by Elsevier as a volume of ENTCS. (B) Submissions to the informal proceedings These submissions may also describe work that has been or will be submitted or published elsewhere or work in progress. Accepted submissions of this category will be published in the informal proceedings, which will be distributed during the workshop. The page limit for papers in both categories is 15 pages in ENTCS style. We also explicitly solicit survey and tutorial submissions (of either category) which may be longer. The necessary style files and instructions can be found at http://www.entcs.org/prelim.html. The submission page for WRS 2008 is http://www.easychair.org/conferences/?conf=WRS2008