[TYPES/announce] DEADLINE EXTENSION — Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2023
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The extended deadline for nominations is the *30th of May 2023*. ——-- Since 2002, the Association for Logic, Language, and Information (FoLLI) has been awarding the annual E.W. Beth Dissertation Prize to outstanding Ph.D. dissertations in Logic, Language, and Information ( https://urldefense.com/v3/__http://www.folli.info/?page_id=74__;!!IBzWLUs!XJvVcv7gy_KxPjYljPeVIZzcXyfRygWAv_1qzWIytvCln0qcRN_IjkfWroOi5zhpkS9jq1waHcN-9XucT8Q26UvVu7MMs9RMiz8A$ ), with financial support of the E.W. Beth Foundation ( https://urldefense.com/v3/__https://www.knaw.nl/en/awards/funds/evert-willem-beth-stichting/evert-willem-beth-foundation__;!!IBzWLUs!XJvVcv7gy_KxPjYljPeVIZzcXyfRygWAv_1qzWIytvCln0qcRN_IjkfWroOi5zhpkS9jq1waHcN-9XucT8Q26UvVu7MMs8GUJDAK$ ). Nominations are now invited for the best dissertation in these areas resulting in a Ph.D. degree awarded in 2022. ——-- Qualifications: - A Ph.D. dissertation on a topic concerning Logic, Language, or Information is eligible for the Beth Dissertation Prize 2023, if the degree was awarded between January 1st and December 31st, 2022. - There are no restrictions on the nationality, ethnicity, age, gender or employment status of the author of the nominated dissertation, nor on the university, academic department or scientific institution formally conferring the Ph.D. degree, nor on the language in which the dissertation has originally been written. - In accordance with the aim of the Beth Foundation to continue and extend the work of the Dutch logician Evert Willem Beth, nominations are invited of excellent dissertations on topics in the broad remit of ESSLLI, including current topics in philosophical and mathematical logic, computer science logic, philosophy of science, philosophy of language, history of logic, history of the philosophy of science and scientific philosophy in general, as well as the current theoretical and foundational developments in information and computation, language, and cognition. Dissertations with results more broadly impacting various research areas in their interdisciplinary investigations are especially solicited. - If a nominated dissertation has originally been written in a language other than English, its dossier should still contain the required 10 page English abstract, see below. If the committee decides that a nominated dissertation in a language other than English requires translation to English for proper evaluation, the committee can transfer its nomination to the competition in 2024. The English translation must in such cases be submitted before the deadline of the call for nominations in 2024. The committee may recommend the Beth Foundation to consider supporting such nominated dissertations for English translation, upon request by the author of the dissertation. The prize consists of: - a certificate - a donation of 3000 euros, provided by the E.W. Beth Foundation - an invitation to submit the dissertation, possibly after revision, for publication in FoLLI Publications on Logic, Language and Information (Springer). Only digital submissions are accepted, without exception. Hard copy submissions are not allowed. The following documents are to be submitted in the nomination dossier: - The original dissertation in pdf format (ps/doc/rtf etc. not acceptable). - A ten-page English abstract of the dissertation, presenting the main results of each chapter. - A letter of nomination from the dissertation supervisor, which concisely describes the scope and significance of the dissertation, stating when the degree was officially awarded and the members of the Ph.D. committee. Nominations should contain the address, phone and email details of the nominator. - Two additional letters of support, including at least one from a referee not affiliated with the academic institution that awarded the Ph.D. degree, nor otherwise related to the nominee (e.g. former teachers, supervisors, co-authors, publishers or relatives) or the dissertation. - Self-nominations are not possible. All pdf documents must be submitted electronically, *as one pdf file*, via EasyChair by following the link https://urldefense.com/v3/__https://easychair.org/conferences/?conf=bodp23__;!!IBzWLUs!XJvVcv7gy_KxPjYljPeVIZzcXyfRygWAv_1qzWIytvCln0qcRN_IjkfWroOi5zhpkS9jq1waHcN-9XucT8Q26UvVu7MMswmWawyy$ . In case of any problems or questions please contact the chair of the committee Ana Sokolova ( a...@cs.uni-salzburg.at). The prize will be awarded by the chair of the FoLLI board at a ceremony during the 34th ESSLLI summer school in Ljubljana, July 31 - August 11, 2023. Beth dissertation prize committee 2023: Maria Aloni (University of Amsterdam) Agata Ciabattoni (TU Wien) Robin Cooper (University of Gothenburg) Guy Emerson (University of Cambridge) Herman Geuvers (Radboud University Nijmegen) Erich Grädel (RWTH Aachen
[TYPES/announce] Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2023
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2023 ——— Since 2002, the Association for Logic, Language, and Information (FoLLI) has been awarding the annual E.W. Beth Dissertation Prize to outstanding Ph.D. dissertations in Logic, Language, and Information ( https://urldefense.com/v3/__http://www.folli.info/?page_id=74__;!!IBzWLUs!QFrGNzYCcKHvj_TYNfmfV5u6lQIEluWWgxc_YwZ8-TBFGzUkcPxwZJtB9CC-iWqO2WuTgTUs14ordRlqnTntNZIJNycc6VRWcqCK$ ), with financial support of the E.W. Beth Foundation ( https://urldefense.com/v3/__https://www.knaw.nl/en/awards/funds/evert-willem-beth-stichting/evert-willem-beth-foundation__;!!IBzWLUs!QFrGNzYCcKHvj_TYNfmfV5u6lQIEluWWgxc_YwZ8-TBFGzUkcPxwZJtB9CC-iWqO2WuTgTUs14ordRlqnTntNZIJNycc6bfS9XWp$ ). Nominations are now invited for the best dissertation in these areas resulting in a Ph.D. degree awarded in 2022. The deadline for nominations is the 12th of May 2023. ——— Qualifications: - A Ph.D. dissertation on a topic concerning Logic, Language, or Information is eligible for the Beth Dissertation Prize 2023, if the degree was awarded between January 1st and December 31st, 2022. - There are no restrictions on the nationality, ethnicity, age, gender or employment status of the author of the nominated dissertation, nor on the university, academic department or scientific institution formally conferring the Ph.D. degree, nor on the language in which the dissertation has originally been written. - In accordance with the aim of the Beth Foundation to continue and extend the work of the Dutch logician Evert Willem Beth, nominations are invited of excellent dissertations on topics in the broad remit of ESSLLI, including current topics in philosophical and mathematical logic, computer science logic, philosophy of science, philosophy of language, history of logic, history of the philosophy of science and scientific philosophy in general, as well as the current theoretical and foundational developments in information and computation, language, and cognition. Dissertations with results more broadly impacting various research areas in their interdisciplinary investigations are especially solicited. - If a nominated dissertation has originally been written in a language other than English, its dossier should still contain the required 10 page English abstract, see below. If the committee decides that a nominated dissertation in a language other than English requires translation to English for proper evaluation, the committee can transfer its nomination to the competition in 2024. The English translation must in such cases be submitted before the deadline of the call for nominations in 2024. The committee may recommend the Beth Foundation to consider supporting such nominated dissertations for English translation, upon request by the author of the dissertation. The prize consists of: - a certificate - a donation of 3000 euros, provided by the E.W. Beth Foundation - an invitation to submit the dissertation, possibly after revision, for publication in FoLLI Publications on Logic, Language and Information (Springer). Only digital submissions are accepted, without exception. Hard copy submissions are not allowed. The following documents are to be submitted in the nomination dossier: - The original dissertation in pdf format (ps/doc/rtf etc. not acceptable). - A ten-page English abstract of the dissertation, presenting the main results of each chapter. - A letter of nomination from the dissertation supervisor, which concisely describes the scope and significance of the dissertation, stating when the degree was officially awarded and the members of the Ph.D. committee. Nominations should contain the address, phone and email details of the nominator. - Two additional letters of support, including at least one from a referee not affiliated with the academic institution that awarded the Ph.D. degree, nor otherwise related to the nominee (e.g. former teachers, supervisors, co-authors, publishers or relatives) or the dissertation. - Self-nominations are not possible. All pdf documents must be submitted electronically, as one zip file, via EasyChair by following the link https://urldefense.com/v3/__https://easychair.org/conferences/?conf=bodp23__;!!IBzWLUs!QFrGNzYCcKHvj_TYNfmfV5u6lQIEluWWgxc_YwZ8-TBFGzUkcPxwZJtB9CC-iWqO2WuTgTUs14ordRlqnTntNZIJNycc6Xi3nyLh$ . In case of any problems or questions please contact the chair of the committee Ana Sokolova ( a...@cs.uni-salzburg.at). The prize will be awarded by the chair of the FoLLI board at a ceremony during the 34th ESSLLI summer school in Ljubljana, July 31 - August 11, 2023. Beth dissertation prize committee 2023
[TYPES/announce] MFPS 2021: Deadline Extension and Invited Speakers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = CALL FOR PAPERS: MFPS XXXVII https://www.coalg.org/calco-mfps-2021/mfps 37th Conference on Mathematical Foundations of Programming Semantics August 30 - September 2, 2021 Online or hybrid, from Salzburg Co-located with CALCO 2021 == Paper submission: June 14, 2021 AoE (NEW) Author notification: August 2, 2021 Final version due: August 16, 2021 == We are delighted to announce the 37th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2021). MFPS 2021 will be hosted by the University of Salzburg, Austria, and will take place on August 30 - September 2, 2021. Due to the pandemic situation, the conference will take place online. Should the situation improve and allow some international travel, we will do our best to organize a small component of the meeting in Salzburg for those participants who wish to attend the meeting in person. MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged. Topics include, but are not limited to, the following: bio-computation; concurrent qualitative and quantitative distributed systems; constructive mathematics; domain theory and categorical models; formal languages; formal methods; game semantics; lambda calculus; logic; probabilistic systems; process calculi; programming-language theory; quantum computation; security; topological models; type systems; type theory. We also welcome contributions that address applications of semantics to novel areas such as complex systems, markets, and networks, for example. MFPS 2021 is co-located with the 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021). - INVITED SPEAKERS: Eugenia Cheng, School of the Art Institute of Chicago (joint with CALCO) Amina Doumane, ENS Lyon Shin-Ya Katsumata, NII Tokyo Krishna S., IIT Bombay INVITED TUTORIAL SPEAKERS (SPECIAL SESSIONS): Azadeh Farzan, University of Toronto (Termination Analysis and Synthesis -- joint with CALCO) Sam Staton, University of Oxford (Probabilistic Programming Semantics) Paul André Melliès, IRIF Université Paris Denis Diderot (Categorical Type Theory) Filippo Bonchi, University of Pisa and Pawel Sobocinski, Taltech (String Diagrams) - PROGRAMME COMMITTEE: Sandra Alves, University of Porto, Portugal Henning Basold, University of Leiden, Netherlands Andrej Bauer, University of Ljubljana, Slovenia Stephen Brookes, Carnegie Mellon University, USA Corina Cirstea, University of Southampton, UK Fabio Gadducci, University of Pisa, Italy Ichiro Hasuo, NII, Japan Helle Hvid Hansen, University of Groningen, Netherlands Justin Hsu, University of Wisconsin-Madison, USA Patricia Johann, Appalachian State University, USA Achim Jung, University of Birmingham, UK Sandra Kiefer, RWTH Aachen University, Germany / University of Warsaw, Poland Barbara König, University of Duisburg-Essen, Germany Catherine Meadows, NRL, USA Michael Mislove, Tulane University, USA Joel Ouaknine, Max Planck Institute for Software Systems, Germany Prakash Panangaden, McGill University Montreal, Canada Daniela Petrisan, IRIF, Paris 7, France Tatjana Petrov, University of Konstanz, Germany Jurriaan Rot, Radboud University Nijmegen, Netherlands Mehrnoosh Sadrzadeh, UCL, UK Lutz Schröder, Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany Ana Sokolova, University of Salzburg, Austria (PC chair) Valeria Vignudelli, CNRS/ENS Lyon, France - MFPS ORGANIZERS: Andrej Bauer, University of Ljubljana, Slovenia Stephen Brookes, Carnegie Mellon University, USA Achim Jung, University of Birmingham, UK Catherine Meadows, NRL, USA Michael Mislove, Tulane University, USA Joel Ouaknine, Max Planck Institute for Software Systems, Germany Prakash Panangaden, McGill University Montreal, Canada - SUBMISSIONS Submissions via https://easychair.org/conferences/?conf=mfps37 - PROCEEDINGS Elsevier ceased publication of ENTCS at the end of 2020. ENTCS was the traditional publication venue for MFPS. Negotiations are underway to establish a new arrangement for MFPS proceedings publication going forward. The new venue will be announced as soon as arrangements are complete. We anticipate the formal proceedings of this year’s
[TYPES/announce] MFPS 2021 -- Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = CALL FOR PAPERS: MFPS XXXVII https://www.coalg.org/calco-mfps-2021/mfps 37th Conference on Mathematical Foundations of Programming Semantics August 30 - September 2, 2021 Online or hybrid, from Salzburg Co-located with CALCO 2021 == Paper submission: June 7, 2021 Author notification: August 2, 2021 Final version due: August 16, 2021 == We are delighted to announce the 37th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2021). MFPS 2021 will be hosted by the University of Salzburg, Austria, and will take place on August 30–September 2, 2021. Due to the pandemic situation, the conference will take place online. Should the situation improve and allow some international travel, we will do our best to organize a small component of the meeting in Salzburg for those participants who wish to attend the meeting in person. MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged. Topics include, but are not limited to, the following: bio-computation; concurrent qualitative and quantitative distributed systems; constructive mathematics; domain theory and categorical models; formal languages; formal methods; game semantics; lambda calculus; logic; probabilistic systems; process calculi; programming-language theory; quantum computation; security; topological models; type systems; type theory. We also welcome contributions that address applications of semantics to novel areas such as complex systems, markets, and networks, for example. MFPS 2021 is co-located with the 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021). - INVITED SPEAKERS: MFPS is known for an exciting group of invited speakers and organisers of special sessions. Stay tuned for more information! The list of invited speakers and special sessions for MFPS 2021 will be announced soon. - PROGRAMME COMMITTEE: Sandra Alves, University of Porto, Portugal Henning Basold, University of Leiden, Netherlands Andrej Bauer, University of Ljubljana, Slovenia Stephen Brookes, Carnegie Mellon University, USA Corina Cirstea, University of Southampton, UK Fabio Gadducci, University of Pisa, Italy Ichiro Hasuo, NII, Japan Helle Hvid Hansen, University of Groningen, Netherlands Justin Hsu, University of Wisconsin-Madison, USA Patricia Johann, Appalachian State University, USA Achim Jung, University of Birmingham, UK Sandra Kiefer, RWTH Aachen University, Germany / University of Warsaw, Poland Barbara König, University of Duisburg-Essen, Germany Catherine Meadows, NRL, USA Michael Mislove, Tulane University, USA Koko Muroya, RIMS, Kyoto University, Japan Joel Ouaknine, Max Planck Institute for Software Systems, Germany Prakash Panangaden, McGill University Montreal, Canada Daniela Petrisan, IRIF, Paris 7, France Tatjana Petrov, University of Konstanz, Germany Jurriaan Rot, Radboud University Nijmegen, Netherlands Mehrnoosh Sadrzadeh, UCL, UK Lutz Schröder, Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany Ana Sokolova, University of Salzburg, Austria (PC chair) Valeria Vignudelli, CNRS/ENS Lyon, France - MFPS ORGANIZERS: Andrej Bauer, University of Ljubljana, Slovenia Stephen Brookes, Carnegie Mellon University, USA Achim Jung, University of Birmingham, UK Catherine Meadows, NRL, USA Michael Mislove, Tulane University, USA Joel Ouaknine, Max Planck Institute for Software Systems, Germany Prakash Panangaden, McGill University Montreal, Canada - SUBMISSIONS Submissions should be prepared using the ENTCS Macros, and should be up to 12 pages long excluding bibliography and appendices. Submissions via https://easychair.org/conferences/?conf=mfps37 - PROCEEDINGS A preliminary version will be distributed at the meeting. Final proceedings will be published in ENTCS after the meeting. ENTCS is open access. - CONTACT For any further information about MFPS 2021, please contact Ana Sokolova ( a...@cs.uni-salzburg.at).
[TYPES/announce] Postdoc position in Formal Methods, Programming Languages, and Systems, at the University of Salzburg, Computational Systems Group
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are happy to announce an opening for a postdoc position within the Computational Systems Group at the Department of Computer Sciences, University of Salzburg, The position is for up to 2.5 years with an initial contract for 1 year. The ideal candidate is interested in one or more (ideally all) of the areas: Formal Methods, Programming Languages, and Systems. The position is associated with an Austria-wide project "Teaching Digital Thinking" financed by the ministry of education related to teaching computer science content to non-computer-science students and understanding what computer science students could gain from other areas. We expect some help from you regarding the project, but this is not supposed to be too much work. We also expect you to engage in a reasonably small amount of teaching. Other than that, we expect you to collaborate with us on research in one of the mentioned areas. You would also have the freedom to conduct independent research. Please contact Christoph Kirsch (c...@cs.uni-salzburg.at) and/or Ana Sokolova (a...@cs.uni-salzburg.at) for more information. The official opening (in German) is available at: https://www.uni-salzburg.at/fileadmin/multimedia/Serviceeinrichtung%20Personal/documents/A_0042_Postdoc_CoWi_II.pdf . The application deadline is August 5, 2020. Best, Ana and Christoph
[TYPES/announce] Call for Affiliated Workshops at QONFEST 2020, in Vienna, TU Wien
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * *QONFEST 2020* * August 31-September 5, 2020, Vienna, Austria (http://qonfest2020.conf.tuwien.ac.at/ < http://qonfest2020.conf.tuwien.ac.at/) QONFEST is the umbrella conference comprising the joint international 2020 meetings CONCUR (31st International Conference on Concurrency Theory), QEST (17th International Conference on Quantitative Evaluation of SysTems), FORMATS (18th International Conference on Formal Modeling and Analysis of Timed Systems) and FMICS (25th International Conference on Formal Methods for Industrial Critical Systems). QONFEST 2020 will be hosted at TU Wien, Vienna, Austria, with the conferences taking place in the main building at Karlsplatz 13, 1040 Wien, and the workshops in the computer science building at Favoritenstr. 9–11, 1040 Wien. CALL FOR AFFILIATED WORKSHOPS Researchers and practitioners are invited to submit proposals for workshops to be affiliated to QONFEST 2020. Example topics include: concurrency theory and its applications, timed systems, semantics, logics, verification techniques, cross-fertilization between industry and academia and opportunities for young and prospective researchers. Past QONFEST conferences have been accompanied by successful workshops on a variety of topics. You can have an idea of the past workshops by browsing the pages of the previous editions of CONCUR, QEST, FORMATS and FMICS. The purpose of the workshops is to provide participants with a friendly, interactive atmosphere for presenting novel ideas and discussing their application. The workshops take place on Monday August 31, 2020 and Saturday September 5, 2020. Proposals should include: * The name and the preferred date of the proposed workshop (August 31 or September 5, 2020) * A short description of the workshop (500 words max) * If applicable, a description of past versions of the workshop, including dates, organizers, submission and acceptance counts, and attendance * The expected number of participants * The name and a link to the website(s) of the organizer(s) * The publication plan (only invited speakers, no published proceedings, pre-/post-proceedings published with EPTCS/ENTCS/...). The QONFEST organization offers: * a link from the QONFEST web site; * setup of meeting space, and related equipment, * coffee-breaks and lunch for the participants on the day of the workshop, * on-line and on-site registration to the workshop, * free workshop registration for an organizer and in case of more than 15 participants a second free workshop registration The main responsibility for organizing the workshop goes to the workshop organizer(s), including: * workshop publicity (possibly including call for papers, submission and review process) * scheduling of workshop activities in collaboration with the QONFEST workshop chair. IMPORTANT DATES Submission of workshop proposals: January 15, 2020 (but we greatly appreciate if you announce your proposal to us as soon as possible). Notification: January 31, 2020 SUBMISSION TO: Florian Zuleger (zuleger at forsyte dot at)
[TYPES/announce] Call for Workshop and Tutorial Proposals, CPS Week 2016, Vienna, Austria
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] —— CALL FOR WORKSHOP AND TUTORIAL PROPOSALS Cyber-Physical Systems Week (CPS Week) April 11-14, 2016, Vienna, Austria http://www.cpsweek.org/2016/ —— CPS Week is the premier event on Cyber-Physical Systems. It brings together four top conferences, HSCC, ICCPS, IPSN, and RTAS, 10-15 workshops, a localization competition, tutorials and various exhibitions from both industry and academia. Altogether the CPS Week program covers a multitude of complementary aspects of CPS, and reunites the leading researchers in this dynamic field. CPS Week 2016 in Vienna, Austria will host 10-15 workshops (subject to room availability) and 2-3 tutorials on Monday April 11 and is soliciting proposals for new and recurring workshops as well as for tutorials. CPS Week workshops are excellent opportunities to bring together researchers and practitioners from different communities to share their experiences in an interactive atmosphere and to foster collaboration for new and innovative projects. We invite you to submit workshop proposals on any topic related to the broad set of research, education, and application areas in cyber-physical systems. Guidelines for workshop proposals: ——— Proposals should be submitted at the latest by *** October 1, 2015 *** A workshop proposal consists of a 2-page maximum PDF file, including the following information: - A concise title of the workshop - Description of the topics and specific issues that the workshop will address, how the workshop complements CPSWeek conferences and why the workshop theme is relevant - Expected format of the workshop (regular paper presentations, poster presentations, invited talks, panel discussions, demo sessions, or other ideas to promote active exchange of ideas) - Organizers with short bio, affiliation, and their expertise in the proposed topic(s) - In case the workshop has been previously held, provide information to show that the previous edition(s) were successful in terms of paper submissions and/or attendance. Links to past workshop editions would be very helpful too. - Length of the workshop (half-day/one-day) and the expected number of participants - Follow-up plans (if any) to disseminate the ideas from the workshop, for example through proceedings or journal special issue Please submit your workshop proposal by email to the workshop and tutorial chairs Christoph Kirsch (c...@cs.uni-salzburg.at tul...@comp.nus.edu.sg) and Ana Sokolova (a...@cs.uni-salzburg.at tul...@comp.nus.edu.sg). Please write “[CPSWeek 2016] Workshop Proposal in the e-mail subject line. Guidelines for tutorial proposals: ——— Proposals should be submitted at the latest by *** October 1, 2015 *** A proposal consists of a 2-page maximum PDF file, including the following information on the tutorial program: - The title and abstract of the tutorial - An outline of tutorial content and objectives - Prerequisite knowledge - Organizers/Speakers with short bio, affiliation, and their expertise in the proposed topic(s) - In case the tutorial has been previously held, include information on the last tutorial of the same topic held within CPS Week or other conferences such as the year it was held and the number of attendees. A link to past tutorial would be very helpful too. - We envision tutorials to last for 3 hours. Please submit your tutorial proposal by email to the workshop and tutorial chairs Christoph Kirsch (c...@cs.uni-salzburg.at tul...@comp.nus.edu.sg) and Ana Sokolova (a...@cs.uni-salzburg.at tul...@comp.nus.edu.sg). Please write “[CPSWeek 2016] Tutorial Proposal in the e-mail subject line. Notification of acceptance *** October 15, 2015 ***
[TYPES/announce] Extended deadline: PSC 2014, Proof, Structure, Computation. Vienna, 17-18 July
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Extended deadline for short abstracts: 6 May 2014 PSC 2014: Proof, Structure, Computation. CSL-LICS Affiliated Workshop July 17-18, 2014, Vienna, Austria http://vsl2014.at/psc/ === Highlights === - PSC welcomes submissions of short abstracts: 1-2 pages in LNCS format - Invited speakers: Ulrich Berger and Martin Escardo - Post-proceedings are planned for a journal special issue === Important Dates === 6 May 2014 . Abstract submission (extended) 16 May 2014 Notification to authors 16 June 2014 ... Camera-ready abstracts for electronic proceedings 17-18 July 2014 PSC in Vienna === Scope === The extraction of computational content from proofs has a long tradition in logic, but usually depends on a concrete encoding that allows us to turn proofs into algorithms. A recent trend in this field is the departure from such encoding which not only makes it simpler to represent the mathematical content, but also makes the extracted computational content encoding independent. This shift in focus allows us to focus on what is relevant: the computational aspects of proofs and the specification (not representation) of the structures involved. We now have growing evidence that this move from representations (e.g. the signed digit representation of the reals) to axioms (e.g. of the real numbers) is possible. This development largely parallels the step from assembler to high level languages in programming. As a by-product this move has already opened up the possibility to gain computational information from axiomatic proofs in more abstract and genuinely structural areas of mathematics such as algebra and topology. === Invited Speakers === Ulrich Berger (Swansea University, UK) Martin Escardo (University of Birmingham, UK) === Submissions === We welcome 1-2-page abstracts presenting (finished, ongoing, or if clearly stated even published) work on proof, structure, and computation. Particular topics of interest are * Proof Theory * Program Extraction * Constructive Mathematics * Topology and Computation * Realisability Semantics * Coalgebra and Computation * Categorical Models * Domain Theory * Interval Analysis === Submission Guidelines === Abstracts are invited of ongoing, finished, or (if clearly stated) even published work on a topic relevant to the workshop. The abstracts will appear in electronic pre-proceedings that will be distributed at the meeting. Abstracts (at most 2 pages, in LNCS style) are to be be submitted electronically in PDF via EasyChair http://www.easychair.org/conferences/?conf=psc2014 Accepted communications must be presented at the workshop by one of the authors. === Special Issue === We plan to invite extended versions of selected abstract with original work to post-proceedings in a journal special issue. They will be peer-reviewed according to the standard journal policy. === Program Committee === Neil Ghani (University of Strathclyde, UK) Helle Hvid Hansen (Radboud University Nijmegen, NL) Rosalie Iemhoff (Utrecht University, NL) Bjoern Lellmann (TU Vienna, AT) Sara Negri (University of Helsinki, FI) Dirk Pattinson (ANU, AU), PC chair Dieter Probst (University of Bern, CH) Peter Schuster (University of Leeds, UK), PC chair Alex Simpson (University of Edinburgh, UK) Ana Sokolova (University of Salzburg, Austria), PC chair === Organizing Committee === Dirk Pattinson (ANU, Australia), PC chair Peter Schuster (University of Leeds, UK), PC chair Ana Sokolova (University of Salzburg, Austria), PC chair === Contact === psc2...@easychair.org
[TYPES/announce] PSC 2014 Call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Proof, Structure, and Computation 2014 CSL-LICS Workshop July 17-18, 2014, Vienna, Austria http://vsl2014.at/psc/ === Highlights === - PSC welcomes submissions of short abstracts: 1-2 pages in LNCS format - Invited speakers: Ulrich Berger and Martin Escardo - Post-proceedings are planned for a journal special issue === Important Dates === 1 May 2014.. Abstract submission 16 May 2014... Notification to authors 16 June 2014.. Camera-ready abstracts for electronic proceedings 17-18 July 2014. PSC in Vienna === Scope === The extraction of computational content from proofs has a long tradition in logic, but usually depends on a concrete encoding that allows us to turn proofs into algorithms. A recent trend in this field is the departure from such encoding which not only makes it simpler to represent the mathematical content, but also makes the extracted computational content encoding independent. This shift in focus allows us to focus on what is relevant: the computational aspects of proofs and the specification (not representation) of the structures involved. We now have growing evidence that this move from representations (e.g. the signed digit representation of the reals) to axioms (e.g. of the real numbers) is possible. This development largely parallels the step from assembler to high level languages in programming. As a by-product this move has already opened up the possibility to gain computational information from axiomatic proofs in more abstract and genuinely structural areas of mathematics such as algebra and topology. === Invited Speakers === Ulrich Berger (Swansea University, UK) Martin Escardo (University of Birmingham, UK) === Submissions === We welcome 1-2-page abstracts presenting (finished, ongoing, or if clearly stated even published) work on proof, structure, and computation. Particular topics of interest are - Proof Theory - Program Extraction - Constructive Mathematics - Topology and Computation - Realisability Semantics - Coalgebra and Computation - Categorical Models - Domain Theory - Interval Analysis === Submission Guidelines === Abstracts are invited of ongoing, finished, or (if clearly stated) even published work on a topic relevant to the workshop. The abstracts will appear in electronic pre-proceedings that will be distributed at the meeting. Abstracts (at most 2 pages, in LNCS style) are to be be submitted electronically in PDF via EasyChair (http://www.easychair.org/conferences/?conf=psc2014)http://www.easychair.org/conferences/?conf=ice2014 . Accepted communications must be presented at the workshop by one of the authors. === Special Issue === We plan to invite extended versions of selected abstract with original work to post-proceedings in a journal special issue. They will be peer-reviewed according to the standard journal policy. === Program Committee === Neil Ghani (University of Strathclyde, UK) Helle Hvid Hansen (Radboud University Nijmegen, NL) Rosalie Iemhoff (Utrecht University, NL) Bjoern Lellmann (TU Vienna, AT) Sara Negri (University of Helsinki, FI) Dirk Pattinson (ANU, AU), PC chair Dieter Probst (University of Bern, CH) Peter Schuster (University of Leeds, UK), PC chair Alex Simpson (University of Edinburgh, UK) Ana Sokolova (University of Salzburg, Austria), PC chair === Organizing Committee === Dirk Pattinson (ANU, Australia), PC chair Peter Schuster (University of Leeds, UK), PC chair Ana Sokolova (University of Salzburg, Austria), PC chair === Contact === psc2...@easychair.org