10times
Conference

EACSL Conference on Computer Science Logic

29 Aug - 01 Sep 2016
Aix-Marseille University, Marseille, France

About Followers 5 Reviews Exhibitors Photos Speakers Travel Deals

The EACSL Conference on Computer Science Logic, organized by the Aix-Marseille University will take place from 29th August to the 1st September 2016 at the Aix-Marseille University in Marseille, France. The conference will cover areas like automated deduction and interactive theorem proving, equational logic and term rewriting,decision procedures, computational proof theory, categorical logic and topological semantics and database theory and many more.


Timings

09:00 AM-06:00 PM (expected)
Not Verified

Entry Fees

Check Official Website

Participants

100 - 500
Delegates
Based on previous editions

Category & Type

Conference
IT & Technology

Editions

29 Aug - 01 Sep 2016


Frequency Not Available

Official Links

WebsiteContacts


Report Error
Claim this event

Organizer

Logo Follow Company

Aix-Marseille University

France 15 Total Events / 3 Upcoming Events

User Community [ Users who have shown interest for this Event ]

Shamsuddeen Mohammed Mamman

Shamsuddeen Mohammed Mamman

Imformation System Manager

Potiskum, Nigeria
Vinay Kumar Dubey

Vinay Kumar Dubey

Bangkok, Thailand
Yusuf Alkali

Yusuf Alkali

Web App Developer at 512 Computers

Potiskum, Nigeria
Estel Agbalessi

Estel Agbalessi

Cotonou, Benin
Vik Ghag

Vik Ghag

Senior Manager at G.m.s Technologies Co.,ltd

Bangkok, Thailand

Write a Review

Add Your Review
User Rating
1 Ratings
5
4
3
2
1
1

User Reviews

43.292215 5.359142

Venue Map & Directions

map of Aix-Marseille University

Aix-Marseille University

Jardin du Pharo, 58 Boulevard Charles Livon, 13284 Marseille
France

Get Directions

Featured Hotels in Marseille

More Hotels