40. sympozjum nt. zasad języków programowania, Rzym, Włochy
Język programowania to sztuczny język opracowany w celu przekazywania instrukcji maszynie. Większość języków programowania opisuje obliczenia jako serie poleceń, aczkolwiek niektóre, takie jak te wspomagające programowanie funkcjonalne czy programowanie logiczne, wykorzystują alternatywne formy opisu. Opis języka programowania jest zazwyczaj podzielony na dwa komponenty składni (formę) i semantykę (znaczenie).
Wydarzenie posłuży za forum do dyskusji nad wszystkimi aspektami języków i systemów programowania z naciskiem na sposób, w jaki reguły stanowią podbudowę praktyki.Więcej informacji: http://popl.mpi-sws.org/2013/(odnośnik otworzy się w nowym oknie)