WiL 2020: 4th Women in Logic Workshop

منتهي الصلاحية
التواريخ : 30 جوان 2020 » 30 جوان 2020

المكان : Paris
فرنسا

Book your hotel


الجهة المنظمة : Women in Logic

المجال : علوم الحاسوب;
الرياضيات والإحصاء; علوم الحاسوب; العلوم الاجتماعية والإنسانية;
الكلمات المفتاحية: Analysis, Artificial Intelligence, Logic, Mathematics, Bioinformatics, English, Language
تفاصيل :
Call For Papers

Topics of interest of this workshop include but are not limited to:

automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security and privacy, rewriting, type systems and type theory, and verification.

Contributions should be written in English and can be submitted in the form of an abstract (1-2 pages approximately).

Abstracts should be prepared using the Easychair style. The submission should be in the form of a PDF file uploaded to the WiL 2020 Easychair page by the submission deadline.

IMPORTANT DATES
Abstract submission deadline: April 22, 2020
Notification: May 21, 2020

ORGANIZING AND PROGRAM COMMITTEE
* Sandra Alves (Co-chair, University of Porto)
* Amy Felty (University of Ottawa)
* Delia Kesner (Université de Paris)
* Sandra Kiefer (Co-chair, RWTH Aachen University)
* Koko Muroya (RIMS Kyoto University)
* Daniele Nantes (University of Brasília)
* Valeria de Paiva (Samsung Research America)
* Brigitte Pientka (McGill University)
* Sonja Smets (ILLC - University of Amsterdam)
* Ana Sokolova (Co-chair, University of Salzburg)
---------------------------------------------------------------------------------
---------------------------------------------------------------------------------
---------------------------------------------------------------------------------
---------------------------------------------------------------------------------
---------------------------------------------------------------------------------
---------------------------------------------------------------------------------
SIGLOG, VCLA and ILLC Travel Awards for WiL 2020 (Women in Logic Workshop)
---------------------------------------------------------------------------------

It is our pleasure to announce the call for the SIGLOG/VCLA/ILLC Travel Awards for attendees of Women in Logic Workshop 2020.

Thanks to the generous support of SIGLOG, the Vienna Center for Logic and Algorithms (VCLA) and the Institute of Logic, Language and Computation of the University of Amsterdam (ILLC), applications for awards are invited to facilitate students and postdocs, who are authors of accepted papers to register and travel to the WiL 2020.

The awardees of the SIGLOG/VCLA/ILLC Travel Award will be reimbursed for a portion of their travel expenses, and registration costs. There will be at most one award per paper.

APPLICATION PROCESS
To submit a nomination for the SIGLOG/VCLA/ILLC Travel Awards please submit:
1.Basic information about the applicant
2.Information about her/their accepted WiL 2020 contribution
3.A statement about how attendance at WiL 2020 will impact the applicant
4.Resume/CV of the applicant
5.A nomination consists of a recommendation letter of up to 300 words by the applicant's supervisor/advisor


IMPORTANT DATES
-Nominations must arrive no later than May 15, 2020
-The winners will be notified by May 25, 2020


WiL 2020: 4th Women in Logic Workshop to be held in Paris, فرنسا between 30 جوان 2020 and 30 جوان 2020. It is organised by Women in Logic . It covers specific areas of علوم الحاسوب such as . Visit the website of the conference for more detailed information or contact the organizer for specific questions.
أضف الى المذكرة 2020-06-30 2020-06-30 Europe/London WiL 2020: 4th Women in Logic Workshop https://www.sciencedz.net/ar/conference/69474-wil-2020-4th-women-in-logic-workshop Paris - فرنسا Women in Logic

الأقسام ذات الصلة:

مؤتمرات، ملتقيات علمية و ندوات في فرنسا
مؤتمرات، ملتقيات علمية و ندوات في فرنسا في2020
مؤتمرات، ملتقيات علمية و ندوات في علوم الحاسوب
مؤتمرات، ملتقيات علمية و ندوات في علوم الحاسوب في2020
مؤتمرات، ملتقيات علمية و ندوات في علوم الحاسوب فيفرنسا
مؤتمرات، ملتقيات علمية و ندوات في علوم الحاسوب فيفرنسا في2020
كل المؤتمرات والملتقيات
ملتقيات حسب البلد

تنويه: نحن نهدف إلى توفير المعلومات الصحيحة والموثوقة حول الأحداث القادمة، لكن لا يمكن أن نقبل المسؤولية عن نص الإعلانات أو حسن نية منظمي الحدث. لا تتردد في الاتصال بنا إذا لاحظت معلومات غير صحيحة أو مضللة وسنحاول تصحيحها.نحن لا نشارك في تنظيم أي من الأحداث المدرجة ولا نتعامل مع مدفوعات التسجيل نيابة عن المنظمين.