ABOUT

The main objective of FANeSy is to bring together a selected group of experts in order to foster collaboration and establish connections between different areas of neuro-symbolic AI. A strong emphasis will be placed on identifying key mathematical challenges and open problems relevant to the field. Through discussions and working group sessions, participants will collectively explore the fundamental mathematical underpinnings required for developing robust and scalable neuro-symbolic AI models and systems.

 

As the workshop takes place in Chile, one of its objectives is to help boost the development of the neuro-symbolic AI field in Latin America. By hosting this event in Santiago and its surroundings, we aim to bring together researchers and practitioners from both local and international communities, fostering knowledge transfer, inspiring new research directions, attracting talented students, and strengthening the AI ecosystem in the region.

 

The workshop will be designed to provide an immersive learning experience. The first two days will feature introductory lectures and mini-courses in Santiago, aimed at providing participants with a comprehensive understanding of the foundational concepts and techniques. The following three days will be spent in the mountains, combining short talks in the mornings and focused working groups in the afternoons. These working groups will enable more in-depth discussions, collaboration, and exploration of specific research topics.

ATTENDING

Notice that participation is by invitation only 

The workshop will be held from Monday, March 4th to Friday, March 8th, 2024 in the area of Santiago, Chile. The first two days of school will be held in Santiago itself, with the presence of students, followed by three days in San Francisco Lodge, located in the mountains near Santiago for more technical talks and discussions. 


By default, participants are expected to cover their flight expenses to Santiago de Chile, while the organization will cover full accommodation and food for the four nights.


Below you find some useful information and tips about Santiago, written by prof. Aidan Hogan. Notice that this has been written in 2019, so some of them (especially the mentioned prices) may not be updated (read full extend text).




"In terms of arriving to/from and staying in Santiago, first off, Santiago is generally safe, so you should not worry, be stressed or too suspicious of locals in general; however, we will give some tips to make sure your visit is as smooth and enjoyable as possible. In general, most rules are applicable to any major city.


In terms of arriving to the airport, immigration might ask you where you are staying so have your address written down on you (generally they are not otherwise too inquisitive). Chile has very strict rules about bringing any fresh fruits, vegetables, live cheeses, etc., and your bags will be scanned before leaving the restricted area of the airport. Anything processed (e.g., tea, coffee) should be fine; if in doubt, declare it and chat with the officer at the scanner about it.


In terms of getting from the airport to your accommodation, at the airport, you can get a taxi (around US$25–35 to the city center; it has yellow/black stands just before exiting to the public, and another outside), use the taxi/shuttle company "TransVIP" (shared mini-van taxi, around US$10–15 per person to the city center; it has stands just before exiting to the public, and another outside; shuttles leave from Exit (Puerta) 4 once they fill up), or you can get a bus to the city center (TurBus/Centropuerto, around US$3 for a single trip with one leaving every 10 minutes; the stop is hard to miss; get off at Los Héroes and take a metro/taxi from there). We do not recommend taking transport directly from any drivers in the airport (it can be difficult to tell official from unofficial drivers); we rather recommend to go to a stand either before exiting the restricted area or in the public terminal, paying the amount upfront and bringing the ticket to a driver outside. You may tip if you want, but it is not expected. You can also call transfers or taxis for a ride back to the airport or get a taxi on the street; it may cost CLP$14,000 to $20,000 to get to the airport from the city centre by taxi; note that it is normal for an extra charge – around CLP$2,000 – to be added to the metre for tolls.

