[TYPES/announce] ARITH-26, Call for Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == CALL FOR PARTICIPATION ARITH-26 26th IEEE Symposium on Computer Arithmetic June 10 – 12, 2019, Kyoto, Japan http://www.lab3.kuis.kyoto-u.ac.jp/arith26/ === Keynote Addresses * Siegfried M. Rump (Hamburg University of Technology, Germany) Error bounds for computer arithmetics * Andrew Ensor (Square Kilometre Array (SKA), New Zealand) Big numbers for a big universe * Kurt R. Rohloff (New Jersey Institute of Technology, USA) Computer Arithmetic Research to Accelerate Privacy-Protecting Encrypted Computing such as Homomorphic Encryption * Shiho Moriai (National Institute of Information and Communications Technology (NICT), Japan) Privacy-Preserving Deep Learning via Additively Homomorphic Encryption Link to program: http://www.lab3.kuis.kyoto-u.ac.jp/arith26/program.html#content Link to registration page: http://www.lab3.kuis.kyoto-u.ac.jp/arith26/registration.html#content Registration fees per person (include: admission to the sessions, USB memory stick of the proceedings, 3 lunches, banquet, breaks) Early Registration (Until May 10) IEEE Member USD 400 Non-Member USD 480 Student IEEE Member USD 300 Student Non-Member USD 360 Life/Retired IEEE Member USD 240 Banquet GuestUSD 50 Late Registration (From May 11 until May 31) IEEE Member USD 480 Non-Member USD 580 Student IEEE Member USD 360 Student Non-Member USD 435 Life/Retired IEEE Member USD 290 Banquet GuestUSD 50 On-Site (Only Japanese Yen cash is accepted) IEEE Member JPY 55,000 Non-Member JPY 66,000 Student IEEE Member JPY 40,000 Student Non-Member JPY 48,000 Life/Retired IEEE Member JPY 32,000 Banquet GuestJPY 5,500 Best regards, Sylvie Boldo -- Sylvie Boldo, projet Toccata, Inria Saclay - Île-de-France PCRI, Bât. 650 - Université Paris-Sud - 91405 ORSAY Cedex
[TYPES/announce] ARITH-26, deadline extension
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Sorry for multiple postings. *Extended deadlines:* abstract: Jan 18th and full paper: Jan 31st == CALL FOR PAPERS ARITH-26 26th IEEE Symposium on Computer Arithmetic June 10 – 12, 2019, Kyoto, Japan http://arith26.arithsymposium.org/ === === Scope === Since 1969, the ARITH symposia have served as the flagship conference for presenting scientific work on the latest research in computer arithmetic. Computer arithmetic is now driving the most important innovations and product directions in our industry, such as artificial intelligence and security. Authors are invited to submit papers describing recent advances on all aspects related to computer arithmetic, its applications or implementations. This includes, but is not restricted to, the following topics: Foundations of number systems and arithmetic Arithmetic processor design and implementation Arithmetic and datapath design for artificial intelligence, machine learning, and deep learning Numerics for artificial intelligence, machine learning, and deep learning Arithmetic algorithms and their analysis Floating-point units, algorithms, and numerical analysis Elementary and special function implementations Power-efficient or low-energy arithmetic units and processors Industrial implementation of arithmetic units and processors Test, validation, and formal verification techniques for arithmetic implementations Fault/error-tolerance in arithmetic implementations Arithmetic for FPGAs and reconfigurable logic Design automation for computer arithmetic implementations Computer arithmetic for security and cryptography Arithmetic to enhance accuracy or reliability (multiple-precision, interval arithmetic, ...) Arithmetic challenges in HPC and exascale computing (accuracy, reproducibility, ...) Arithmetic for specific application domains (big-data analytics, signal processing, computer graphics, multimedia, computer vision, finance, ...) Computer arithmetic in emerging technologies Non-conventional computer arithmetic and applications NEW: Short and Industry Papers For ARITH 26, we are also inviting short papers (4 pages maximum) to describe industry applications, work-in-progress ideas, or interim results. PhD students are especially welcome and may present their work in an informal session. All submissions, whether regular full papers, short or industry papers, or PhD presentations, will have a full presentation slot scheduled. We will have two special sessions: - Industrial Arithmetic, proposed by Elisardo Antelo - Arithmetic Hardware Generators, proposed by Florent de Dinechin === Procedure for submission === Submission site: https://easychair.org/conferences/?conf=arith26 NEW: an abstract submission deadline has been set to January 18th. This initial submission must include title, author(s), and abstract. The paper is due on January 31st. Papers under review elsewhere are not acceptable for submission to ARITH 26. A double-blind peer review policy will be enforced. Please, remove authors' names, acknowledgments or any obvious references to the authors before submission. By submitting a paper you implicitly confirm you are solely submitting it to ARITH 26. The final submissions of accepted regular session papers cannot exceed 8 pages (NO extra pages) using the IEEE Computer Society Conference format (two columns). However, for review, authors may submit a paper with a maximum of 20 pages, 12pt font size, single column and double spacing. The final submissions for short and industry papers and PhD presentations cannot exceed 4 pages (NO extra pages) using the IEEE Computer Society Conference format (two columns). For review, the paper may have up to 10 pages, in 12pt font size, single column and double spacing. Formatting instructions: http://www.ieee.org/conferences_events/conferences/publishing/templates.html === Important dates === Abstract submission January 18th, 2019 Full paper submissionJanuary 31st, 2019 Paper notification Early April, 2019 Paper camera-ready Mid-April, 2019 Conference June 10-12th, 2019 === Organization === = General chair = Naofumi Takagi, Kyoto University, Japan = Finance and Publication Chair = Kazuyoshi Takagi, Kyoto University, Japan = Program co-chairs = Sylvie Boldo, Inria, France Martin Langhammer, Intel = Program Committee Members = Elisardo Antelo, University of Santiago de Compostela, Spain Javier Bruguera, ARM, Austin, USA Marius Cornea, Intel Corporation, USA Vassil
[TYPES/announce] ARITH-26, last CFP
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Sorry for multiple postings. *Deadlines:* abstract: Jan 14th and full paper: Jan 21st *New:* Short papers (4 pages maximum) are welcome == CALL FOR PAPERS ARITH-26 26th IEEE Symposium on Computer Arithmetic June 10 – 12, 2019, Kyoto, Japan http://arith26.arithsymposium.org/ === === Scope === Since 1969, the ARITH symposia have served as the flagship conference for presenting scientific work on the latest research in computer arithmetic. Computer arithmetic is now driving the most important innovations and product directions in our industry, such as artificial intelligence and security. Authors are invited to submit papers describing recent advances on all aspects related to computer arithmetic, its applications or implementations. This includes, but is not restricted to, the following topics: Foundations of number systems and arithmetic Arithmetic processor design and implementation Arithmetic and datapath design for artificial intelligence, machine learning, and deep learning Numerics for artificial intelligence, machine learning, and deep learning Arithmetic algorithms and their analysis Floating-point units, algorithms, and numerical analysis Elementary and special function implementations Power-efficient or low-energy arithmetic units and processors Industrial implementation of arithmetic units and processors Test, validation, and formal verification techniques for arithmetic implementations Fault/error-tolerance in arithmetic implementations Arithmetic for FPGAs and reconfigurable logic Design automation for computer arithmetic implementations Computer arithmetic for security and cryptography Arithmetic to enhance accuracy or reliability (multiple-precision, interval arithmetic, ...) Arithmetic challenges in HPC and exascale computing (accuracy, reproducibility, ...) Arithmetic for specific application domains (big-data analytics, signal processing, computer graphics, multimedia, computer vision, finance, ...) Computer arithmetic in emerging technologies Non-conventional computer arithmetic and applications NEW: Short and Industry Papers For ARITH 26, we are also inviting short papers (4 pages maximum) to describe industry applications, work-in-progress ideas, or interim results. PhD students are especially welcome and may present their work in an informal session. All submissions, whether regular full papers, short or industry papers, or PhD presentations, will have a full presentation slot scheduled. We will have two special sessions: - Industrial Arithmetic, proposed by Elisardo Antelo - Arithmetic Hardware Generators, proposed by Florent de Dinechin === Procedure for submission === Submission site: https://easychair.org/conferences/?conf=arith26 NEW: an abstract submission deadline has been set to January 14th. This initial submission must include title, author(s), and abstract. The paper is due on January 21st. Papers under review elsewhere are not acceptable for submission to ARITH 26. A double-blind peer review policy will be enforced. Please, remove authors' names, acknowledgments or any obvious references to the authors before submission. By submitting a paper you implicitly confirm you are solely submitting it to ARITH 26. The final submissions of accepted regular session papers cannot exceed 8 pages (NO extra pages) using the IEEE Computer Society Conference format (two columns). However, for review, authors may submit a paper with a maximum of 20 pages, 12pt font size, single column and double spacing. The final submissions for short and industry papers and PhD presentations cannot exceed 4 pages (NO extra pages) using the IEEE Computer Society Conference format (two columns). For review, the paper may have up to 10 pages, in 12pt font size, single column and double spacing. Formatting instructions: http://www.ieee.org/conferences_events/conferences/publishing/templates.html === Important dates === Abstract submission January 14th, 2019 Full paper submissionJanuary 21st, 2019 Paper notification Early April, 2019 Paper camera-ready Mid-April, 2019 Conference June 10-12th, 2019 === Organization === = General chair = Naofumi Takagi, Kyoto University, Japan = Finance and Publication Chair = Kazuyoshi Takagi, Kyoto University, Japan = Program co-chairs = Sylvie Boldo, Inria, France Martin Langhammer, Intel = Program Committee Members = Elisardo Antelo, University of Santiago de Compostela, Spain Javier Bruguera, ARM, Austin, USA
[TYPES/announce] ARITH-26, second CFP
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Sorry for multiple postings. == CALL FOR PAPERS ARITH-26 26th IEEE Symposium on Computer Arithmetic June 10 – 12, 2019, Kyoto, Japan http://arith26.arithsymposium.org/ === === Scope === Since 1969, the ARITH symposia have served as the flagship conference for presenting scientific work on the latest research in computer arithmetic. Computer arithmetic is now driving the most important innovations and product directions in our industry, such as artificial intelligence and security. Authors are invited to submit papers describing recent advances on all aspects related to computer arithmetic, its applications or implementations. This includes, but is not restricted to, the following topics: Foundations of number systems and arithmetic Arithmetic processor design and implementation Arithmetic and datapath design for artificial intelligence, machine learning, and deep learning Numerics for artificial intelligence, machine learning, and deep learning Arithmetic algorithms and their analysis Floating-point units, algorithms, and numerical analysis Elementary and special function implementations Power-efficient or low-energy arithmetic units and processors Industrial implementation of arithmetic units and processors Test, validation, and formal verification techniques for arithmetic implementations Fault/error-tolerance in arithmetic implementations Arithmetic for FPGAs and reconfigurable logic Design automation for computer arithmetic implementations Computer arithmetic for security and cryptography Arithmetic to enhance accuracy or reliability (multiple-precision, interval arithmetic, ...) Arithmetic challenges in HPC and exascale computing (accuracy, reproducibility, ...) Arithmetic for specific application domains (big-data analytics, signal processing, computer graphics, multimedia, computer vision, finance, ...) Computer arithmetic in emerging technologies Non-conventional computer arithmetic and applications NEW: Short and Industry Papers For ARITH 26, we are also inviting short papers (4 pages maximum) to describe industry applications, work-in-progress ideas, or interim results. PhD students are especially welcome and may present their work in an informal session. All submissions, whether regular full papers, short or industry papers, or PhD presentations, will have a full presentation slot scheduled. === Procedure for submission === Submission site: https://easychair.org/conferences/?conf=arith26 NEW: an abstract submission deadline has been set to January 14th. This initial submission must include title, author(s), and abstract. The paper is due on January 21st. Papers under review elsewhere are not acceptable for submission to ARITH 26. A double-blind peer review policy will be enforced. Please, remove authors' names, acknowledgments or any obvious references to the authors before submission. By submitting a paper you implicitly confirm you are solely submitting it to ARITH 26. The final submissions of accepted regular session papers cannot exceed 8 pages (NO extra pages) using the IEEE Computer Society Conference format (two columns). However, for review, authors may submit a paper with a maximum of 20 pages, 12pt font size, single column and double spacing. The final submissions for short and industry papers and PhD presentations cannot exceed 4 pages (NO extra pages) using the IEEE Computer Society Conference format (two columns). For review, the paper may have up to 10 pages, in 12pt font size, single column and double spacing. Formatting instructions: http://www.ieee.org/conferences_events/conferences/publishing/templates.html === Important dates === Abstract submission January 14th, 2019 Full paper submissionJanuary 21st, 2019 Paper notification Early April, 2019 Paper camera-ready Mid-April, 2019 Conference June 10-12th, 2019 === Organization === = General chair = Naofumi Takagi, Kyoto University, Japan = Finance and Publication Chair = Kazuyoshi Takagi, Kyoto University, Japan = Program co-chairs = Sylvie Boldo, Inria, France Martin Langhammer, Intel = Program Committee Members = Elisardo Antelo, University of Santiago de Compostela, Spain Javier Bruguera, ARM, Austin, USA Marius Cornea, Intel Corporation, USA Vassil Dimitrov, University of Calgary, Canada Florent de Dinechin, CITI, INSA-Lyon, France Niall Emmart, NVIDIA, USA Stef Graillat, Sorbonne University, CNRS, LIP6, France Shay Gueron, University of Haifa, Israel, and Amazon Web Services, USA Oscar
[TYPES/announce] ARITH-26, first CFP
Mid-April, 2019 Conference June 10-12th, 2019 === Organization === = General chair = Naofumi Takagi, Kyoto Univ., Japan = Program co-chairs = Sylvie Boldo, Inria, France Martin Langhammer, Intel -- Sylvie Boldo, projet Toccata, Inria Saclay - Île-de-France PCRI, Bât. 650 - Université Paris-Sud - 91405 ORSAY Cedex
[TYPES/announce] Postdoc position in Orsay, France
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hello, I would like to advertise a postdoc position available in Orsay, France. The goal is to develop formal proofs about the floating-point evaluation of polynomials and is within the FastRelax project http://fastrelax.gforge.inria.fr/ To see details and to apply, please go to https://jobs.inria.fr/public/classic/en/offres/2018-00418 Do not hesitate to forward this email to any appropriate candidate or mailing list. Best regards, Sylvie Boldo -- Sylvie Boldo, Toccata project, Inria Saclay - Île-de-France PCRI, Bât. 650 - Université Paris-Sud - 91405 ORSAY Cedex
[TYPES/announce] JFLA 2018 : dernier appel à communications et extension de deadline
[ 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 : dernier appel à communications * Les dates limites ont été étendues, d'une semaine pour l'article mais de seulement quelques jours pour le résumé. En particulier, le résumé est pour *ce mercredi 18 octobre*. JFLA'2018 (https://www.lri.fr/~sboldo/JFLA18/) Journées Francophones des Langages Applicatifs Banyuls-sur-Mer du 24 au 27 janvier 2018 Dates importantes - *18* octobre 2017 : soumission des résumés *30* octobre 2017 : soumission des articles 27 novembre 2017 : notification aux auteurs Les JFLA réunissent concepteurs, utilisateurs et théoriciens ; elles ont pour ambition de couvrir les domaines des langages applicatifs, de la preuve formelle, de la vérification de programmes, et des objets mathématiques qui sous-tendent ces outils. Ces domaines doivent être pris au sens large : nous souhaitons promouvoir 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. . Vérification de programmes ou de modèles, méthode déductive, interprétation abstraite, raffinement. . 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 ! Soumissions --- Nous acceptons deux types de soumissions : . Article de recherche de quinze pages au plus, portant sur des travaux originaux. Nous acceptons des travaux en cours, pour lesquels l'aspect recherche n'est pas entièrement finalisé. . Article court de six pages au plus, pour décrire un prototype, faire la démonstration d'un outil, rechercher de l'aide pour résoudre un problème particulier, ou reparler d'un papier déjà publié. 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, et les auteurs seront invités à faire une présentation lors des journées, de vingt-cinq minutes pour les articles longs et de quinze minutes pour les courts. L'article peut être rédigé en anglais, auquel cas la présentation devra être effectuée en français. Néanmoins, dans le cas où il s'agit d'une republication au format court d'un article déjà publié, la publication doit être en français et la publication originale en anglais. Le style LaTeX Easychair doit être respecté : https://easychair.org/publications/for_authors Les soumissions se font sur la page Easychair des JFLA : https://easychair.org/conferences/?conf=jfla2018 Notez que toute intention de soumission doit être annoncée au plus tard le 16 octobre par le dépôt d'un résumé sur Easychair. date limite de soumission des résumés : 18 octobre 2017 date limite de soumission des articles : 30 octobre 2017 Comité de programme --- Sylvie BoldoInria Saclay-Île de France (présidente) Nicolas Magaud Université de Strasbourg (vice-président) Clara BertolissiLIF-Universite Aix-Marseille Timothy Bourke Inria Paris, ENS Benjamin Canou OCamlPro Zaynah Dargaye CEA LIST Alain FrischLexiFi Frédéric Gava Université de Paris-Est Alain Giorgetti FEMTO-ST, Université de Franche-Comté Kim Nguyen Université Paris-Sud François PottierInria Paris Yann Régis-Gianas IRIF Laurence Rideau Inria Sophia Antipolis - Méditerranée -- Sylvie Boldo, projet Toccata, Inria Saclay - Île-de-France PCRI, Bât. 650 - Université Paris-Sud - 91405 ORSAY Cedex
[TYPES/announce] JFLA 2018 : second appel à communications
[ 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 : second appel à communications * JFLA'2018 (https://www.lri.fr/~sboldo/JFLA18/) Journées Francophones des Langages Applicatifs Banyuls-sur-Mer du 24 au 27 janvier 2018 Dates importantes - 16 octobre 2017 : soumission des résumés 23 octobre 2017 : soumission des articles 27 novembre 2017 : notification aux auteurs Les JFLA réunissent concepteurs, utilisateurs et théoriciens ; elles ont pour ambition de couvrir les domaines des langages applicatifs, de la preuve formelle, de la vérification de programmes, et des objets mathématiques qui sous-tendent ces outils. Ces domaines doivent être pris au sens large : nous souhaitons promouvoir 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. . Vérification de programmes ou de modèles, méthode déductive, interprétation abstraite, raffinement. . 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 ! Soumissions --- Nous acceptons deux types de soumissions : . Article de recherche de quinze pages au plus, portant sur des travaux originaux. Nous acceptons des travaux en cours, pour lesquels l'aspect recherche n'est pas entièrement finalisé. . Article court de six pages au plus, pour décrire un prototype, faire la démonstration d'un outil, rechercher de l'aide pour résoudre un problème particulier, ou reparler d'un papier déjà publié. 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, et les auteurs seront invités à faire une présentation lors des journées, de vingt-cinq minutes pour les articles longs et de quinze minutes pour les courts. L'article peut être rédigé en anglais, auquel cas la présentation devra être effectuée en français. Néanmoins, dans le cas où il s'agit d'une republication au format court d'un article déjà publié, la publication doit être en français et la publication originale en anglais. Le style LaTeX Easychair doit être respecté : https://easychair.org/publications/for_authors Les soumissions se font sur la page Easychair des JFLA : https://easychair.org/conferences/?conf=jfla2018 Notez que toute intention de soumission doit être annoncée au plus tard le 16 octobre par le dépôt d'un résumé sur Easychair. date limite de soumission des résumés : 16 octobre 2017 date limite de soumission des articles : 23 octobre 2017 Comité de programme --- Sylvie BoldoInria Saclay-Île de France (présidente) Nicolas Magaud Université de Strasbourg (vice-président) Clara BertolissiLIF-Universite Aix-Marseille Timothy Bourke Inria Paris, ENS Benjamin Canou OCamlPro Zaynah Dargaye CEA LIST Alain FrischLexiFi Frédéric Gava Université de Paris-Est Alain Giorgetti FEMTO-ST, Université de Franche-Comté Kim Nguyen Université Paris-Sud FrançoisPottier Inria Paris Yann Régis-Gianas IRIF Laurence Rideau Inria Sophia Antipolis - Méditerranée -- Sylvie Boldo, projet Toccata, Inria Saclay - Île-de-France PCRI, Bât. 650 - Université Paris-Sud - 91405 ORSAY Cedex
[TYPES/announce] JFLA 2018 : premier appel à communications
[ 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 à communications * JFLA'2018 (https://www.lri.fr/~sboldo/JFLA18/) Journées Francophones des Langages Applicatifs Banyuls-sur-Mer du 24 au 27 janvier 2018 Dates importantes - 16 octobre 2017 : soumission des résumés 23 octobre 2017 : soumission des articles 27 novembre 2017 : notification aux auteurs Les JFLA réunissent concepteurs, utilisateurs et théoriciens ; elles ont pour ambition de couvrir les domaines des langages applicatifs, de la preuve formelle, de la vérification de programmes, et des objets mathématiques qui sous-tendent ces outils. Ces domaines doivent être pris au sens large : nous souhaitons promouvoir 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. . Vérification de programmes ou de modèles, méthode déductive, interprétation abstraite, raffinement. . 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 ! Soumissions --- Nous acceptons deux types de soumissions : . Article de recherche de quinze pages au plus, portant sur des travaux originaux. Nous acceptons des travaux en cours, pour lesquels l'aspect recherche n'est pas entièrement finalisé. . Article court de six pages au plus, pour décrire un prototype, faire la démonstration d'un outil, rechercher de l'aide pour résoudre un problème particulier, ou reparler d'un papier déjà publié. Dans tous les cas, la forme de l'article devra soignée. Les articles sélectionnés seront publiés dans les actes de la conférence, et les auteurs seront invités à faire une présentation lors des journées, de vingt-cinq minutes pour les articles longs et de quinze minutes pour les courts. L'article peut être rédigé en anglais, auquel cas la présentation devra être effectuée en français. Néanmoins, dans le cas où il s'agit d'une republication au format court d'un article déjà publié, la publication doit être en français et la publication originale en anglais. Le style LaTeX Easychair doit être respecté : https://easychair.org/publications/for_authors Les soumissions se font sur la page Easychair des JFLA : https://easychair.org/conferences/?conf=jfla2018 Notez que toute intention de soumission doit être annoncée au plus tard le 16 octobre par le dépôt d'un résumé sur Easychair. date limite de soumission des résumés : 16 octobre 2017 date limite de soumission des articles : 23 octobre 2017 -- Sylvie Boldo, projet Toccata, Inria Saclay - Île-de-France PCRI, Bât. 650 - Université Paris-Sud - 91405 ORSAY Cedex