[TYPES/announce] Postdoc position at the LIP laboratory, ENS de Lyon, France
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The LIP laboratory, located at the ENS de Lyon in France, is offering a 1 year post-doc position in computer science, starting on the 1st September 2021. Candidates should have a PhD and a strong background in one of the subjects studied in the LIP. (Please refer to http://www.ens-lyon.fr/LIP/ for details.) The salary will depend on the successful candidate's prior research experience with a guaranteed minimum of 2300 EUR/month before taxes. An application consists of a single PDF file containing: - a CV including a full list of publications; and - a research project that in particular proposes a mentor in one of the research teams of the LIP. Inside the LIP laboratory, the Plume team http://www.ens-lyon.fr/LIP/PLUME/?page_id=7 could be of particular interest to the readers of the types and fom mailing lists (logic, semantics, formal verification). The application should be sent by email to russell.har...@ens-lyon.fr and nicolas.trotig...@ens-lyon.fr by the 30th May, 23:59 UT. Reference letters should be sent directly by email to the same addresses with the same deadline. With best regards, Damien Pous
[TYPES/announce] Two post-doctoral positions at ENS de Lyon, France
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] This is an announcement for two postdoctoral positions at ENS de Lyon, France. These positions are funded by the ERC project CoVeCe: http://perso.ens-lyon.fr/damien.pous/covece/ This project covers fields such as - automata theory (from algorithms to Kleene algebra and cyclic proof theory) - relation algebra, graphs of bounded tree-width, logics with few variables - theories and tactics for the Coq proof assistant. Applicants should hold a PhD in theoretical computer science, have a strong background in one of the above fields, and a desire to work at their frontier. To apply, send me an email (Damien.Pous at ens-lyon.fr) with your motivations (which part(s) of the project you would like to be involved in, why...), a brief CV, and the names of two persons who could recommend you. Please feel free to engage into a scientific discussion, or to ask me for more details about the project, the surrounding team (Plume), the lab (LIP), or Lyon's city. With best regards, Damien Pous
[TYPES/announce] [CFP] RAMiCS 2017
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Second Call for Papers - 16th International Conference on RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE (RAMiCS 2017) May 15-19, 2017 Lyon, France http://ramics-conference.org - GENERAL INFORMATION: For more than two decades, the RAMiCS conferences series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond. TOPICS: We invite submissions in the general field of algebraic structures relevant to computer science and on applications of such algebras. Topics of the conference include, but are not limited to the following -theory * algebraic structures from semigroups, residuated lattices and semirings to Kleene algebras, relation algebras and quantales * other algebras relevant to the theory of automata, concurrency, formal languages, games, networks, programming languages and social choice * algorithmic, category-theoretic, coalgebraic or proof-theoretic methods for such algebras * their formalisation with automated and interactive theorem provers -applications * tools and techniques for the verification and correctness of sequential and concurrent programs * quantitative and qualitative models for computing systems * logics of programs, e.g., modal, dynamic, interval, temporal or resource logics, logics for games, social choice and distributed systems * design of algorithms, network protocol analysis, optimisation and control INVITED SPEAKERS: * Annabelle McIver (Macquarie University, Sydney) * Jean-Eric Pin (CNRS, IRIF, Paris) * Alexandra Silva (University College, London) IMPORTANT DATES: Abstract Submission: 2016, Nov 25 Paper Submission: 2016, Dec 2 Author Notification: 2017, Feb 3 Camera-ready papers: 2017, Feb 24 RAMiCS 2017: 2017, May 15-19 SUBMISSION INSTRUCTIONS: Submission is via EasyChair at https://www.easychair.org/conferences/?conf=ramics16 All papers will be peer reviewed by at least three referees. The proceedings will be published in an LNCS volume by Springer, ready at the conference. Submissions must be in English, in PDF format and should not exceed 16 pages in LNCS style. Submissions must be unpublished, not under review for publication elsewhere and provide sufficient information to judge their merits. Additional material may be provided in a clearly marked appendix or by a reference to a manuscript on a web site. Experimental data, software or mathematical components for theorem provers must be available in sufficient detail for reviewers. Deviation from these requirements may lead to rejection. Accepted papers must be produced with LaTeX. One author of each accepted paper is expected to present the paper at the conference. Formatting instructions and LNCS style files can be obtained at: http://www.springer.de/comp/lncs/authors.html. COMMITTEES: Conference Chair: Damien Pous, CNRS, France Programme Chairs: Peter Höfner, Data61, Australia Georg Struth, U Sheffield, UK, Programme Committee: Luca Aceto, Reykjavik U, Iceland Rudolf Berghammer, U Kiel, Germany Filippo Bonchi, CNRS, France Jules Desharnais, U Laval, Canada Hitoshi Furusawa, Kagoshima U, Japan Tim Griffin, U Cambridge, UK Walter Guttmann, U Canterbury, New Zealand Robin Hirsch, UCL, UK Peter Höfner, Data61, CSIRO, Australia Marcel Jackson, LaTrobe U, Australia Jean-Baptiste Jeannin, Samsung, USA Peter Jipsen , Chapman U, USA Christian Johansen, U Oslo, Norway Wolfram Kahl, McMaster U, Canada Dexter Kozen, Cornell U, USA Szabolcs Mikulas, Birkbeck U, UK Bernhard Möller, U Augsburg, Germany José N. Oliveira, U Minho, Portugal Damien Pous, CNRS, France Georg Struth, U Sheffield, UK, Pascal Weil, CNRS, France Michael Winter, Brock U, Canada
[TYPES/announce] Extension de deadline : JFLA 2013
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * Dernier appel à contributions * * date limite de soumission repoussée au 19 octobre 2012 * JFLA'2013 (http://jfla.inria.fr/2013/) Journées Francophones des Langages Applicatifs Organisées par Inria, à Aussois, du 3 février au 6 février 2013 Les JFLA réunissent concepteurs, utilisateurs et théoriciens ; elles ont pour ambition de couvrir les domaines des langages applicatifs, de la preuve formelle, et des objets mathématiques qui sous-tendent ces outils. Ces domaines doivent être pris au sens large : nous souhaitons avant tout favoriser les ponts entre les différentes thématiques : . Langages fonctionnels et applicatifs : sémantique, compilation, optimisation, typage, mesures, extensions par d'autres paradigmes. . Assistants de preuve : implémentation, nouvelles tactiques, développements présentant un intérêt technique ou méthodologique. . Logique, correspondance de Curry-Howard, réalisabilité, extraction de programmes, modèles. . Spécification, prototypage, développements formels d'algorithmes. . Utilisation industrielle des langages fonctionnels et applicatifs, ou des méthodes issues des preuves formelles, outils pour le web. Les articles soumis aux JFLA sont relus par au moins deux personnes s'ils sont acceptés, trois personnes s'ils sont rejetés. Les critiques des relecteurs sont toujours bienveillantes et la plupart du temps encourageantes et constructives, même en cas de rejet. Il n'y a donc pas de raison de ne pas soumettre aux JFLA ! Nous accepterons cette année deux types de soumissions : . article de recherche de quinze pages au plus, portant sur des travaux originaux. Nous accepterons volontier des travaux en cours (pour lesquels l'aspect recherche n'est pas entièrement terminé) ; dans tous les cas, la forme de l'article devra être soignée. Les articles sélectionnés seront publiés dans les actes de la conférence, les auteurs seront invités à faire une présentation en vingt-cinq minutes lors des journées. . proposition d'exposé court (dix minutes) pour décrire prototype, faire une démonstration d'un outil, reparler d'un article déjà publié, rechercher de l'aide pour résoudre un problème particulier. Dans ce cas, nous vous demandons seulement de soumettre un résumé de deux à trois pages, qui nous permettra de sélectionner les orateurs en cas de forte affluence. Comité de programme --- Damien Pous, Président (CNRS -- ENS Lyon) Christine Tasson, Vice présidente (PPS -- Université Paris Diderot) Jade Alglave (University of Oxford) David Baelde (ITU Copenhague) Pierre-Malo Deniélou (Royal Holloway, University of London) Pascal Fradet (Inria Grenoble Rhône-Alpes) Samuel Mimram (CEA Saclay) Yann Régis-Gianas (Université Paris VII) Matthieu Sozeau (Inria Paris -- Rocquencourt) Nicolas Tabareau (Inria Nantes) Enrico Tassi (LIX -- École Polytechnique) Lionel Vaux (IML -- Université de la Méditerranée) Soumission -- Date limite de soumission : 19 octobre 2012 Les soumissions doivent être déposées sur Easychair, à l'adresse suivante : https://www.easychair.org/conferences/?conf=jfla2013 Elles peuvent être rédigées en anglais, mais elles sont limitées à 15 pages A4 et le style LaTeX est imposé : http://jfla.inria.fr/2013/actes.sty Merci de signaler vos intentions de soumissions au plus tôt, par email au président du comité de programme. Dates importantes - 19 octobre 2012 : Date limite de soumission 16 novembre 2012 : Notification aux auteurs 7 décembre 2012 : Remise des articles définitifs 10 janvier 2013 : Date limite d'inscription aux journées 3 février au 6 février 2013 : Journées Pour tout renseignement d'ordre administratif, contacter Danièle Herzog Inria Grenoble Rhône-Alpes, Bureau des cours et colloques 655 Avenue de l'Europe, Montbonnot 38 334 St Ismier Cedex - France Tel : +33 (0)4 76 61 52 23 - Fax : +33 (0)4 56 52 71 90 email : colloq...@inrialpes.fr http://jfla.inria.fr/2013/
[TYPES/announce] Appel à communication, JFLA 2013
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * Merci de faire circuler : second appel à communication * * date limite de soumission : 12 octobre 2012 * JFLA'2013 (http://jfla.inria.fr/2013/) Journées Francophones des Langages Applicatifs Organisées par l'INRIA, à Aussois, du 3 février au 6 février 2013 Les JFLA réunissent concepteurs, utilisateurs et théoriciens ; elles ont pour ambition de couvrir les domaines des langages applicatifs, de la preuve formelle, et des objets mathématiques qui sous-tendent ces outils. Ces domaines doivent être pris au sens large : nous souhaitons avant tout favoriser les ponts entre les différentes thématiques : . Langages fonctionnels et applicatifs : sémantique, compilation, optimisation, typage, mesures, extensions par d'autres paradigmes. . Assistants de preuve : implémentation, nouvelles tactiques, développements présentant un intérêt technique ou méthodologique. . Logique, correspondance de Curry-Howard, réalisabilité, extraction de programmes, modèles. . Spécification, prototypage, développements formels d'algorithmes. . Utilisation industrielle des langages fonctionnels et applicatifs, ou des méthodes issues des preuves formelles, outils pour le web. Les articles soumis aux JFLA sont relus par au moins deux personnes s'ils sont acceptés, trois personnes s'ils sont rejetés. Les critiques des relecteurs sont toujours bienveillantes et la plupart du temps encourageantes et constructives, même en cas de rejet. Il n'y a donc pas de raison de ne pas soumettre aux JFLA ! Nous accepterons cette année deux types de soumissions : . article de recherche de quinze pages au plus, portant sur des travaux originaux. Nous accepterons volontier des travaux en cours (pour lesquels l'aspect recherche n'est pas entièrement terminé) ; dans tous les cas, la forme de l'article devra être soignée. Les articles sélectionnés seront publiés dans les actes de la conférence, les auteurs seront invités à faire une présentation en vingt-cinq minutes lors des journées. . proposition d'exposé court (dix minutes) pour décrire prototype, faire une démonstration d'un outil, reparler d'un article déjà publié, rechercher de l'aide pour résoudre un problème particulier. Dans ce cas, nous vous demandons seulement de soumettre un résumé de deux à trois pages, qui nous permettra de sélectionner les orateurs en cas de forte affluence. Comité de programme --- Damien Pous, Président (CNRS -- ENS Lyon) Christine Tasson, Vice présidente (PPS -- Université Paris Diderot) Jade Alglave (University of Oxford) David Baelde (ITU Copenhague) Pierre-Malo Deniélou (Royal Holloway, University of London) Pascal Fradet (INRIA Rhône-Alpes) Samuel Mimram (CEA Saclay) Yann Régis-Gianas (Université Paris VII) Matthieu Sozeau (INRIA Paris -- Rocquencourt) Nicolas Tabareau (INRIA Nantes) Enrico Tassi (LIX -- École Polytechnique) Lionel Vaux (IML -- Université de la Méditerranée) Soumission -- Date limite de soumission : 12 octobre 2012 Les soumissions doivent être déposées sur Easychair, à l'adresse suivante : https://www.easychair.org/conferences/?conf=jfla2013 Elles peuvent être rédigées en anglais, mais elles sont limitées à 15 pages A4 et le style LaTeX est imposé : http://jfla.inria.fr/2013/actes.sty Merci de signaler vos intentions de soumissions au plus tôt, par email au président du comité de programme. Dates importantes - 12 octobre 2012 : Date limite de soumission 16 novembre 2012 : Notification aux auteurs 7 décembre 2012 : Remise des articles définitifs 10 janvier 2013 : Date limite d'inscription aux journées 3 février au 6 février 2013 : Journées Pour tout renseignement d'ordre administratif, contacter Danièle Herzog INRIA Rhône-Alpes, Bureau des cours et colloques 655 Avenue de l'Europe, Montbonnot 38 334 St Ismier Cedex - France Tel : +33 (0)4 76 61 52 23 - Fax : +33 (0)4 56 52 71 90 email : colloq...@inrialpes.fr http://jfla.inria.fr/2013/
[TYPES/announce] Call for papers : JFLA 2013
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (This message is intentionally written in French) * Merci de faire circuler : premier appel à communication * JFLA'2013 (http://jfla.inria.fr/2013/) Journées Francophones des Langages Applicatifs Organisées par l'INRIA, à Aussois, du 3 février au 6 février 2013 Les JFLA réunissent concepteurs, utilisateurs et théoriciens ; elles ont pour ambition de couvrir les domaines des langages applicatifs, de la preuve formelle, et des objets mathématiques qui sous-tendent ces outils. Ces domaines doivent être pris au sens large : nous souhaitons avant tout favoriser les ponts entre les différentes thématiques : . Langages fonctionnels et applicatifs : sémantique, compilation, optimisation, typage, mesures, extensions par d'autres paradigmes. . Assistants de preuve : implémentation, nouvelles tactiques, développements présentant un intérêt technique ou méthodologique. . Logique, correspondance de Curry-Howard, réalisabilité, extraction de programmes, modèles. . Spécification, prototypage, développements formels d'algorithmes. . Utilisation industrielle des langages fonctionnels et applicatifs, ou des méthodes issues des preuves formelles, outils pour le web. Les articles soumis aux JFLA sont relus par au moins deux personnes s'ils sont acceptés, trois personnes s'ils sont rejetés. Les critiques des relecteurs sont toujours bienveillantes et la plupart du temps encourageantes et constructives, même en cas de rejet. Il n'y a donc pas de raison de ne pas soumettre aux JFLA ! Nous accepterons cette année deux types de soumissions : . article de recherche de quinze pages au plus, portant sur des travaux originaux. Nous accepterons volontier des travaux en cours (pour lesquels l'aspect recherche n'est pas entièrement terminé) ; dans tous les cas, la forme de l'article devra être soignée. Les articles sélectionnés seront publiés dans les actes de la conférence, les auteurs seront invités à faire une présentation en vingt-cinq minutes lors des journées. . proposition d'exposé court (dix minutes) pour décrire prototype, faire une démonstration d'un outil, reparler d'un article déjà publié, rechercher de l'aide pour résoudre un problème particulier. Dans ce cas, nous vous demandons seulement de soumettre un résumé de deux à trois pages, qui nous permettra de sélectionner les orateurs en cas de forte affluence. Comité de programme --- Damien Pous, Président (CNRS -- ENS Lyon) Christine Tasson, Vice présidente (PPS -- Université Paris Diderot) Jade Alglave (University of Oxford) David Baelde (ITU Copenhague) Pierre-Malo Deniélou (Royal Holloway, University of London) Pascal Fradet (INRIA Rhône-Alpes) Samuel Mimram (CEA Saclay) Yann Régis-Gianas (Université Paris VII) Matthieu Sozeau (INRIA Paris -- Rocquencourt) Nicolas Tabareau (INRIA Nantes) Enrico Tassi (LIX -- École Polytechnique) Soumission -- Date limite de soumission : 12 octobre 2012 Les soumissions doivent être déposées sur Easychair, à l'adresse suivante : https://www.easychair.org/conferences/?conf=jfla2013 Elles peuvent être rédigées en anglais, mais elles sont limitées à 15 pages A4 et le style LaTeX est imposé : http://jfla.inria.fr/2013/actes.sty Dates importantes - 12 octobre 2012 : Date limite de soumission 16 novembre 2012 : Notification aux auteurs 7 décembre 2012 : Remise des articles définitifs 10 janvier 2013 : Date limite d'inscription aux journées 3 février au 6 février 2013 : Journées Pour tout renseignement d'ordre administratif, contacter Danièle Herzog INRIA Rhône-Alpes, Bureau des cours et colloques 655 Avenue de l'Europe, Montbonnot 38 334 St Ismier Cedex - France Tel : +33 (0)4 76 61 52 23 - Fax : +33 (0)4 56 52 71 90 email : colloq...@inrialpes.fr http://jfla.inria.fr/2013/