In terms of transport around the city, Uber, Cabify, Easytaxi, etc. work fine in Santiago. In the case of Uber et al., it is recommended that one of the passengers sit in front beside the driver: Uber drivers do not want to be recognised as such by drivers of regular taxis. In general, black-and-yellow taxis are reliable and cheap, but will likely not speak any English and may have difficult understanding foreigners (have your destination written down if you do not speak Spanish; also it's a good idea to have small notes as on occassion the drivers will not carry change, or might pretend not to; make sure they start the meter (taximetro — they almost always do)). The metro (subway) also works pretty well, though it can be busy at times. Notice that there are no individual tickets: you should buy a Bip! card (tarjeta Bip!) for around US$2 that you can charge and use as you wish (and the cost of a single trip depends on the time of the day on which you are travelling). As for walking around at night, the usual advice applies as for any major city (but nothing more than that).

In terms of money, you might sometimes be able to pay in US dollars (e.g., in the airport) but this is not so common. You can of course use credit cards and debit cards from major companies. You can use cards almost anywhere (except for buying cigarettes). Be sure to inform your bank beforehand that you are travelling to Chile otherwise they will likely block your card(s). You might get a question when paying with card about cuotas, which refers to installments; you can just say sin cuotas (which unfortunately is interpreted as one installment rather than zero installments). Restaurants are also generally okay with each person paying their own bill using their card (this is common practice). For cash, you can get good exchange rates for euros or dollars; in general, the best exchange rates on euros/dollars should have a 10 peso difference or less between buy/sell and charge little or no commission. The airport can be expensive for exchange rates but you can get excellent rates downtown (e.g., on La Moneda street); do be a little cautious when entering or exiting currency exchange shops (put your money somewhere safe/hidden before leaving the exchange shop).

In general, there is no expectation that you tip, except in restaurants, where a standard 10% tip (propina) will often be suggested on your bill or at the time of paying. Another case where a tip is expected is if you buy items in a supermarket and someone bags for you (typically a few coins is fine: something like CLP$200 or CLP$300 for a few items). Tips are welcome but not generally expected in other settings.

English in general is not very widely spoken outside of airports, hotels, and other touristic hot-spots. Some restaurants have English menus; others do not (in which case you know you are in a locals' place). In general people are friendly towards non-Spanish-speaking foreigners and will try to help you out. It is amazing what you can communicate by simply pointing and smiling. It is, however, a good idea to have your address written down somewhere on you.

In terms of other things to know about, it's unlikely there will be an earthquake, but if there is, consider yourself lucky to experience an authentic Chilean tradition! You do not need to panic; construction is very safe; simply stand away from anything that could fall on you (e.g., from the ceiling, balconies, construction, etc.) but otherwise stay where you are. Do not use elevators during an earthquake but if you're already on one, don't stress: try to get off on the next floor.

Also do not be surprised if there is a garbage bin beside a toilet and you are asked to place any used paper in it; the rest is left as an exercise for the reader.

As in almost every major city, beware of pickpockets. Do not show/expose your valuables, do not put your wallet down on a counter or table in public, do not leave phones in backpacks or in loose pockets, do not leave your bags unattended, do not be the easy target in a crowd. The police in general are trustworthy, but if you get pickpocketed, don't expect them to do too much (by the way, don't ever think about trying to bribe them).

Again, Santiago is a relatively safe city and Chile a relatively safe country. Applying some common sense precautions, you should not hesitate to go out and explore the food, bars and other attractions on offer!"


PARTICIPANTS

Luc de Raedt - KU Leuven

Vaishak Belle - University of Edimburgh

Leo Bertossi - Skema Business School

Efthymia Tsamoura - Samsung AI Research

Matthias Lanzinger - University of Oxford

Luciano Serafini - Fondazione Bruno Kessler

Giuseppe Marra - KU Leuven

Fabrizio Riguzzi - Università degli Studi di Ferrara

Álvaro Soto - Universidad Catolica de Chile

Andreas Pieris - University of Edinburgh & University of Cyprus

Eleonora Giunchiglia - TU Wien

Domagoj Vrgoc - Universidad Catolica de Chile

Michael Cochez - Vrije Universiteit Amsterdam


Pablo Barceló - Universidad Catolica de Chile

Cristóbal Rojas - Universidad Catolica de Chile

Alexander Kozachinskiy - Universidad Catolica de Chile

Valentino Delle Rose - Universidad Catolica de Chile

Tomasz Steifer - Universidad Catolica de Chile

Mircea Petrache - Universidad Catolica de Chile

Miguel Romero - Universidad Catolica de Chile

Juan Reutter - Universidad Catolica de Chile

Martin Grohe - RWTH Aachen University

Christopher Morris - RWTH Aachen University

Petar Veličković - Google DeepMind

Vitaly Kurlin - University of Liverpool

Floris Geerts - University of Antwerp

Andreea Deac - Mila & University of Montreal

Haggai Maron - Technion, Israel

Ismail Ceylan - University of Oxford

Michael Bronstein - University of Oxford

Shubhendu Trivedi

Soledad Villar - Johns Hopkins University 

Yuxin Ma - Johns Hopkins University

Michael Galkin - Intel AI Lab

Sammy Khalife - Johns Hopkins University

Jorge Baier - Universidad Catolica de Chile

Carlos Hernández - Universidad San Sebastian

Sheila Mcilraith - University of Toronto

Blai Bonet - Universidad Simón Bolívar & Universitat Pompeu Fabra

Héctor Geffner - RWTH Aachen University

William Yeoh - Washington University in St. Louis

Rodrigo Toro - Universidad Catolica de Chile

Maxim Likhachev - Carnegie Mellon University

Paolo Traverso - Fondazione Bruno Kessler

Lawrence Mandow - Universidad de Malaga



ORGANIZERS

Pablo Barceló (Universidad Católica de Chile) 

Vaishak Belle (University of Edinburgh, UK)

Leopoldo Bertossi (Skema Business School, Canada)

Carlos Hernández (Universidad San Sebastián, Chile)

Luc de Raedt (KU Leuven, Belgium) 

Cristóbal Rojas (Universidad Católica de Chile)



For further informations, please contact: 

PROGRAM

FANeSy School

Where: Aula Magna, Universidad San Sebastián, Santiago, Chile (https://maps.app.goo.gl/JGJ3S7oZyXqzrDCK8)

Monday, March 4th, 2024

09:00 - 10:30 : Jorge Baier & Carlos Hernandez. Recent Advances in Multiobjective Search. 

10:30 - 11:00 : Coffee break. 

11:00 - 12:30 : Soledad Villar. Exact and Approximate Symmetries in Machine Learning. (Slides)

12:30 - 14:00 : Lunch (included) 

14:00 - 15:30 : Blai Bonet. Representation Learning for Acting and Planning. (Slides)

15:30 - 16:00 : Coffee break

16:00 - 17:30 : Fabrizio Riguzzi. Probabilistic Logic Programming. (Slides)

Tuesday, March 5th, 2024

09:00 - 10:30 : Vitaly Kurlin. Introduction to Geometric Data Science. (Slides

10:30 - 11:00 : Coffee break. 

11:00 - 12:30 : Efthymia Tsamoura: On Training Neural Classifiers Using Logic: Learnability, Error Bounds and Applications. (Slides


FANeSy Workshop

Where: San Francisco Lodge, Los Andes, Chile (https://maps.app.goo.gl/9WWP5mHY7azSQxu86)

Wednesday, March 6th, 2024

08:30 - 09:00 : Introduction.  

09:00 - 10:00 : Luc de Raedt. Neuro-Symbolic Probabilistic Logic. 

10:00 - 10:30 : Michael Bronstein. Physics-inspired Graph Neural Networks.  

10:30 - 11:00 : Coffee break. 

11:00 - 11:30 : Eleonora Giunchiglia. Deep Learning with Requirements. (Slides

11:30 - 12:00 : Luciano Serafini. Interval Logic Tensor Networks: Learning with temporal logical constraints. (Slides)    

12:00 - 12:30 : Vaishak Belle. Reasoning About Distributions in Deep Architectures. (Slides

12:30 - 13:00 : Leo Bertossi. Applying Logic to the Specification and Computation of Attribution Scores in Explainable Machine Learning. (Slides

13:00 - 15:00 : Lunch

15:00 - 15:30 : Michael Galkin. Foundation Models for Graph Reasoning. (Slides)

Thursday, March 7th, 2024

09:00 - 10:00 : Floris Geerts. Understanding Graph Learning: A Query Language Perspective. (Slides

10:00 - 10:30 : Petar Veličković. Monoids and Time: Embracing Asynchrony in (G)NNs. (Slides)   

10:30 - 11:00 : Coffee break. 

11:00 - 11:30 : Haggai Maron. Exploiting Symmetries for Learning in Deep Weight Spaces. (Slides)  

11:30 - 12:00 : Martin Grohe. Are Targeted Messages More Effective? (Slides)   

12:00 - 12:30 : Christopher Morris. Generalization Abilities of Graph Neural Networks. (Slides)

12:30 - 13:00 : Michael Cochez. Neural graph querying. (Slides)   

13:00 - 15:00 : Lunch. 

15:00 - 16:00 : Hector Geffner. Learning general policies for planning with GNNs. (Slides)

Friday, March 8th, 2024

09:00 - 09:30 : Alexander Kozachinskiy. Expressive Power of Geometric WL Tests and Corresponding GNNs. (Slides)

09:30 - 10:00 : Shubhendu Trivedi. Generalization under Group Equivariance.

10:00 - 10:30 : Paolo Traverso. Planning and Acting to Learn. (Slides    

10:30 - 11:00 : Coffee break. 

11:00 - 11:30 : William Yeoh. Explainable Planning and Decision Making. (Slides)  

11:30 - 12:00 : Maxim Likhachev. Keys to efficiency in search-based planning for robotics. (Slides)  

12:00 - 12:30 : Lawrence Mandow. Multi-objective graph search: some approaches and algorithms

12:30 - 13:00 : Cristóbal Rojas. On the dimensionality of feature vectors in MPNNs. 

13:00 - 15:00 : Lunch. 

15:00 : Return to Santiago.